A model-based approach to system-level dependency and real-time analysis of embedded software (2003)
| Venue: | in Proc. IEEE Real-Time Technology and Applications Symposium (RTAS |
| Citations: | 18 - 8 self |
BibTeX
@INPROCEEDINGS{Gu03amodel-based,
author = {Zonghua Gu and Sharath Kodase and Shige Wang and Kang G. Shin},
title = {A model-based approach to system-level dependency and real-time analysis of embedded software},
booktitle = {in Proc. IEEE Real-Time Technology and Applications Symposium (RTAS},
year = {2003},
pages = {78--85}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We describe an end-to-end tool-chain for modelbased design and analysis of component-based embedded real-time software. All aspects of an embedded real-time system are captured in domain-specific models, including software components and architecture, timing and resource constraints, processes and threads, execution platforms, etc. We focus on the AIRES tool, which performs various static analysis tasks based on the models, including system-level dependency analysis, execution rate assignment to component ports, real-time and schedulability analysis, and automated allocation of components to processors. By capturing all relevant information explicitly in the models at the design-level, and performing analysis that provide insight into nonfunctional aspects of the system, we can raise the level of abstraction for the designer, and facilitate rapid system prototyping. 1
