Title :
Ten practical techniques for high assurance systems engineering
Author :
Thomas, Vicraj T.
Author_Institution :
Technol. Center, Honeywell Inc., Minneapolis, MN, USA
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;
Conference_Titel :
High-Assurance Systems Engineering Workshop, 1996. Proceedings., IEEE
Conference_Location :
Niagara on the Lake, Ont.
Print_ISBN :
0-8186-7629-9
DOI :
10.1109/HASE.1996.618562
