Paper Info
Title
Specification and Modeling of Dynamic, Distributed Real-Time Systems
Abstract
This paper presents an approach for engineering time-constrained systems which must operate in dynamic environments. Systems which operate in such environments may have unknown worst-case scenarios, may have large variances in the sizes of the data and event sets that they process (and thus, have large vari- ances in execution latencies and resource requirements), and may not be statically characterizable, even by time-invariant statistical distributions. To enable the engineering of such systems, we have developed a specification language that enables the description of environment-dependent features. We also present an abstract model that is constructed from the specifications, and is augmented dynamically with the state of environment-dependent features. The model is also used to define techniques for QoS (quality-of-service) monitoring, QoS diagnosis, and allocation analysis. Experimental results show the effectiveness of the ap- proach for specification of real-time QoS, detection and diagnosis of QoS failures, and restoration of ac- ceptable QoS via reallocation.
Year
DOI
Venue
1998
10.1109/REAL.1998.739732
Madrid
Keywords
Field
DocType
real-time systems,resource allocation,computer networks,quality control,real time,real time systems,specification language,quality of service,formal specification,distributed computing,resource management,network resources,statistical distributions,statistical distribution,distributed processing
Resource management,Specification language,LTI system theory,Computer science,Quality of service,Formal specification,Real-time computing,Probability distribution,Resource allocation,Condition monitoring,Distributed computing
Conference
ISSN
ISBN
Citations 
1052-8725
0-8186-9212-X
46
PageRank 
References 
Authors
3.48
22
4
Name
Order
Citations
PageRank
L. R. Welch1605.40
Binoy Ravindran21459139.24
B. A. Shirazi3534.70
Bruggeman, C.4463.48