QoS-UniFrame: A Petri Net-based Modeling Approach to Assure QoS Requirements of Distributed Real-time and Embedded Systems
Author
Liu, Shih-hsu
Bryant, Barrett R.
Gray, Jeffrey G.
Raje, Rajeev R.
Olson, Andrew M.
Auguston, Mikhail
Date
2005Metadata
Show full item recordAbstract
Assuring quality of service (QoS) requirements is critical
when assembling a distributed real-time and embedded
(DRE) system from a repository of existing components.
This paper presents a two-level approach for assuring satisfaction
of QoS requirements in the context of a reduced
design space for DRE systems. A dynamic and parallel
approach is introduced to prune off the infeasible design
spaces at the first level. Evolutionary algorithms cooperating
with a domain-specific scripting language then discard
less probable design spaces using statistics. These techniques
fulfill the collective objectives of pruning and assuring
the design space at system assembly time. The result
may lead to lessen the overhead of validation of QoS requirements
at runtime, and reduce the development and integration
cost of DRE systems.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
TwoLevel Assurance of QoS Requirements for Distributed Realtime and Embedded Systems
Liu, Shih-Hsi; Bryant, Barrett R.; Gray, Jeffrey G.; Raje, Rajeev; Olson, Andrew; Auguston, Mikhail (2005);Assuring quality of service (QoS) requirements is critical when assembling a distributed real-time and embedded (DRE) system from a repository of existing software and hardware components. This paper presents a two-level ... -
Model-based communication networks and VIRT: orders of magnitude better for information superiority
Hayes-Roth, Frederick (2006);Defense community leaders have spearheaded an effort to transform and elevate military capability around information superiority. This means improving decisions and outcomes by making U.S. and coalition forces better ... -
Secure distribution of open source information
Rogers, Jason Lee (Monterey, California. Naval Postgraduate School, 2004-12);Cryptographic protocols provide security services through the application of cryptography. When designing a cryptographic protocol, the requirements are, often, specified informally. Informal specification can lead to ...