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.
KeywordsUML profile real-time embedded
Unable to display preview. Download preview PDF.
- 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.Jantsch, A.: Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation. Morgan Kaufman, San Francisco (2003)Google Scholar
- 4.Darte, A., Robert, Y., Vivien, F.: Scheduling and Automatic Parallelization. Birkhaüser (2000)Google Scholar
- 5.Feautrier, P.: Compiling for massively parallel architectures: a perspective. Microprogramming and Microprocessors (41), 425–439 (1995)Google Scholar
- 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.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.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.ITEA: EAST-ADL — The EAST-EEA Architecture Description Language. ITEA Project Version 1.02 (2004)Google Scholar
- 11.OMG: Systems Modeling Language (SysML) Specification. OMG document number: ad/2006-03-01 (2006)Google Scholar
- 12.SAE: Architecture Analysis and Design Language (AADL). document number: AS5506/1 (2006)Google Scholar
- 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.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.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