Abstractions for Executable and Checkable Fault Management Models

The work presented in this paper describes an approach used to develop SysML modeling patterns to express the logical behavior of fault protection (FP), test the model's logic via fault injection simulations, and verify the system's logical design via model checking. A FP model was archite...

Full description

Saved in:
Bibliographic Details
Published in:Procedia computer science 2014, Vol.28, p.146-154
Main Authors: Gibson, Corrina, Karban, Robert, Andolfato, Luigi, Day, John
Format: Article
Language:English
Subjects:
Design Validation
Fault Protection
Java Pathfinder
Model Checking
Model execution
Statechart
SysML
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:The work presented in this paper describes an approach used to develop SysML modeling patterns to express the logical behavior of fault protection (FP), test the model's logic via fault injection simulations, and verify the system's logical design via model checking. A FP model was architected with collaborating Statecharts that captures interactions between relevant system components (error monitors, FP engine, devices) and system behavior abstractions. Development of a method to implement verifiable and lightweight executable FP models enables future missions to have access to larger fault test domains and verifiable design patterns.
ISSN:1877-0509
1877-0509
DOI:10.1016/j.procs.2014.03.019