Multi-view methodology for the design of embedded mechatronic control systems

The design of embedded control systems for monitoring and control of mechatronic systems has a multi-disciplinary development trajectory. These systems consist of heterogeneous components developed by different disciplines (control engineering, electrical engineering, software engineering and often many more). The design trajectory needs therefore a multi-disciplinary design methodology that enables concurrent design and interactions between all involved disciplines, reducing inconsistencies and conflicts that occur during the design phase. This paper proposes a multi-view methodology to address the above-mentioned issues. The main purpose is to shorten the design time and at the same time increasing the reliability and predictability of embedded (computer) control systems.

[1]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[2]  Alexander Königs,et al.  Tool integration with consistency relations and their visualization , 2003 .

[3]  Peter C. Breedveld,et al.  Modelling of physical systems for the design and control of mechatronic systems , 2003, Annu. Rev. Control..

[4]  de Theodorus Jacobus Adrianus Vries,et al.  Conceptual design of controlled electro–mechanical systems – a modeling perspective – , 1994 .

[5]  Jeroen Voeten,et al.  Platform-independent Design for Embedded Real-time Systems , 2003, FDL.

[6]  M.J.G. van de Molengraft,et al.  A case-study in multidisciplinary modeling of dynamic embedded systems , 2004 .

[7]  Dusko S. Jovanovic,et al.  gCSP: A Graphical Tool for Designing CSP systems , 2004 .

[8]  R. Rosenberg,et al.  System Dynamics: Modeling and Simulation of Mechatronic Systems , 2006 .

[9]  W.J.A Denissen.  Amultidisciplinary model-based test and integration infrastructure , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[10]  Johannes F. Broenink,et al.  A CSP-based trajectory for designing formally verified embedded control software , 2005 .

[11]  P.M. Visser,et al.  Controller system design trajectory , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[12]  Recommended Practice for Architectural Description of Software-Intensive Systems , 1999 .

[13]  Erik Buit,et al.  PC104 stack mechatronic control platform , 2005 .

[14]  R. Stephenson.  A and V , 1962, The British journal of ophthalmology.

[15]  Marc Geilen,et al.  Real-time property preservation in approximations of timed systems , 2003, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..