Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

An architecture-based comparison of verification and statistical reliability assessment methods for embedded software 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.

The purchase and pricing options are temporarily unavailable. Please try again later.
4 Author(s)
Bastani, F.B. ; Dept. of Comput. Sci., Texas Univ., Richardson, TX, USA ; Sung Kim ; I-Ling Yen ; Ing-Ray Chen

Embedded computer systems are used to automate critical real-time applications, including process control systems, manufacturing systems, transportation systems, etc. In order to certify these critical systems, it is necessary to be able to rigorously demonstrate that high quality has been achieved. One approach is to decompose the software into more manageable aspects that can be independently certified. The software architecture is then used to certify the overall system. We compare the efficacy of formal verification and statistical reliability assessment methods for certifying the system based on the certification of the independent aspects and the system architecture

Published in:

Object-Oriented Real-Time Distributed Computing, 2002. (ISORC 2002). Proceedings. Fifth IEEE International Symposium on

Date of Conference: