Design of mechatronic systems through aspect and object-oriented modeling

Abstract Design of mechatronic systems involves the use of multiple disciplines, from mechanics to electronics and computer science. Different granularities of hybrid co-simulations with increasing details can be used during the design process. However, there is the need of modeling tools for effectively managing the necessary abstraction layers. This work proposes a combination of Aspect-Oriented and Object-Oriented modeling for reaching the goal. Moreover, it shows how the utilization of these tools can facilitate design-space exploration, segregation of domains of expertise and enhances co-design.

[1]  Alberto L. Sangiovanni-Vincentelli,et al.  Interchange Format for Hybrid Systems: Abstract Semantics , 2006, HSCC.

[2]  Carl Hewitt,et al.  Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..

[3]  Karl-Erik Årzén,et al.  TrueTime: Real-time Control System Simulation with MATLAB/Simulink , 2003 .

[4]  Stavros Tripakis,et al.  Bridging the semantic gap between heterogeneous modeling formalisms and FMI , 2015, 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS).

[5]  Edward A. Lee,et al.  Classes and subclasses in actor-oriented design , 2004, MEMOCODE.

[6]  David Broman,et al.  Requirements for Hybrid Cosimulation , 2014 .

[7]  D. Maclay,et al.  Simulation gets into the loop , 1997 .

[8]  Marco Di Natale,et al.  TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink , 2015, SAC.

[9]  Stephen A. Edwards,et al.  The Case for the Precision Timed (PRET) Machine , 2007, 2007 44th ACM/IEEE Design Automation Conference.

[10]  Edward A. Lee,et al.  Systems Engineering for Industrial Cyber–Physical Systems Using Aspects , 2016, Proceedings of the IEEE.

[11]  Elizabeth Latronico,et al.  System Design, Modeling, and Simulation Using Ptolemy Ii Ontologies , 2013 .

[12]  Edward A. Lee,et al.  Network latency and packet delay variation in cyber-physical systems , 2011, 2011 IEEE Network Science Workshop.

[13]  Fumio Harashima,et al.  Mechatronics - "What Is It, Why, and How?" An editorial , 1996, IEEE/ASME Transactions on Mechatronics.

[14]  Edward A. Lee.  Constructive Models of Discrete and Continuous Physical Phenomena , 2014, IEEE Access.

[15]  Edward A. Lee,et al.  Model Engineering using Multimodeling , 2008 .

[16]  Jakob Engblom,et al.  The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

[17]  Soohee Han,et al.  REAL-TIME SOFTWARE-IN-THE-LOOP SIMULATION FOR CONTROL EDUCATION , 2011 .

[18]  Stephen A. Edwards,et al.  The semantics and execution of a synchronous block-diagram language , 2003, Sci. Comput. Program..

[19]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.