Abstract In this work an integrated method for the development of mechatronic systems is presented for capturing information from requirements to code generation level, with derived and intermediated abstractions in a logical view. Our modelling theory, based on FOCUS, is a model-based engineering method for the development of reactive software systems. It supports the specific needs of the automation and automotive domains, and provides a model-based logical representation of the system together with a user-friendly integration of automatic verification. The scope of this work is to present our model-based development methodology for mechatronic systems, which provides an integrated way to define the respective engineering process models and formalisms, system requirements and architectures, to specify the behaviour of the system. Therefore, novel complementary analysis techniques can be applied, allowing the verification of properties, the validation of system design and derived model-based implementations. Moreover, a wider support for discipline neutral models reduces errors during integration of artefacts from individual disciplines.
Modelling Logical Architecture of Mechatronic Systems and Its Quality Control
2017-11-28
19 pages
Article/Chapter (Book)
Electronic Resource
English
Mechatronic sensors in integrated vehicle architecture
British Library Conference Proceedings | 1991
|Safety Assessment for Flight Control System Architecture with Abstract Logical Modelling
Springer Verlag | 2025
|Development of a modular architecture for complex mechatronic systems
Fraunhofer Publica | 2023
|Springer Verlag | 2012
|