QoS-UniFrame: A Petri Net-based Modeling Approach to Assure QoS Requirements of Distributed Real-time and Embedded Systems
Bryant, Barrett R.
Gray, Jeffrey G.
Raje, Rajeev R.
Olson, Andrew M.
MetadataShow full item record
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.
RightsThis 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.
Showing items related by title, author, creator and subject.
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 ...
Rogers, Jason Lee (Monterey, California. Naval Postgraduate School, 2004);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 ...