Home :: Methodologies :: Analysis :: Software

The primary effort to implement safe software systems are systematic fault avoidance strategies like strict lifecycle adherence, proper system decomposition, or detailed specification before coding.  These management issues have significant impact on the quality of the software system. Analytic methods can be used in addition to software quality control as tools to further enhance the robustness and minimize the probability of 'bugs'.

Each safety critical software system has to pass rigorous testing. This testing should not be understood as 'debugging' but is the controlled and formal activity verifying that the software system implements the specified requirements, meets the expected functionality and is robust.

[ News ] [ Industries ] [ Services ] [ Methodologies ] [ About us ] [ Links ]

Send mail to info@systemsafety.com with questions or comments about this web site. Copyright © 2003 System Safety, Inc.     Last modified: 02/17/06