Abstract
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analysis approaches advocated by these disciplines are fundamentally different which complicates reasoning about e.g. performance at the system level. We propose a light-weight approach that alleviates this problem to some extent. An existing formal semantic framework for discrete event models is extended to allow for consistent co-simulation of continuous time models from within this framework. It enables integrated models that can be checked by simulation in addition to the verification and validation techniques already offered by each discipline individually. The level of confidence in the design can now be raised in the very early stages of the system design life-cycle instead of postponing system-level design issues until the integration and test phase is reached. We demonstrate the extended semantic framework by co-simulation of VDM++ and bond-graph models on a case study, the level control of a water tank.
This work has been carried out as part of the Boderc project under the responsibility of the Embedded Systems Institute. This project was partially supported by the Dutch Ministry of Economic Affairs under the Senter TS program.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Boderc: Model-based design of high-tech systems. Final report. Embedded Systems Institute, P.O. Box 513, 5600 MB Eindhoven, NL (2006), Available on-line at http://www.esi.nl/boderc
Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 1–15. Springer, Heidelberg (2006)
Henriksson, D.: Flexible Scheduling Methods and Tools for Real-Time Control Systems. PhD thesis, Lund Institute of Technology, Department of Automatic Control (2003), http://www.control.lth.se/truetime/
Douglas, B.P.: Real-Time UML Workshop for Embedded Systems. Embedded Technology. Newnes. Elsevier, Amsterdam (2007)
Hooman, J., Mulyar, N., Posta, L.: Coupling Simulink and UML models. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol. 3253, pp. 304–311. Springer, Heidelberg (2004)
Davis, J., Galicia, R., Goel, M., Hylands, C., Lee, E., Liu, J., Liu, X., Muliadi, L., Neuendorffer, S., Reekie, J., Smyth, N., Tsay, J., Xiong, Y.: Ptolemy-II: Heterogeneous concurrent modeling and design in Java. Technical Memorandum UCB/ERL No. M99/40, University of California at Berkeley (1999)
Karnopp, D.C., Margolis, D.L., Rosenberg, R.C.: System Dynamics: Modeling and Simulation of Mechatronic Systems, 3rd edn. Wiley-Interscience, Chichester (2000)
Breedveld, P.: Multibond-graph elements in physical systems theory. Journal of the Franklin Institute 319, 1–36 (1985)
Ledin, J.: Simulation Engineering - Build Better Embedded Systems Faster. Embedded Systems Programming. CMP Books (2001)
Hairer, E., Nørsett, S.P., Gerhard, W.: Solving ordinary differential equations I: Nonstiff problems, 2nd edn. Springer, Heidelberg (1993)
Hairer, E., Wanner, G.: Solving ordinary differential equations II: Stiff and differential-algebraic problems, 2nd edn. Springer, Heidelberg (1996)
Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Dordrecht (1999)
ControlLab Products: 20-sim (2006), http://www.20sim.com
Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for Object-oriented Systems. Springer, Heidelberg (2005), http://www.vdmbook.com
Verhoef, M., Larsen, P.G., Hooman, J.: Modeling and validating distributed embedded real-time systems with VDM++. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 147–162. Springer, Heidelberg (2006), http://dx.doi.org/10.1007/11813040_11
Visser, P., Verhoef, M., Broenink, J., Hooman, J.: Co-simulation of continuous-time/discrete-event systems as vehicle for embedded system design trade-off’s (submitted, 2007)
Nicolescu, G., Boucheneb, H., Gheorghe, L., Bouchhima, F.: Methodology for efficient design of continuous/discrete-events co-simulation tools. In: Anderson, J., Huntsinger, R. (eds.) High Level Simulation Languages and Applications - HLSLA. SCS, San Diego, CA, pp. 172–179 (2007)
Gheorghe, L., Bouchhima, F., Nicolescu, G., Boucheneb, H.: Formal definitions of simulation interfaces in a continuous/discrete co-simulation tool. In: Proc. IEEE Workshop on Rapid System Prototyping, pp. 186–192. IEEE Computer Society Press, Los Alamitos (2006), http://doi.ieeecomputersociety.org/10.1109/RSP.2006.18
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Verhoef, M., Visser, P., Hooman, J., Broenink, J. (2007). Co-simulation of Distributed Embedded Real-Time Control Systems. In: Davies, J., Gibbons, J. (eds) Integrated Formal Methods. IFM 2007. Lecture Notes in Computer Science, vol 4591. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73210-5_33
Download citation
DOI: https://doi.org/10.1007/978-3-540-73210-5_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73209-9
Online ISBN: 978-3-540-73210-5
eBook Packages: Computer ScienceComputer Science (R0)