Ninth IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'03)
A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software
Toronto, Canada
May 27-May 30
ISBN: 0-7695-1956-3
We describe an end-to-end tool-chain for model-based 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 non-functional aspects of the system, we can raise the level of abstraction for the designer, and facilitate rapid system prototyping.
Citation:
Zonghua Gu, Sharath Kodase, Shige Wang, Kang G. Shin, "A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software," rtas, pp.78, Ninth IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'03), 2003