By Topic

A modified and effective system-engineering life cycle for critical systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Nanda, M. ; Nat. Aerosp. Labs., Bangalore, India ; Rao, S.

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.

Published in:

Systems Conference, 2010 4th Annual IEEE

Date of Conference:

5-8 April 2010