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