Integration of safety aspects in modeling of Networked Control Systems

In the last decades, Networked Control Systems (NCS) has become a key aspect in different application domains of mechatronic technology (e.g. automotive, railway and industrial automation). This NCS consist of several control nodes equipped with sensors and actuators, which fulfill the specified control tasks and are interconnected by bus systems for realizing an efficient I/O communication between the end nodes and the controlling units. For some applications in these industries, where harm for human life is at risk by actions of the technical system, an architecture involving functional safety is mandatory (e.g. for certification). The development of today's mechatronic systems is widely supported by model-based engineering and design. Yet a model approach and modeling notation framework for designing the architecture of NCS in a functional safe manner is still lacking. In this paper, a notation is introduced describing the architecture, the time behavior and the safety requirements of such NCS. A Human-Robot-Collaboration system with safety aspects is proposed to evaluate the notation as a case study.

[1]  Nga Nguyen,et al.  SysML and safety analysis for mechatronic systems , 2012, 2012 9th France-Japan & 7th Europe-Asia Congress on Mechatronics (MECATRONICS) / 13th Int'l Workshop on Research and Education in Mechatronics (REM).

[2]  Marga Marcos,et al.  A Methodological Approach to Model-Driven Design and Development of Automation Systems , 2018, IEEE Transactions on Automation Science and Engineering.

[3]  Manfred Broy Functional safety based on a system reference model , 2012 .

[4]  Birgit Vogel-Heuser Usability experiments to evaluate UML/SysML-based Model driven Software Engineering Notations for logic control in Manufacturing Automation , 2014 .

[5]  Gabriel Pedroza,et al.  AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties , 2011, 2011 11th Annual International Conference on New Technologies of Distributed Systems.

[6]  Jan Lunze,et al.  Control theory of digitally networked dynamic systems , 2014 .

[7]  B. Vogel-Heuser,et al.  Modeling network architecture and time behavior of Distributed Control Systems in industrial plant automation , 2011, IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society.

[8]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[9]  Uwe Becker,et al.  Modelling and simulation of distributed time critical communication and control systems in vehicles or vehicle networks , 2016 .

[10]  Birgit Vogel-Heuser,et al.  Enhancing a model-based engineering approach for distributed manufacturing automation systems with characteristics and design patterns , 2015, J. Syst. Softw..

[11]  Birgit Vogel-Heuser,et al.  Modellierungsansatz für Zeitanforderungen und Kommunikationsnetze , 2008 .

[12]  Birgit Vogel-Heuser,et al.  Time as non-functional requirement in distributed control systems , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[13]  Gérard Morel,et al.  Combining SysML and formal methods for safety requirements verification , 2010 .

[14]  Tetsuo Kotoku,et al.  A profile and tool for modelling safety information with design information in SysML , 2014, Software & Systems Modeling.