View : 20 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
박상수scopus
Issue Date
2010
Journal Title
Proceedings of the IEEE
ISSN
0018-9219JCR Link
Citation
vol. 98, no. 4, pp. 546 - 561
Indexed
SCI; SCIE; SCOPUS WOS scopus
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


qrcode

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE