Modified and effective system-engineering life cycle for critical systems

Nanda, Manju (2010) Modified and effective system-engineering life cycle for critical systems. In: 4th Annual IEEE Systems Conference, 2010 , 5-8 April 2010, San Diego, CA, USA.

[img] PDF
Restricted to Registered users only

Download (655kB) | Request a copy
Official URL:


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.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: Formal methods;System algebra;System attributes;Tool development;System engineering life cycle process;Fault tree analysis;Reliability;System complexity;System availability
Subjects: AERONAUTICS > Aeronautics (General)
ENGINEERING > Electronics and Electrical Engineering
Depositing User: Ms. Alphones Mary
Date Deposited: 20 Apr 2012 08:32
Last Modified: 20 Apr 2012 08:32

Actions (login required)

View Item View Item