Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Automatic verification of modeling rules in systems engineering for mechatronic systems

 
: Kaiser, L.; Dumitrescu, R.; Holtmann, J.; Meyer, M.

:

American Society of Mechanical Engineers -ASME-, Design Engineering Division; American Society of Mechanical Engineers -ASME-, Computers and Information in Engineering Division -CIE-:
33rd Computers and Information in Engineering Conference 2013 : Presented at ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, August 4 - 7, 2013, Portland, Oregon, USA
New York/NY.: ASME, 2014 (Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference 2013 2B)
ISBN: 978-0-7918-5586-7
Paper DETC2013-12330, 9 pp.
International Design Engineering Technical Conferences (IDETC) <2013, Portland/Or.>
Computers and Information in Engineering Conference (CIE) <33, 2013, Portland/Or.>
English
Conference Paper
Fraunhofer IPT ()

Abstract
Mechatronics is the close interaction of mechanics, electronics, control engineering and software engineering. The increasing complexity of mechatronic systems results in a challenging development process and particularly requires a consistent comprehension of the tasks between all the engineers involved. Especially during the early design phases, the communication and cooperation between the mechanical, electrical, control and software engineers is necessary to establish a basis for efficient and effective product development. The approach of Model-Based Systems Engineering focuses on this aspect by means of an abstract but superordinate system model. It enables a holistic view of the system. The system model can be specified using the Systems Modeling Language (SysML). The language allows many degrees of freedom to specify a fact, bearing in mind that different system architects can specify the same fact in different ways. This leads to system models that can be inter preted in many ways. Thus, these models are hard to consistently compare and interpret, resulting in communication issues. In order to tackle this problem, we present a concept that uses modeling rules supporting model comparability. We formalize them by means of checks implemented in the programming language Java and the Object Constraint Language (OCL) in order to automatically verify the system model's compliance with these rules. Copyright

: http://publica.fraunhofer.de/documents/N-300776.html