Multi-stage deployment of robot control software

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 8, Issue PART 1, 2006, Pages

  Robertz, Sven Gestegård ^a   Nilsson, Anders ^a   Nilsson, Klas ^a   Haage, Mathias ^a  

^a LUND UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; EMBEDDED SYSTEMS; REAL TIME SYSTEMS; ROBOTS; SOFTWARE TESTING; VERIFICATION;

CONTROL SOFTWARE; EMBEDDED PLATFORMS; ENABLING TECHNOLOGIES; HARD REAL-TIME; ROBOT CONTROL SOFTWARE; RUNTIME ENVIRONMENTS; STANDARD SOFTWARE; TOOLS AND METHODS;

JAVA PROGRAMMING LANGUAGE;

EID: 80051580428     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20060906-3-it-2910.00086     Document Type: Conference Paper

References (13)

1. Barry W. Boehm. Software Engineering Economics. Prentice Hall PTR, October 1981. ISBN: 0138221227.
2. J. Bowen and V. Stavridou. Safety-critical systems, formal methods and standards. Software Engineering Journal, July 1993.
3. I. Crnkovic and M. Larsson, editors. Building reliable component-based software systems. Artech house publishers, 2002.
4. Mathias Haage and Klas Nilsson. On the scalability of visualization in manufacturing. In In Proceedings of ETFA '99, 1999.
5. Roger Henriksson. Scheduling Garbage Collection in Embedded Systems. PhD thesis, Department of Computer Science, Lund Institute of Technology, July 1998.
6. T. Henzinger, C. Kirsch, M. Sanvido, and W. Pree. From control models to real-time code using giotto. IEEE control systems magazine, February 2003.
7. Anders Ive, Anders Blomdell, Torbjörn Ekman, Roger Henriksson, Anders Nilsson, Klas Nilsson, and Sven Gestegård Robertz. Garbage collector interface. In Proceedings of NWPER 2002, August 2002.
8. H. Kopetz, R. Zainlinger, G. Fohler, H. Kantz, P. Puschner, andW. Schütz. The design of realtime systems: from specification to implementation and verification. Software Engineering Journal, May 1991.
9. Anders Nilsson. Tailoring compilation of Java for Real-Time Systems. PhD thesis, Department of Computer Science, Lund University, 2006.
10. Anders Nilsson, Anders Ive, Torbjörn Ekman, and Görel Hedin. Implementing java compilers using ReRAGs. Nordic Journal of Computing, 11(3):213-234, 2004.
11. Paul Pettersson. Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice. PhD thesis, Uppsala University, 1999.
12. Sven Gestegård Robertz. Automatic memory management for flexible real-time systems. PhD thesis, Department of Computer Science, Lund University, 2006.
13. Sven Gestegård Robertz and Roger Henriksson. Time-triggered garbage collection-robust and adaptive real-time GC scheduling for embedded systems. In Proceedings of LCTES'03. ACM Press, June 2003.