Formal Methods for Early Analysis of Functional Reliability in Component-Based Embedded Applications

We present formal methods for determining whether a set of components with given reliability certificates for specific functional properties are adequate to guarantee desired end-to-end properties with specified reliability requirements. We introduce a formal notion for the reliability gap in compon...

Full description

Saved in:
Bibliographic Details
Published in:IEEE embedded systems letters 2013-03, Vol.5 (1), p.8-11
Main Authors: Hazra, A., Ghosh, P., Vadlamudi, S. G., Chakrabarti, P. P., Dasgupta, P.
Format: Article
Language:English
Subjects:
Certificates
Control systems
Design and validation
Design engineering
Elevators
embedded system
Embedded systems
Formal method
functional reliability
reliability gap
Software reliability
Unified modeling language
Vectors
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We present formal methods for determining whether a set of components with given reliability certificates for specific functional properties are adequate to guarantee desired end-to-end properties with specified reliability requirements. We introduce a formal notion for the reliability gap in component-based designs and demonstrate the proposed approach for analyzing this gap using a case study developed around an Elevator Control System.
ISSN:1943-0663
1943-0671
DOI:10.1109/LES.2013.2239605