• DocumentCode
    1364643
  • Title

    Model-Driven Engineering and Safety-Critical Embedded Software

  • Author

    Shukla, Sandeep K.

  • Author_Institution
    Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
  • Volume
    42
  • Issue
    9
  • fYear
    2009
  • Firstpage
    93
  • Lastpage
    95
  • Abstract
    Implementations embodied in a formally defined language with unambiguous semantics and a sound surrounding correctness for preserving refinement methodology make safety-critical software even safer.
  • Keywords
    embedded systems; safety-critical software; software fault tolerance; formal defined language; model-driven engineering; preserving refinement methodology; safety-critical embedded software; Embedded software; Model driven engineering; Software safety; Autocode generation; Model-driven engineering; Safety-critical embedded software;
  • fLanguage
    English
  • Journal_Title
    Computer
  • Publisher
    ieee
  • ISSN
    0018-9162
  • Type

    jour

  • DOI
    10.1109/MC.2009.294
  • Filename
    5233515
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1364643