Strictly Formalized Situation-Operator-Modeling technique for fall-back layer modeling for autonomous or semi-autonomous systems requiring software-based fail-safe behavior
作者： Georg Hagele , Dirk Soffker
关键词: Layer (object-oriented design) 、 Fail-safe 、 Distributed computing 、 Safety assurance 、 Computer science 、 Embedded system 、 System safety 、 Software
摘要: Autonomous and semi-autonomous aerial systems (AES) are often needed to perform tasks in complex dynamic environments. The safe navigation assurance as well safety of AES open research issues. Traditional combination aspects with mission related consequence unmanageable system complexity unpredictable effects during the spatial environment interaction makes traditional methods inapplicable. This paper introduces Strictly Formalized Situation-Operator-Modeling (sf-SOM) technique for behavior assurance. In System Safety Surveillance Control (SSSC) concept a fall-back layer can be realized. comparison other approaches, this separation between regular generating mission-tasks non-mission is used. Furthermore, separated well-defined, task-specific modules realized using standardized industrial programming languages programmable device. Proof an Programmable Logic Controller demonstrates successful use SSSC-based also comparable applications.
sci-hub.se 参考文章(25)
Michael J Roemer, Liang Tang, Integrated Vehicle Health and Fault Contingency Management for UAVs Springer Netherlands. pp. 999- 1025 ,(2015) , 10.1007/978-90-481-9707-1_46
Nils Gageik, Paul Benz, Sergio Montenegro, Obstacle Detection and Collision Avoidance for a UAV With Complementary Low-Cost Sensors IEEE Access. ,vol. 3, pp. 599- 609 ,(2015) , 10.1109/ACCESS.2015.2432455
Stefanie Giese, David Carr, Javaan Chahl, None, Implications for unmanned systems research of military UAV mishap statistics 2013 IEEE Intelligent Vehicles Symposium (IV). pp. 1191- 1196 ,(2013) , 10.1109/IVS.2013.6629628
Dirk Söffker, Interaction of intelligent and autonomous systems – part I: qualitative structuring of interaction Mathematical and Computer Modelling of Dynamical Systems. ,vol. 14, pp. 303- 318 ,(2008) , 10.1080/13873950801983837
Cornelius A. Thiels, Johnathon M. Aho, Scott P. Zietlow, Donald H. Jenkins, Use of unmanned aerial vehicles for medical product transport Air Medical Journal. ,vol. 34, pp. 104- 108 ,(2015) , 10.1016/J.AMJ.2014.10.011
Joseph H. Saleh, Karen B. Marais, Francesca M. Favaró, System Safety Principles: A Multidisciplinary Engineering Perspective Journal of Loss Prevention in The Process Industries. ,vol. 29, pp. 283- 294 ,(2014) , 10.1016/J.JLP.2014.04.001
Abhinav Saxena, Indranil Roychoudhury, Kai Goebel, Wei Lin, Towards Requirements in Systems Engineering for Aerospace IVHM Design AIAA Infotech@Aerospace (I@A) Conference. ,(2013) , 10.2514/6.2013-4659
Xiang Yu, Youmin Zhang, Sense and avoid technologies with applications to unmanned aircraft systems: Review and prospects Progress in Aerospace Sciences. ,vol. 74, pp. 152- 166 ,(2015) , 10.1016/J.PAEROSCI.2015.01.001
Sunil Nair, Jose Luis de la Vara, Mehrdad Sabetzadeh, Davide Falessi, None, Evidence management for compliance of critical systems with safety standards: A survey on the state of practice Information & Software Technology. ,vol. 60, pp. 1- 15 ,(2015) , 10.1016/J.INFSOF.2014.12.002
Vincenzo Lippiello, Fabio Ruggiero, Diana Serra, Emergency landing for a quadrotor in case of a propeller failure: A PID based approach international symposium on safety, security, and rescue robotics. pp. 1- 7 ,(2014) , 10.1109/SSRR.2014.7017647