• 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