eCD++: an engine for executing DEVS models in embedded platforms
Proceedings of the 2007 Summer Computer Simulation Conference
Model-Integrated Development of Cyber-Physical Systems
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
A framework for executable UML models
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Representativeness models of systems: smart grid example
Innovations in Systems and Software Engineering
Transforming UML2.0 class diagrams and statecharts to atomic DEVS
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
A modelling and simulation based approach to dependable system design
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
M&S-based design of embedded controllers on network processors
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
| Hi-index | 0.01 |
Successful development of large-scale complex and distributed real-time systems commonly relies on models developed separately for simulation studies and software implementation. Systems theory provides sound modeling principles to characterize structural and behavioral aspects of systems across time and space. The behavior of these models can be observed using simulation protocols that can correctly interpret time-based logical dynamics. Similarly, object-orientation theories and software architecture principles enable modeling static and dynamic behavior of systems. While models described either in system-theoretic or object-orientated languages may be used for both software design and simulation modeling, each has its own strengths and weaknesses. For example, a class of system-theoretic modeling approach called Discrete-event System Specification (DEVS) provides an appropriate basis to develop simulation models exhibiting concurrent and distributed behavior. Similarly, the Unified Modeling Language with real-time (UML-RT) constructs can be used to develop software design models that can be implemented and executed. Since software models are not suitable to be used as simulation models and simulation models may not adequately lend themselves to serve as software design blueprints, it is important to examine these approaches. We show some of the key shortcomings of these simulation and software design modeling approaches by developing some detailed specifications and implementation of a coffee machine with a focus on their treatment of logical and physical time.