Integration of safety aspects in modeling of Networked Control Systems
暂无分享,去创建一个
[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.