Timed behavior trees for failure mode and effects analysis of time-critical systems

Colvin, Robert, Grunske, Lars and Winter, Kirsten (2008) Timed behavior trees for failure mode and effects analysis of time-critical systems. Journal of Systems and Software, 81 12: 2163-2182. doi:10.1016/j.jss.2008.04.035

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Colvin, Robert
Grunske, Lars
Winter, Kirsten
Title Timed behavior trees for failure mode and effects analysis of time-critical systems
Journal name Journal of Systems and Software   Check publisher's open access policy
ISSN 0164-1212
1873-1228
Publication date 2008-12-01
Year available 2008
Sub-type Article (original research)
DOI 10.1016/j.jss.2008.04.035
Open Access Status
Volume 81
Issue 12
Start page 2163
End page 2182
Total pages 20
Place of publication New York, U.S.A.
Publisher Elsevier
Language eng
Subject C1
080309 Software Engineering
890299 Computer Software and Services not elsewhere classified
Abstract Behavior Trees are a graphical notation used for formalising functional requirements, and have been successfully applied to several industrial case studies. However, the standard notation does not support the concept of time, and consequently its application is limited to non-real-time systems. To overcome this limitation we extend the notation to timed Behavior Trees. We provide an operational semantics which is based on timed automata, and thus serves as a formal basis for the translation of timed Behavior Trees into the input notation of the timed model checker UPPAAL. System-level timing properties of a Behavior Tree model can then be automatically verified using UPPAAL. Based on the notational extensions with model checking support, we introduce timed Failure Mode and Effects Analysis, a process for identifying cause-consequence relationships between component failures and system hazards in real-time safety critical systems.
Formatted abstract
Behavior Trees are a graphical notation used for formalising functional requirements, and have been successfully
applied to several industrial case studies. However, the standard notation does not support the
concept of time, and consequently its application is limited to non-real-time systems. To overcome this
limitation we extend the notation to timed Behavior Trees. We provide an operational semantics which is
based on timed automata, and thus serves as a formal basis for the translation of timed Behavior Trees
into the input notation of the timed model checker UPPAAL. System-level timing properties of a Behavior
Tree model can then be automatically verified using UPPAAL. Based on the notational extensions with
model checking support, we introduce timed Failure Mode and Effects Analysis, a process for identifying
cause-consequence relationships between component failures and system hazards in real-time safety
critical systems.
Keyword Behavior trees
Real-time systems
Timed automata
Model checking
Failure Mode and Effects Analysis (FMEA)
Q-Index Code C1
Q-Index Status Confirmed Code
Institutional Status UQ
Additional Notes Special Issue: Best papers from the 2007 Australian Software Engineering Conference (ASWEC 2007), Melbourne, Australia, April 10-13, 2007

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 15 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 20 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 24 Mar 2009, 02:41:21 EST by Dr Robert Colvin on behalf of School of Information Technol and Elec Engineering