Modeling Urgency in Component-Based Real-Time Systems.

Authors :: Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Okada, Mitsu
Satoh, Ichiro
Van Tang, Nguyen
Van Hung, Dang
Ogawa, Mizuhito
Source :: Advances in Computer Science - ASIAN 2006. Secure Software & Related Issues; 2008, p248-255, 8p
Publication Year :: 2008
Abstract: A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algorithm, for detecting the emptiness of a component-based realtime system. This algorithm was originally proposed in [5], but with a certain flaw. We improve it and correct the flaw by using urgency [2] of transitions. [ABSTRACT FROM AUTHOR]

Language :: English
ISBNs :: 9783540775041
Database :: Complementary Index
Journal :: Advances in Computer Science - ASIAN 2006. Secure Software & Related Issues
Publication Type :: Book
Accession number :: 33413115
Full Text :: https://doi.org/10.1007/978-3-540-77505-8_20