From Control Models to Real-Time Code Using Giotto

IEEE Control Systems

Volumn 23, Issue 1, 2003, Pages 50-64

  Henzinger, Thomas A ^a   Kirsch, Christoph M ^a   Sanvido, Marco A A ^a   Pree, Wolfgang ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF SALZBURG   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; EMBEDDED SYSTEMS; HIGH LEVEL LANGUAGES; MATHEMATICAL MODELS; PROGRAM COMPILERS; REAL TIME SYSTEMS; RELIABILITY; SOFTWARE ENGINEERING;

AUTOPILOT SOFTWARE; GIOTTO COMPILERS; GIOTTO PROGRAM;

CONTROL SYSTEM SYNTHESIS;

EID: 0037298562     PISSN: 1066033X     EISSN: None     Source Type: Journal    
DOI: 10.1109/MCS.2003.1172829     Document Type: Article

References (34)

1. C.M. Kirsch, M.A.A. Sanvido, T.A. Henzinger, and W. Pree, “A Giotto-based helicopter control system,” in Proc. 2nd Int. Workshop Embedded Software (EMSOFT), LNCS 2491, Springer Verlag, 2002, pp. 46-60.
2. T.A. Henzinger, B. Horowitz, and C.M. Kirsch, “Giotto: A time-triggered language for embedded programming,” in Proc. 1st Int. Workshop Embedded Software (EMSOFT), LNCS 2211, Springer Verlag, 2001, pp. 166-184.
3. J. Chapuis, C. Eck, M. Kottmann, M.A.A. Sanvido, and O.Tanner, “Control of helicopters,” in Control of Complex Systems, K. Ågström, P. Albertos, M. Blanke, A. Isidori, W. Schaufelberger, and R. Sanz, Eds. New York: Springer Verlag, 1999, pp. 359-392.
4. N. Wirth, “Tasks versus threads: An alternative multiprocessing paradigm,” Software-Concepts and Tools, vol. 17, pp. 6-12, 1996.
5. T.A. Henzinger, “Masaccio: A formal model for embedded components,” in Proc. 1st IFIP Int. Conf. Theoretical Computer Science, LNCS 1872, Springer Verlag, 2000, pp. 549-563.
6. D.J. McConnel, B. Lewis, and L. Gray, “Reengineering a single-threaded embedded missile application onto a parallel processing platform using MetaH,” Real-Time Syst., vol. 14, pp. 7-20, 1998.
7. N. Wirth, “A computer system for model helicopter flight control; Technical memo 6: The Oberon compiler for the StrongARM processor,” Institute for Computer Systems, ETH Zürich, Tech. Rep. 314, 1999.
8. N. Wirth and J. Gutknecht, Project Oberon: The Design of an Operating System and Compiler. New York: ACM Press, 1992.
9. M.A.A. Sanvido, “A computer system for model helicopter flight control; Technical memo 3: The software core,” Institute for Computer Systems, ETH Zürich, Tech. Rep. 317, 1999.
10. We Control GmbH, wePilot1000 [Online]. Available: http://www.wecontrol.ch
11. The Robotics Institute, Carnegie Mellon University [Online]. Available: http://www.cs.cmu.edu/afs/cs/project/chopper/www
12. The UAV Lab, Georgia Institute of Technology [Online]. Available:http://controls.ae.gatech.edu/labs/uavrf
13. Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, “Aerial robotics” [Online]. Available:http://gewurtz.mit.edu/research/heli.htm
14. Robotics Research Laboratory, University of Southern California, “Autonomous flying vehicles” [Online]. Available: http://www-robotics.usc.edu/~avatar
15. Measurement and Control Laboratory, ETH Zürich, “Autonomous helicopter project” [Online]. Available: http://www.heli.ethz.ch
16. Electronic Research Laboratory, University of California at Berkeley, “BEAR: Berkeley aerial robot” [Online]. Available: http://robotics.eecs.berkeley.edu/bear
17. Aerospace Robotics Laboratory, Stanford University, “The Hummingbird helicopter” [Online]. Available: http://sun-valley.stanford.edu/~heli
18. Institute for Technical Computer Science, Technische Universität Berlin, “Marvin” [Online]. Available: http://pdv.cs.tu-berlin.de/MARVIN
19. C. Eck, “Navigation algorithms with applications to unmanned helicopters,” Ph.D. dissertation, 14402, Computer Science, ETH Zürich, 2001.
20. T.A. Henzinger and C.M. Kirsch, “The Embedded Machine: Predictable, portable real-time code,” in Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), ACM Press, 2002, pp. 315-326.
21. N. Halbwachs, Synchronous Programming of Reactive Systems. Norwell, MA: Kluwer, 1993.
22. T.A. Henzinger, C.M. Kirsch, R. Majumdar, and S. Matic, “Time-safety checking for embedded programs,” in Proc. 2nd Int. Workshop Embedded Software (EMSOFT), LNCS 2491, Springer Verlag, 2002, pp. 76-92.
23. C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt, H. Theiling, S. Thesing, and R.Wilhelm, “Reliable and precise WCET determination for a real-life processor,” in Proc.1st Int. Workshop Embedded Software (EMSOFT), LNCS 2211, Springer Verlag, 2001, pp. 469-485.
24. Lego, “Mindstorms” [Online]. Available: http://mindstorms.lego.com
25. Wind River Systems, “VxWorks operating system” [Online]. Available:http://www.windriver.com/products/html/vxwks5x.html
26. T.A. Henzinger, B. Horowitz, and C.M. Kirsch, “Embedded control systems development with Giotto,” in Proc. ACM SIGPLAN Workshop Languages, Compilers, and Tools for Embedded Systems (LCTES), ACM Press, 2001, pp. 166-184.
27. Wind River Systems, “OSEKWorks operating system” [Online]. Available:http://www.windriver.com/products/html/osekworks.html
28. B. Horowitz, J. Liebman, C. Ma, J.T. Koo, T.A. Henzinger, A. Sangiovanni-Vincentelli, and S. Sastry, “Embedded-software design and system integration for rotorcraft UAV using platforms,” in Proc. 15th IFAC World Congress, Elsevier, 2002 [CD-ROM].
29. H. Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications. Norwell, MA: Kluwer, 1997.
30. S. Vestal, “MetaH support for real-time multi-processor avionics,” in Proc.5th Int. Workshop Parallel and Distributed Real-Time Systems, IEEE Computer Society Press, 1997, pp. 11-21.
31. G. Berry, “The foundations of Esterel,” in Proof, Language and Interaction:Essays in Honour of Robin Milner, G. Plotkin, C. Stirling, and M.Tofte, Eds. Cambridge, MA: MIT Press, 2000, pp. 425-454.
32. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, “The synchronous dataflow programming language Lustre,” Proc. IEEE, vol. 79, pp. 1305-1320, Sept. 1991.
33. A. Benveniste, P. Le Guernic, and C. Jacquemot, “Synchronous programming with events and relations: The Signal language and its semantics,” Sci. Comput. Program., vol. 16, pp. 103-149, 1991.
34. C.M. Kirsch, “Principles of real-time programming,” in Proc. 2nd Int. Workshop Embedded Software (EMSOFT), LNCS 2491, Springer Verlag, 2002, pp.61-75.