• DocumentCode
    1852626
  • Title

    Ten practical techniques for high assurance systems engineering

  • Author

    Thomas, Vicraj T.

  • Author_Institution
    Technol. Center, Honeywell Inc., Minneapolis, MN, USA
  • fYear
    1996
  • fDate
    21-22 Oct 1996
  • Firstpage
    55
  • Lastpage
    56
  • Abstract
    This paper presents ten practical techniques that help engineer complex systems that have stringent dependability and real-time requirements. The techniques described are software centric but in most cases they apply to systems as a whole
  • Keywords
    real-time systems; software engineering; software quality; software reliability; systems engineering; complex systems; high assurance systems engineering; practical techniques; real-time requirements; software quality; system dependability; Availability; Buildings; Design engineering; Process control; Process design; Real time systems; Safety; Silver; Software systems; Systems engineering and theory;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    High-Assurance Systems Engineering Workshop, 1996. Proceedings., IEEE
  • Conference_Location
    Niagara on the Lake, Ont.
  • Print_ISBN
    0-8186-7629-9
  • Type

    conf

  • DOI
    10.1109/HASE.1996.618562
  • Filename
    618562