Model verification for system design of complex mechatronic products

[1]  Ferhat Khendek,et al.  Bridging the gap between requirements and design: An approach based on Problem Frames and SysML , 2012, J. Syst. Softw..

[2]  Bradley N. Doebbeling,et al.  Applying Systems Engineering Principles in Improving Health Care Delivery , 2007, Journal of General Internal Medicine.

[3]  Madalina Croitoru,et al.  A combinatorial approach to conceptual graph projection checking , 2004, SGAI Conf..

[4]  Ahsan Qamar,et al.  An Approach to Identifying Inconsistencies in Model-based Systems Engineering , 2014, CSER.

[5]  Mark Ryan,et al.  Logic in Computer Science: Modelling and Reasoning about Systems , 2000 .

[6]  Ahmed Hammad,et al.  A methodology for verifying SysML requirements using activity diagrams , 2016, Innovations in Systems and Software Engineering.

[7]  M. Chein,et al.  Conceptual graphs: fundamental notions , 1992 .

[8]  Steve Anderson,et al.  Managing the interstitials, a System of Systems framework suited for the Ballistic Missile Defense System , 2011, Syst. Eng..

[9]  Raj Madhavan,et al.  Benchmarking and standardization of intelligent robotic systems , 2009, 2009 International Conference on Advanced Robotics.

[10]  Vincent Chapurlat.  UPSL-SE: A model verification framework for Systems Engineering , 2013, Comput. Ind..

[11]  John F. Sowa,et al.  Conceptual graphs as a universal knowledge representation , 1992 .

[12]  Christiaan J. J. Paredis,et al.  Towards Effective Management of Inconsistencies in Model-Based Engineering of Automated Production Systems , 2015 .

[13]  Dov M. Gabbay,et al.  Inconsistency Handling in Multperspective Specifications , 1994, IEEE Trans. Software Eng..

[14]  Cesare Fantuzzi,et al.  A model-based design methodology for the development of mechatronic systems , 2014 .