Abstract
Model-based methodologies have been widely used to handle the increasing demand for rapid development of high-quality, real-time embedded control software. A key challenge in such model-based design is integration of various collaborative analysis methods to support the automation of the design process. Traditional analysis methods developed for analyzing specific system properties, however, are not designed for such integration, and thus cannot ensure that the information for the analysis will be provided at the design stage where the information is needed. Moreover, many traditional analysis methods depend heavily on complete and accurate design models which can only be applied to post-design verification and are unavailable for automation of the design process involving an early design stage, where implementation details are unknown. This challenge can be met by integrating analysis methods with the design process. We have developed such a framework combined with software modeling, execution platform configuration, and run-time monitoring mechanisms to enable accurate assessment of embedded software quality at early design stages. We have implemented and demonstrated the framework with a toolkit, called AIRES, that integrates software models, a virtual execution platform, and timing and schedulability analysis methods.
Original language | English |
---|---|
Article number | 5440057 |
Pages (from-to) | 546-561 |
Number of pages | 16 |
Journal | Proceedings of the IEEE |
Volume | 98 |
Issue number | 4 |
DOIs | |
State | Published - Apr 2010 |
Bibliographical note
Funding Information:Manuscript received December 9, 2009. Current version published March 31, 2010. This work was supported by the Korea Research Foundation Grant funded by the Korean Govenment (MOEHRD) (KRF-2006-214-D00127), the Ewha Womans University Research Grant of 2009, Hitachi America, and VaST Systems. S. Park is with the Department of Computer Science and Engineering, College of Engineering, Ewha Womans University, 11-1 Daehyun-dong Seodaemun-gu, Seoul 120-750, Korea (e-mail: [email protected]). K. G. Shin is with the Department of Electrical Engineering and Computer Science, The University of Michigan, Ann Arbor, MI 48109 USA (e-mail: [email protected]). S. Wang is with General Motors R&D and Planning, Warren, MI 48090 USA (e-mail: [email protected]).
Keywords
- Collaborative analysis
- Embedded control software
- Real-time system
- Timing constraint