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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Modelling Logical Architecture of Mechatronic Systems and Its Quality Control


    Contributors:


    Publication date :

    2017-11-28


    Size :

    19 pages




    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Mechatronic sensors in integrated vehicle architecture

    Zabler, E. / Heintz, F. / Friedrich, H. | British Library Conference Proceedings | 1991


    Safety Assessment for Flight Control System Architecture with Abstract Logical Modelling

    He, Ruichen / Pouzolz, François / Holzapfel, Florian et al. | Springer Verlag | 2025


    Quality control analysis of mechatronic systems with flexible coupling elements

    Juhás, Martin / Juhásová, Bohuslava | TIBKAT | 2015


    Development of a modular architecture for complex mechatronic systems

    Seidenberg, Tobias / Disselkamp, Jan-Philipp / Jürgenhake, Christoph et al. | Fraunhofer Publica | 2023

    Free access

    Vehicle Mechatronic Systems

    Merzouki, Rochdi / Samantaray, Arun Kumar / Pathak, Pushparaj Mani et al. | Springer Verlag | 2012