Computer Science – Software Engineering
Scientific paper
2009-05-14
Computer Science
Software Engineering
6 pages. In Proceedings of the 2nd International Conference on Dependability (DEPEND 2009), Athens, Greece. IEEE Computer Soci
Scientific paper
Safety is an important element of dependability. It is defined as the absence of accidents. Most accidents involving software-intensive systems have been system accidents, which are caused by unsafe inter-system or inter-component interactions. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches of modeling system safety requirements and interaction constraints among components. This paper proposes such a formalism, namely interface control systems (or shortly C-Systems). An interface C-System is composed of an interface automaton and a controlling automaton, which formalizes safe interactions and restricts system behavior at the meta level. This framework differs from the framework of traditional model checking. It explicitly separates the tasks of product engineers and safety engineers, and provides a top-down technique for modeling a system with safety constraints, and for automatically composing a safe system that conforms to safety requirements. The contributions of this work include formalizing safety requirements and a way of automatically ensuring system safety.
Chen Zhe
Motet Gilles
No associations
LandOfFree
Formalizing Safety Requirements Using Controlling Automata does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Formalizing Safety Requirements Using Controlling Automata, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formalizing Safety Requirements Using Controlling Automata will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-401078