Co-simulation of distributed embedded real-time control systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4591 LNCS, Issue , 2007, Pages 639-658

  Verhoef, Marcel ^a,b   Visser, Peter ^c   Hooman, Jozef ^b,d   Broenink, Jan ^c  

^a Chess   (United States)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^c UNIVERSITY OF TWENTE   (Netherlands)

^d EMBEDDED SYSTEMS INSTITUTE   (Netherlands)

Author keywords

Bond graphs; Continuous time; Discrete event; Simulation

Indexed keywords

COMPUTER SCIENCE; DISCRETE EVENT SIMULATION; ELECTRICAL ENGINEERING; EMBEDDED SYSTEMS; GRAPH THEORY; SEMANTICS;

BOND GRAPHS; CO-SIMULATION; CONTINUOUS TIME;

REAL TIME CONTROL;

EID: 38149109039     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73210-5_33     Document Type: Conference Paper

References (18)

1. 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
2. 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)
3. 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.1th.se/truetime/
4. Douglas, B.P.: Real-Time UML Workshop for Embedded Systems. Embedded Technology. Newnes. Elsevier, Amsterdam (2007)
5. 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)
6. 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)
7. Karnopp, D.C., Margolis, D.L., Rosenberg, R.C.: System Dynamics: Modeling and Simulation of Mechatronic Systems, 3rd edn. Wiley-Interscience, Chichester (2000)
8. Breedveld, P.: Multibond-graph elements in physical systems theory. Journal of the Franklin Institute 319, 1-36 (1985)
9. Ledin, J.: Simulation Engineering - Build Better Embedded Systems Faster. Embedded Systems Programming. CMP Books (2001)
10. Hairer, E., Nørsett, S.P., Gerhard., W.: Solving ordinary differential equations I: Nonstiff problems, 2nd edn. Springer, Heidelberg (1993)
11. Hairer, E., Wanner, G.: Solving ordinary differential equations II: Stiff and differential-algebraic problems, 2nd edn. Springer, Heidelberg (1996)
12. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, Dordrecht (1999)
13. ControlLab Products: 20-sim (2006) http://www.20sim.com
14. Fitzgerald, J., Larsen, P.G., Mukherjee, P., Plat, N., Verhoef, M.: Validated Designs for Object-oriented Systems. Springer, Heidelberg (2005) http ://www.vdmbook.com
15. 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
16. 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)
17. 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)
18. 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