Abstract

Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logical (rather than physical) nature, even possibly multiform. The compilation/synthesis of heterogeneous applications onto architecture platforms then largely amounts to adjusting the former logical time(s) demands onto the latter physical time abilities. Many distributed scheduling techniques pertain to this approach of “time refinement”.

We provide extensive Time and Allocation metamodels that open the possibility to cast this approach in a Model-Driven Engineering light. We give a UML representation of these concepts through two subprofiles, parts of the foundations of the forthcoming OMG UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE). Time modeling also allows for a precise description of time-related entities and their associated timed properties.

Keywords

UML profile real-time embedded 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Lee, E.A., Sangiovanni-Vincentelli, A.L.: A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 17(12), 1217–1229 (1998)CrossRefGoogle Scholar
  2. 2.
    Buck, J., Ha, S., Lee, E., Messerschmitt, D.: Ptolemy: A framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation, special issue on Simulation Software Development 4, 155–182 (1994)Google Scholar
  3. 3.
    Jantsch, A.: Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation. Morgan Kaufman, San Francisco (2003)Google Scholar
  4. 4.
    Darte, A., Robert, Y., Vivien, F.: Scheduling and Automatic Parallelization. Birkhaüser (2000)Google Scholar
  5. 5.
    Feautrier, P.: Compiling for massively parallel architectures: a perspective. Microprogramming and Microprocessors (41), 425–439 (1995)Google Scholar
  6. 6.
    OMG: UML 2.1 Superstructure Specification, Object Management Group, Inc., 492 Old Connecticut Path, Framing-ham, MA 01701. OMG document number: ptc/2006-04-02 (2006)Google Scholar
  7. 7.
    Selic, B.: On the semantic foundations of standard uml 2.0. In: Bernardo, M., Corradini, F. (eds.) SFM 2004. LNCS, vol. 3185, pp. 181–199. Springer, Heidelberg (2004)Google Scholar
  8. 8.
    OMG: UML Profile for Schedulability, Performance, and Time Specification, Object Management Group, Inc., 492 Old Connecticut Path, Framing-ham, MA 01701. OMG document number: formal/05-01-02 (v1.1) (2005)Google Scholar
  9. 9.
    ITEA: EAST-ADL — The EAST-EEA Architecture Description Language. ITEA Project Version 1.02 (2004)Google Scholar
  10. 10.
    Graf, S., Ober, I., Ober, I.: A real-time profile for UML. STTT, Software Tools for Technology Transfer 8(2), 113–127 (2006)CrossRefGoogle Scholar
  11. 11.
    OMG: Systems Modeling Language (SysML) Specification. OMG document number: ad/2006-03-01 (2006)Google Scholar
  12. 12.
    SAE: Architecture Analysis and Design Language (AADL). document number: AS5506/1 (2006)Google Scholar
  13. 13.
    OMG: UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE), Request for proposals, Object Management Group, Inc., 492 Old Connecticut Path, Framing-ham, MA 01701. OMG document number: realtime/2005-02-06 (2005)Google Scholar
  14. 14.
    André, C., Mallet, F., Peraldi-Frati, M.A.: A multiform time approach to real-time system modeling: Application to an automotive system. Technical Report ISRN I3S/RR–2007–14–FR, I3S laboratory, Sophia-Antipolis, France (2007)Google Scholar
  15. 15.
    OMG: Object Constraint Language, version 2.0, Object Management Group, Inc., 492 Old Connecticut Path, Framing-ham, MA 01701. OMG document number: formal/06-05-01 (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Charles André
    • 1
  • Frédéric Mallet
    • 1
  • Robert de Simone
    • 1
  1. 1.I3S, Université de Nice-Sophia Antipolis, CNRS, F-06903 Sophia Antipolis, INRIA, F-06902 Sophia Antipolis 

Personalised recommendations