Testing embedded control systems using hardware-in-the-loop simulation and temporal logic

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 15, Issue 1, 2002, Pages 453-458

  Sanvido, Marco A A ^a   Cechticky, Vaclav ^a   Schaufelberger, Walter ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Embedded systems; Simulation; Temporal logic

Indexed keywords

AUTOMATION; COMPUTER CIRCUITS; COMPUTER SOFTWARE; CONTROL SYSTEMS; HARDWARE; HARDWARE-IN-THE-LOOP SIMULATION; SYNTHETIC APERTURES; TEMPORAL LOGIC; TRACTION (FRICTION);

DYNAMICAL PROCESS; EMBEDDED CONTROL SYSTEMS; ESMERTEC; HARDWARE IN THE LOOP SIMULATOR; REAL-TIME PLATFORM; SIMULATION; TEMPORAL LOGIC SPECIFICATIONS;

EMBEDDED SYSTEMS;

EID: 84945534891     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20020721-6-es-1901.00981     Document Type: Conference Paper

References (16)

1. Alur, R. (1999). Timed automata. In: Proceedings of the 11th International Computer Aided Verification Conference. Springer Verlag. pp. 8-22.
2. Chapuis, J. et al. (1999). Control of helicopters. In: Control of Complex Systems. Springer Verlag. pp. 359-392.
3. Clarke, E.M. et al. (1999). Model Checking. MIT Press.
4. Embedded-Planet (n.d.). http://www.embeddedplanet.com.
5. Esmertec (n.d.). http://www.esmertec.com.
6. Isermann, R. et al. (1999). Hardware-in-the-loop simulation for the design and testing of engine-control systems. Control Engineering Practice 7, 643-653.
7. Ledin, J.A. (2000). Hardware in the loop simulation. Emdedded System Conference.
8. Manna, Z. and A. Pnueli (1992). The Temporal Logic of Reactive and Concurrent Systems. Springer. New York.
9. Motorola (n.d.). http://www.motorola.com.
10. O'Connor, P.D.T. (2001). Neglect testing at your peril. IEEE Spectrum 38(7), 18.
11. Pasetti, A. and W. Pree (2001). Embedded software market transformation through reusable frameworks. In: Proceedings of the First Embedded Software Workshop (T. Henzinger and C. Kirsch, Eds.).
12. Sanvido, M. and W. Schaufelberger (2001). Design of a framework for hardware-in-the-loop simulation and its application to a model helicopter. In: CD: Proceedings of the 4th International EuroSim 2001 Congress (A. Heemmink and L. Dekker, Eds.).
13. Sanvido, M.A.A. (2002). Hardware-in-the-loop Simulation Framework. PhD thesis. ETH Zurich.
14. Schär, C. and R. Samedani (2001). HIL framework for Java. Master thesis. Automatic Control Laboratory, ETH Zurich.
15. Sun Microsystems (n.d.). http://java.sun.com.
16. Wirth, N. and J. Gutknecht (1992). Projekt Oberon - The Design of an Operating System and Compiler. ACM Press. New York.