MDE benefits for distributed, real time and embedded systems

IFIP International Federation for Information Processing

Volumn 225, Issue , 2006, Pages 15-24

  Terrier, François ^a   Gérard, Sébastien ^a  

^a NONE

Author keywords

Embedded system; Model driven engineering; Real time; UML profile

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS;

EMBEDDED REAL TIME SYSTEMS; MODEL-DRIVEN ENGINEERING; NON-FUNCTIONAL REQUIREMENTS; REAL TIME; REAL-TIME AND EMBEDDED SYSTEMS; SYSTEM FUNCTIONALITY; UML PROFILES; VALIDATION PROCESS;

EMBEDDED SYSTEMS;

EID: 33846709751     PISSN: 15715736     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-39362-9_3     Document Type: Conference Paper

References (15)

1. OMG, "UML Profile for Schedulability, Performance, and Time, vl.1," formal/05-01-02, 2005.
2. OMG, "UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics & Mechanisms," ptc/04-09-01, 2004.
3. OMG, "UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) RFP", realtime/05-02-06.
4. S. Gérard and F. Terrier, "UML for Real-Time," chapter in "UML for Real: Design of Embedded Real-Time Systems," L. Lavagno, G. Martin, and B. Selic, editors, Kluwer Academic Publishers, Boston, 2003, p. 369.
5. F. Terrier and S. Gérard, "Real Time System Modeling with UML: Current Status and Some Prospects," in 2nd Workshop on SDL and MSC, 2000, Grenoble, France.
6. A. Lanusse, S. Gérard, and F. Terrier, "Real-Time Modeling with UML: The ACCORD Approach," in "UML'98: Beyond the Notation," 1998, Mulhouse, France, J. Bezivin et P.A. Muller eds.
7. S. Gérard, N. S. Voros, C. Koulamas, and F. Terrier, "Efficient System Modeling of Complex Real-time Industrial Networks Using The ACCORD/UML Methodology," presented at Architecture and Design of Distributed Embedded Systems (DIPES 2000), B. Kleinjohann, Kluwer Academic Publishers, p. 10, Paderborn University, Germany, October 18-19 2000.
8. S. Gérard, F. Terrier, and Y. Tanguy, "Using the Model Paradigm for Real-Time Systems Development: ACCORD/UML," presented at OOIS'02-MDSD, J.-M. Bruel and Z. Bellahsène eds. Springer, pp 260-269, Montpellier, September 2002.
9. C. Mraidha, S. Gérard, F. Terrier, and J. Benzakki, "A Two-Aspect Approach for a Clearer Behavior Model," presented at the 6th IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC'2003), T. N. P. Puschner, A. Ghafoor eds., IEEE Computer Society, ISBN 0-7695-1928-8, pp 213-220, Hakodate, Hokkaido, Japan, 14-16 May 2003.
10. P. Tessier, S. Gérard, C. Mraidha, F. Terrier, and J.-M. Geib, "A Component-Based Methodology for Embedded System Prototyping," presented at 14th IEEE International Workshop on Rapid System Prototyping (RSP'03), IEEE Computer Society, ISBN 0-7695-1943-1, pp 9-15, San Diego, USA, 9-11 June 2003.
11. S. Gérard, C. Mraidha, F. Terrier, and B. Baudry, "A UML-Based Concept for High Concurrency: The Real-Time Object," presented at The 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2004), T. A. a. I. L. J. Gustafsson, IEEE Computer Society, ISBN 0-7695-2124-X, pp 64-67, Vienna, Austria, 12-14 May 2004.
12. N. Guelfi, A. Schoos, S. Gérard, and F. Terrier, "EUDEMES: Component-Based Development Methods for Small-Size Embedded Systems," ERCIM NEWS, 2003, vol. 52 (Embedded Systems), p. 64
13. C. Mraidha, S. Gérard, Y. Tanguy, H. Dubois, and R. Schneckenburger, "Action Language Notation for Accord/UML," CEA DTSI/SOL/LLSP/04-163/ HD, 2004.
14. D. Lugato, N. Rapin, and J.-P. Gallois, "Verification and tests generation for SDL industrial specifications with the AGATHA," presented at Workshop on Real-Time Tools, CONCUR'01, pp, 2001
15. W3C, "Mathematical Markup Language (MathML) Version 2.0 (Second Edition)," http://www.w3.org/TR/2003/REC-MathML2-20031021/. 2003.