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.
| Original language | English |
|---|---|
| Title of host publication | Automotive Systems Engineering II |
| Publisher | Taylor and Francis |
| Pages | 73-91 |
| Number of pages | 19 |
| ISBN (Electronic) | 9783319616070 |
| ISBN (Print) | 9783319616056 |
| DOIs | |
| State | Published - 1 Jan 2018 |
Keywords
- Formal verification
- Hybrid systems
- I/O-machines
- Interactive systems
- Mechatronic systems
- Modelbased development
- Modelling
- Sampling