High Confidence Software

The embedded control and information systems deployed in complex real-time systems provide a sophisticated set of functions that must deliver safe and dependable mission critical functions. When considering the application domain, safety and system certification activities can become a formidable task in each development spiral. As the system evolves and is maintained, the need to repeat the certification process represents a significant contributor to the life cycle cost structure.

WWTG offers an innovative and practical approach for detailing how high confidence technologies can be implemented within critical embedded control systems, including complex fly-by-wire systems. Our approach centers on the representation of system dependability, safety and certification aspects within a comprehensive system architecture model. This model and a supporting set of analysis tools enable system designers to make effective design trade-offs that lead to reduced overall recertification costs while maintaining the required dependability and safety properties across the complete system life cycle. These tools are equally applicable for the analysis of fielded systems that require increased reliability or availability.


Methodology and tool support.


Active for Navy/NAVSEA.


verification. validation, assurance, software, complexity

Related resources