QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-Time and Embedded Systems

Authors:
Shih-Hsi Liu;Barrett R. Bryant;Jeffrey G. Gray;Rajeev R. Raje;Andrew M. Olson;Mikhail Auguston
Affiliations:
University of Alabama at Birmingham;University of Alabama at Birmingham;University of Alabama at Birmingham;Indiana University Purdue University Indianapolis;Indiana University Purdue University Indianapolis;Naval Postgraduate School
Venue:
ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Year:
2005

Citing 0
Cited 4

A software product line architecture for distributed real-time and embedded systems: a separation of concerns approach

OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Design of A QoS-Aware Service Composition and Management System in Peer-to-Peer Network Aided by DEVS

DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
A component-based approach for constructing high-confidence distributed real-time and embedded systems

Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Controlled stochastic petri net model for end-to-end network QoS provisioning in middleware-based multimedia and real-time systems

Proceedings of the 44th Annual Simulation Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.