Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems
Journal of Systems and Software
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
An evaluation of timed scenario notations
Journal of Systems and Software
Journal of Systems and Software
Probabilistic timed behavior trees
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Hi-index | 0.00 |
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation currently 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, which can be semantically defined by timed automata. Based on this extension we are able to include local timing assumptions in a BT model and can verify system-level timing properties with temporal proof methodologies. We validate the use of the new notation by means of a case study. To verify system-level timing properties we translate the model into timed automata and use the tool UPPAAL for timed model checking.