» Download Article

Authors
Sven Gestegard Robertz; Anders Nilsson; Klas Nilsson; Mathias Haage

Identifier
10.3182/20060906-3-IT-2910.00086

Index Terms
No keywords available

Abstract
For future robot control, there is a strong need for tools and methods supporting the development and deployment of control software. To this end, we propose a method for developing embedded software based on the standard Java language and multi-stage deployment and verification towards the embedded platform. The proposed method allows us to develop embedded Java software on the desktop using standard software tools for implementation, and the majority of testing and verification. The subsequent deployment is done in stages from pure Java to hard real-time embedded C. The source code of the application remains unchanged during all the stages, where components of the platform are changed one at a time. That makes it easier to find and cope with platform-related problems due to different run-time environments and thread models. As enabling technology we use the LJRT platform, a novel solution for hard real-time Java in embedded systems based on Java to C translation, real-time GC, and an off-the-shelf, real-time OS (e.g. Linux/RTAI). The proposed method has been experimentally tested in the development of a robot control application.

References

[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, and W. Schütz. The design of real-time
     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.