Title :
Evolving Embedded Systems
Author :
Karsai, Gabor ; Massacci, Fabio ; Osterweil, Leon J. ; Schieferdecker, Ina
Author_Institution :
Vanderbilt Univ., Nashville, TN, USA
fDate :
5/1/2010 12:00:00 AM
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;
DOI :
10.1109/MC.2010.135