A Structuring Mechanism for Embedded Control Systems using Co-modelling and Co-simulation

Xiaochen Zhang, Jan F. Broenink

2012

Abstract

In most embedded control system (ECS) designs, multiple engineering disciplines and various domain-specific models are involved, such as embedded software models in discrete-event (DE) domain and dynamic plant model in continuous-time (CT) domain. In this paper, we advocate collaborative modelling and co-simulation to verify different aspects of the system as a whole before implementation. This paper proposes a development approach and structuring mechanism for CT-intensive ECS designs using co-modelling and co-simulation techniques. Based on this approach, an integrated co-model can be developed and refined using different domain-specific languages and tools. Influences from one domain to the other can be simulated via cosimulation and analysed in both perspectives. Our structuring and development process has been applied to a mobile robot using this co-simulation technique. We have experienced that structuring the co-modelling process allows us to produce co-models an co-simulations effectively. Future work is on checking for model inconsistencies during collaboration, and provide approaches to deal with this.

References

  1. Bjorner, D. and Jones, C. (1978). The vienna development method: The meta-language. Lecture Notes in Computer Science.
  2. Broenink, J. F., Groothuis, M. A., Visser, P., and Bezemer, M. M. (2010). Model-driven robot-software design using template-based target descriptions. In Kubus, D., Nilsson, K., and Johansson, R., editors, ICRA 2010 workshop on Innovative Robot Control Architectures for Demanding (Research) Applications, pages 73 - 77. IEEE.
  3. Broenink, J. F., Groothuis, M. A., Visser, P., and Orlic, B. (2007). A model-driven approach to embedded control system implementation. In Anderson, J. and Huntsinger, R., editors, Proceedings of the 2007 Western Multiconference on Computer Simulation WMC 2007, San Diego, pages 137-144, San Diego. SCS, San Diego.
  4. Controllab Products (2010). The 20-sim dynamic modelling tool website. http://www.20sim.com.
  5. DESTECS (2010). The DESTECS project website. http://www.destecs.org.
  6. Fitzgerald, J. S., Larsen, P. G., Pierce, K. G., and Verhoef, M. (2012). A formal approach to collaborative modelling and co-simulation for embedded systems. Mathematical Structures in Computer Science, vol(no):1-25. To be published.
  7. Overture Community (2010). The Overture Tool project website. http://www.overturetool.org.
  8. Paynter, H. (1961). Analysis and design of engineering systems. MIT Press, Cambridge, MA.
  9. Verhoef, M., Larsen, P., and Hooman, J. (2006). Modeling and validating distributed embedded real-time systems with vdm++. FM2006: Formal Methods.
Download


Paper Citation


in Harvard Style

Zhang X. and F. Broenink J. (2012). A Structuring Mechanism for Embedded Control Systems using Co-modelling and Co-simulation . In Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-8565-20-4, pages 131-136. DOI: 10.5220/0004059801310136


in Bibtex Style

@conference{simultech12,
author={Xiaochen Zhang and Jan F. Broenink},
title={A Structuring Mechanism for Embedded Control Systems using Co-modelling and Co-simulation},
booktitle={Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2012},
pages={131-136},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004059801310136},
isbn={978-989-8565-20-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - A Structuring Mechanism for Embedded Control Systems using Co-modelling and Co-simulation
SN - 978-989-8565-20-4
AU - Zhang X.
AU - F. Broenink J.
PY - 2012
SP - 131
EP - 136
DO - 10.5220/0004059801310136