Premium
A COMPUTER‐AIDED METHODOLOGY FOR IMPROVING THE RELIABILITY OF EMBEDDED SOFTWARE
Author(s) -
Warren Bruce A.,
Dynamics General
Publication year - 1992
Publication title -
incose international symposium
Language(s) - English
Resource type - Journals
ISSN - 2334-5837
DOI - 10.1002/j.2334-5837.1992.tb01516.x
Subject(s) - computer science , software construction , software system , software , software engineering , avionics software , verification and validation , software sizing , software reliability testing , software development , reliability (semiconductor) , criticality , reliability engineering , systems engineering , embedded system , operating system , engineering , power (physics) , operations management , physics , quantum mechanics , nuclear physics
As today's systems become more and more complex, software plays an increasingly important role. Complicated, high‐criticality functions, which were previously performed by cumbersome hardware systems, are now performed by software. As software becomes more important, it also becomes more important to develop techniques and tools to ensure that this software is safe and reliable. This paper describes a computer‐aided analysis methodology which was developed and implemented by Systems Engineers, in the analysis of a complex real‐time embedded software system.