Software Real-Time Resource Modeling

  • Frédéric Thomas
  • Sébastien Gérard
  • Jérôme Delatour
  • François Terrier

Abstract

Setting up truly flexible design processes becomes an important challenge to face with the increasing complexity, the shorter time to market constraints and the constant evolution of Real-Time Embedded (RTE) software requirements. One promised solution is the model driven development (MDD) based on the principle of separating the application description from its platform specific implementation. Nowadays, this is often done through dedicated model transformations which implicitly represent the platform model. Specific transformations have shown their limits as soon as we want to optimize the implementation. In this context, a good compromise could be to make explicit a platform model. This is one of the challenges addressed by the Object Management Group (OMG) through the definition of the standard profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE). In particular, the capabilities to model software real-time embedded resources will allow describing explicitly the RTE software multitasking platform characteristics. It will ease their integration in a flexible design process (both to produce implementation and to perform accurate scheduling of performance analysis).

Keywords

Platform modeling MARTE UML profile software modeling multitasking 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    The Open Group Base Specifications, Portable Operating System Interface (POSIX), ANSI/IEEE Std 1003.1, 2004Google Scholar
  2. 2.
    The OSEK/VDX Group, OSEK/VDX OS specification, Version 2.2.3, http://portal.osek-vdx.org/files/pdf/specs/os223.pdf, 2005
  3. 3.
    The Airlines electronic engineering committee, Avionics Application Software Standard Interface, ARINC Specification 653–1, Aeronautical radio, Inc., Annapolis, MD, October 2003Google Scholar
  4. 4.
    The Object Management Group, MDA guide version 1.1, http://www.omg.org/mda/, June 2003
  5. 5.
    The Object Management Group, UML 2.1.1 OCL 2nd revised submission, 2007, OMG document: ad/2007–02-03Google Scholar
  6. 6.
    The Object Management Group, UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE), RFP 2005, OMG document: realtime/05–02-06Google Scholar
  7. 7.
    B. Selic (2005), On Software Platforms, Their Modeling with UML2, and Platform-Independent Design, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC’05), IEEE Computer Society, Washington, DC, pp. 15–21CrossRefGoogle Scholar
  8. 8.
    A. Sangiovanni-Vincentelli, G. Martin (2001), Platform-based design and software design methodology for embedded systems, Design & Test of Computers, Volume 18, Number 6, November–December, IEEE Computer Society, Los Alamitos, CA, USA, pp. 23–33Google Scholar
  9. 9.
    Y. Tanguy, S. Gérard, A. Radermacher, F. Terrier (2006), Model Driven Engineering for Real Time Embedded Systems, In 3rd European Congress Embedded Real Time Software (ERTS), Toulouse, FranceGoogle Scholar
  10. 10.
    The Object Management Group, UML Profile for Schedulability, Performance, and Time, Version 1.1, 2005. OMG document: formal/05–01-02Google Scholar
  11. 11.
    P. Kukkala, J. Riihimâki, M. Hämäläinen, K. Kronlöf (2005), UML 2.0 Profile for Embedded System Design, Automation and Test in Europe Conference (DATE 2005), pp. 710–715Google Scholar
  12. 12.
    R. Chen, M. Sgroi, L. Lavagno, Grant Martin, A. Sangiovanni-Vincentelli, J. Rabaey (2003), UML and Platform-based Design, UML for Real: Design of Embedded Real-Time Systems, Kluwer, Norwell, MA, USA, pp. 107–126Google Scholar
  13. 13.
    VxWorks 5.5 Documentation Page, http://www.windriver.com
  14. 14.
    RTAI 3.1 Documentation Page, http://www.rtai.org/
  15. 15.
    The OSEK/VDX Group, OIL specification Version 2.5, http://portal.osek-vdx.org/files/pdf/specs/oil25.pdf, 2004
  16. 16.
    F. Jouault and I. Kurtev (2005), Transforming Models with ATL, Proceedings of the Model Transformations in Practice Workshop at MoDELS 2005, Montego Bay, JamaicaGoogle Scholar

Copyright information

© Springer Science + Business Media B.V 2008

Authors and Affiliations

  • Frédéric Thomas
    • 1
  • Sébastien Gérard
    • 1
  • Jérôme Delatour
    • 2
  • François Terrier
    • 1
  1. 1.CEA LISTGif sur YvetteFrance
  2. 2.ESEO TRAMEAngersFrance

Personalised recommendations