• DocumentCode
    2779022
  • Title

    An embedded system for safe, secure and reliable execution of high consequence software

  • Author

    McCoy, James A.

  • Author_Institution
    Surety Electron. & Software Dept., Sandia Nat. Labs., Albuquerque, NM, USA
  • fYear
    2000
  • fDate
    2000
  • Firstpage
    107
  • Lastpage
    114
  • Abstract
    As more complex and functionally diverse requirements are placed on high consequence embedded applications, ensuring safe and secure operation requires an ultra-reliable execution environment. The selection of an embedded processor and its development environment has the most far-reaching effects on the production of the system than any other element in the design. This choice ripples through the remainder of the hardware design and profoundly affects the entire software development process. Experience indicates an object oriented (OO) methodology provides a superior development environment. However, embedded programming languages do not directly support OO techniques. Furthermore, the processors themselves do not support nor enforce an OO environment. This paper describes a system level architecture for an object aware processor targeted at high consequence embedded applications
  • Keywords
    data integrity; embedded systems; object-oriented programming; software reliability; development environment; embedded processor; embedded programming languages; embedded system; hardware design; high consequence software; object aware processor; object oriented methodology; reliable execution; software development process; system level architecture; Application software; Availability; Computer architecture; Computer languages; Embedded software; Embedded system; Hardware; Java; Object oriented modeling; Software safety;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000
  • Conference_Location
    Albuquerque, NM
  • Print_ISBN
    0-7695-0927-4
  • Type

    conf

  • DOI
    10.1109/HASE.2000.895448
  • Filename
    895448