By Topic

A novel safety-critical system modeling approach: ternary decision diagram

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)
Yangyang Yu ; Dept. of Electr. & Comput. Eng., Virginia Univ., Charlottesville, VA ; Johnson, B.W.

In this paper safety-critical computer systems are broken down to functional modules. ternary decision diagram (TDD) is introduced to model these modules. Four cases of module construction techniques using TDD are discussed. For some dynamic modules that cannot be directly represented by TDD, the solution of the Markov model of the module provides the information for a single node TDD construction. The system level TDD is composed of the TDD of each functional module by the ORed combinatorial relationship. The system-coverage and the mean time to unsafe failure (MTTUF) are estimated via the system level TDD. An algorithm is proposed for the modular approach, and an example is utilized to verify the algorithm

Published in:

Reliability and Maintainability Symposium, 2006. RAMS '06. Annual

Date of Conference:

23-26 Jan. 2006