Date of Award

11-1-2014

Document Type

Dissertation

Degree Name

Ph.D.

Organizational Unit

Daniel Felix Ritchie School of Engineering and Computer Science

First Advisor

Anneliese Andrews, Ph.D.

Second Advisor

Gareth Eaton, Ph.D.

Third Advisor

Matthew Rutherford

Fourth Advisor

Rinku Dewri

Keywords

Construction and Analysis of Distributed Processes, Fault Tree, CEFSM

Abstract

This dissertation proposes an approach for testing of safety-critical systems. It is based on a behavioral and a fault model. The two models are analyzed for compatibility and necessary changes are identified to make them compatible. Then transformation rules are used to transform the fault model into the same model type as the behavioral model. Integration rules define how to combine them. This approach results in an integrated model which then can be used to generate tests using a variety of testing criteria. The dissertation illustrates this general framework using a CEFSM for the behavioral model and a Fault Tree for the fault model. We apply the technique to a variety of applications such as a Gas burner, an Aerospace Launch System, and a Railroad Crossing Control System. We also investigate the scalability of the approach and compare its efficiency with integrating a state chart and a fault tree. Construction and Analysis of Distributed Processes (CADP) has been used as a supporting tool for this approach to generate test cases from the integrated model and to analyze the integrated model for some properties such as deadlock and livelock.

Publication Statement

Copyright is held by the author. User is responsible for all copyright compliance.

Rights Holder

Ahmed Gario

Provenance

Received from ProQuest

File Format

application/pdf

Language

en

File Size

241 p.

Discipline

Computer science

Download



Share

COinS