Skip to Main Content
We propose a novel formal method based technique for analyzing the system attributes of availability and complexity during the design phase of systems engineering. These attributes are demonstrated by carrying out design simulation on existing and new safety-critical systems. The analysis on these systems validate the capability of the proposed technique for determining the availability and complexity of the system over its life during the initial phase of systems engineering. The implementation of the technique for the existing safety-critical systems and for the design of new systems provides evidence that if this formal method approach is implemented in the design phase, the systems engineering process becomes more effective. A tool is also developed to automate this design simulation, helping in better visualization of the system design in the design phase of systems engineering.