Multiform time in UML for real-time embedded applications

Proceedings - 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2007

Volumn , Issue , 2007, Pages 232-237

  Andre C ^a   Mallet, F ^a   Peraldi Frati, M A ^a  

^a UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AND REAL TIME; EMBEDDED APPLICATIONS; INTERNATIONAL CONFERENCES; REACTIVE SYSTEMS; UML PROFILES;

AUTOMOTIVE INDUSTRY; COMPUTER SIMULATION LANGUAGES; COMPUTER SYSTEMS; EMBEDDED SYSTEMS; MODELS; SEMICONDUCTOR DEVICE MODELS; UNIFIED MODELING LANGUAGE;

REAL TIME SYSTEMS;

EID: 46449135427     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.2007.51     Document Type: Conference Paper

References (18)

1. C. André, R Mallet, and M.-A. Peraldi-Frati. A multiform time approach to real-time system modeling: application to In Symposium on Industrial Embedded Systems 2007. IEEE, July 2007.
2. L. Apvrille, P. Saqui-Sannes, and F. Khendek. TURTLE-P: a uml profile for the formal validation of critical and distributed systems. Software and Systems Modeling (SoSyM), 5(4):449-466, December 2006.
3. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9): 1270-1282, September 1991.
4. A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1):64-83, 2003.
5. Bosch. Bosch Automotive handbook, 6th Edition. Bentley Publishers, 2004.
6. S. Graf, I. Ober, and I. Ober. A real-time profile for UML. STTT, Software Tools for Technology Transfer, 8(2): 113-127, April 2006.
7. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978.
8. D. G. Messerschmitt. Synchronization in digital system design. IEEE J. Select. Areas Commun., 8(8): 1404-1419, October 1990.
9. OMG. Enhanced View of Time Specification, October 2004. OMG document number: formal/04-10-04 (v1.2).
10. OMG. UML profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE), Request for proposals, February 2005. OMG document number: realtime/2005-02-06.
11. OMG. UML Profile for Schedulability, Performance, and Time Specification, January 2005. OMG document number: formal/05-01-02 (v1.1).
12. OMG. Systems Modeling Language (SysML) Specification, April 2006. OMG document number: ad/2006-03-01.
13. OMG. UML 2.1 Superstructure Specification, April 2006. OMG document number: ptc/2006-04-02.
14. I. project. EAST-ADL: The EAST-EEA Architecture Description Language, June 2004. ITEA Project Version 1.02.
15. F. A. Schreiber. Is Time a Real Time? - An Overview of Time Ontology in Informatics, volume F127 of NATO ASI, pages 283-307. Springer Verlag, 1994.
16. R. Schwarz and F. Mattern. Detecting causal relationships in distributed computations: In search of the holy grail. Distributed Computing, 7(3): 149-174, 1994.
17. B. Selic. On the semantic foundations of standard uml 2.0. In SFM-RT 2004, volume 3185 of LNCS, pages 181-199. Springer-Verlag, 2004.
18. S.Standards. SAE Architecture Analysis and Design Language (AADL), June 2006. document number: AS5506/1.