Techniques for High Assurance in Submarine Systems

The WW Technology Group proposes an innovative solution to these challenges called Design for Certification. The combination of a modeling framework that integrates system architecture artifacts with desired system properties for dependability, safety and certification within a comprehensive system model greatly enhances the capabilities of system development and maintenance teams. The use of automated support via the system analysis and design tools enables further realization of significant program cost savings. The development of tools to supply customized certification artifacts that are tuned for the requirements of certification specifications such as submarine Fly-By-Wire represents a significant opportunity to increase the quality of the system evidence and reduce the costs associated with generating evidence for compliance audits. Finally, the tools allow system maintainers and designers to make intelligent trade-offs between performance, dependability, safety and certifiability of the system. These improvements result in significant development and life cycle cost savings associated with reducing safety certification efforts and improving performance certification efforts. They also improve risk management by identifying and tracking issues as early as possible and improve overall system quality.