DocumentCode :
1503199
Title :
Evolving Embedded Systems
Author :
Karsai, Gabor ; Massacci, Fabio ; Osterweil, Leon J. ; Schieferdecker, Ina
Author_Institution :
Vanderbilt Univ., Nashville, TN, USA
Volume :
43
Issue :
5
fYear :
2010
fDate :
5/1/2010 12:00:00 AM
Firstpage :
34
Lastpage :
40
Abstract :
Embedded systems pose special challenges to system evolution: they´re embedded in a changing environment, often interacting with evolving processes of human organizations, and thus must be verified because of their critical nature. Complicating the situation, the analyses and testing regimens used to verify them must evolve as well. Both software engineering research and industrial practice need to improve to address these problems. While admittedly underemphasized in software engineering education, system evolution is crucial, and the challenges discussed here will be addressed by improving on the initial results presented.
Keywords :
embedded systems; formal verification; software engineering; consumer-oriented systems; embedded systems evolution; hardware obsolescence; load-time verification; software functions; system correctness checking; user process; Computer industry; Embedded system; Humans; Software engineering; Systems engineering education; Testing; Critical systems; Design and test; Embedded systems; Software evolution; Systems engineering;
fLanguage :
English
Journal_Title :
Computer
Publisher :
ieee
ISSN :
0018-9162
Type :
jour
DOI :
10.1109/MC.2010.135
Filename :
5472888
Link To Document :
بازگشت