Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking
 

Summary: Verifying Distributed Real-time Properties of Embedded Systems via
Graph Transformations and Model Checking
Gabor Madl1,2
Sherif Abdelwahed1
Douglas C. Schmidt1
1
Institute for Software Integrated Systems,
Vanderbilt University, Nashville, TN 37205
2
Center for Embedded Computer Systems,
University of California, Irvine CA 92697
Abstract
Component middleware provides dependable and efficient platforms that support key functional,
and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. Component
middleware, however, also introduces challenges for DRE system developers, such as evaluating the
predictability of DRE system behavior, and choosing the right design alternatives before committing
to a specific platform or platform configuration. Model-based technologies help address these issues
by enabling design-time analysis, and providing the means to automate the development, deployment,
configuration, and integration of component-based DRE systems. To this end, this paper applies model
checking techniques to DRE design models using model transformations to verify key QoS properties

  

Source: Abdelwahed, Sherif - Department of Electrical Engineering and Computer Science, Vanderbilt University
Schmidt, Douglas C. - Department of Electrical Engineering and Computer Science, Vanderbilt University

 

Collections: Computer Technologies and Information Sciences; Engineering