Abstract
Due to the application of embedded and integrated techniques, electromechanical systems are increasingly becoming complex, especially in the logical relationships for functions and behaviors. Any mistakes in the logical relationships might lead to a hazardous system failure and produce serious consequences. In order to ensure the correctness of the logical relationships, formal methods could be adopted to model the behavior process early in the design phase. The formal notations used in formal modeling, however, are usually difficult to understand. The behavior trees are a kind of graphical modeling notation, which describes the system by a progressive fashion and provides an intuitive understanding of the system. In this paper, behavior trees notation is introduced to model the behavior process of electromechanical systems. From the view of the FBS (Function-Behavior-State) modeling, behaviors are represented as states and their transitions. Taking the behavior process as a discrete event dynamic system, generating of an event and driving of a state transition by the event in the behavior process are investigated and their representations are proposed. Semantics and syntax of the behavior trees are discussed, and representation of states, events and control logics in state transitions is presented based on the characteristics of the state transitions of the electromechanical systems. An approach to modeling behavior process based on behaviors trees is proposed. An example of the feed drive system in a CNC machine tool is presented to illustrate the modeling approach presented in this paper.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Olivera P, Hans-Dieter E. Model checking PLC software written in function block diagram. In: Third international conference on software testing, verification and validation, Paris, France, 6–10 Apr 2010. p. 439–48.
Lars G, Robert C, Kirsten W. Probabilistic model-checking support for FMEA. Fourth International Conference on the Quantitative Evaluation of Systems, Edinburgh, UK, 17–19 Sept 2007; 2007. p. 119–28.
Lars G, Peter L, Nisansala Y, Kirsten W. An automated failure mode and effect analysis based on high-level design specification with behavior trees. Integr Formal Meth Proc. 2005; 3771:129–49.
Peilin Y, Kai X, Chongchong X, et al. Study on FMEA for electromechanical systems based on model checking. J Mech Eng. 2016;52(16):162–8 (in Chinese).
Lindsay PA. Behavior trees: from systems engineering to software engineering. In: Third IEEE international conference on software engineering & formal methods, Pisa, Italy, 13–18 Sept 2010; 2010. p. 21–30.
Dromey RG. From requirements to design: Formalizing the key steps. In: International conference on software engineering and formal methods, Queensland, Australia, 22–27 Sept 2003; 2013. p. 2–13.
Kirsten W. Formalising behaviour trees with CSP. Integr Formal Meth Proc. 2004; 2999:148–67.
Lars G, Kirsten W, Robert C. Timed behavior trees and their application to verifying real-time systems. In: Proceedings of the 2007 Australian software engineering conference, Melbourne, VIC, Australia, 10–13 Apr 2007; 2007:211–22.
Shimomura Y, Yoshioka M, Takeda H. Representation of design object based on the functional evolution process model. J Mech Des. 1998;120(4):37–48.
Umeda Y, Kondoh D, Shimomura Y. Development of design methodology for upgradable products based on function-behavior-state modeling. Artif Intell Eng Des Anal Manuf. 2005;19(3):16–182.
Xue C. Research on reliability modeling of electromechanical systems based on behavior trees. Xi’an: Xi’an Jiaotong University; 2015.
Acknowledgements
This project is supported by National Natural Science Foundation of China (Grant No. 51375365).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendix
Appendix
Behavior tree model of the feed drive system.
Rights and permissions
Copyright information
© 2018 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Yang, P., Xue, C., Liu, Q., Hou, Y., Jia, H. (2018). Modeling the Behavior Process of Electromechanical Systems Based on Behavior Trees. In: Tan, J., Gao, F., Xiang, C. (eds) Advances in Mechanical Design. ICMD 2017. Mechanisms and Machine Science, vol 55. Springer, Singapore. https://doi.org/10.1007/978-981-10-6553-8_25
Download citation
DOI: https://doi.org/10.1007/978-981-10-6553-8_25
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-10-6552-1
Online ISBN: 978-981-10-6553-8
eBook Packages: EngineeringEngineering (R0)