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.

Full text available as:
[img] PDF
Restricted to CSIR-NAL Registered users only

Download (640Kb) | Request a copy


    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
    Division/Department: Aerospace Electronics and Controls Division
    Depositing User: Ms. Alphones Mary
    Date Deposited: 20 Apr 2012 14:02
    Last Modified: 20 Apr 2012 14:02

    Actions (login required)

    View Item