View : 600 Download: 0
Integration of collaborative analyses for development of embedded control software
- Title
- Integration of collaborative analyses for development of embedded control software
- Authors
- Park S.; Shin K.G.; Wang S.
- Ewha Authors
- 박상수
- SCOPUS Author ID
- 박상수
- Issue Date
- 2010
- Journal Title
- Proceedings of the IEEE
- ISSN
- 0018-9219
- Citation
- Proceedings of the IEEE vol. 98, no. 4, pp. 546 - 561
- Indexed
- SCI; SCIE; SCOPUS
- Document Type
- Article
- 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. © 2010 IEEE.
- DOI
- 10.1109/JPROC.2009.2039741
- Appears in Collections:
- 인공지능대학 > 컴퓨터공학과 > Journal papers
- Files in This Item:
There are no files associated with this item.
- Export
- RIS (EndNote)
- XLS (Excel)
- XML