Modeling time(s)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4735 LNCS, Issue , 2007, Pages 559-573

  André, Charles ^a   Mallet, Frédéric ^a   De Simone, Robert ^a  

^a INRIA   (France)

Author keywords

Real time embedded; UML profile

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; FEATURE EXTRACTION; REAL TIME SYSTEMS; SOFTWARE ARCHITECTURE;

METAMODELS; MODEL-DRIVEN ENGINEERING; REAL-TIME EMBEDDED;

UNIFIED MODELING LANGUAGE;

EID: 38049032301     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75209-7_38     Document Type: Conference Paper

References (15)

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)
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)
3. Jantsch, A.: Modeling Embedded Systems and SoCs - Concurrency and Time in Models of Computation. Morgan Kaufman, San Francisco (2003)
4. Darte, A., Robert, Y., Vivien, F.: Scheduling and Automatic Parallelization. Birkhaüser (2000)
5. Feautrier, P.: Compiling for massively parallel architectures: a perspective. Microprogramming and Microprocessors (41), 425-439 (1995)
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)
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)
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)
9. ITEA: EAST-ADL -The EAST-EEA Architecture Description Language. ITEA Project Version 1.02 (2004)
10. Graf, S., Ober, I., Ober, I.: A real-time profile for UML. STTT, Software Tools for Technology Transfer 8(2), 113-127 (2006)
11. OMG: Systems Modeling Language (SysML) Specification, OMG document number: ad/2006-03-01 (2006)
12. SAE: Architecture Analysis and Design Language (AADL). document number: AS5506/1 (2006)
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)
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)
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)