| | |
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
|
