Leveraging analysis-aided design decision knowledge in UML-based development of embedded systems

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 55-62

  Espinoza, Huascar ^a   Servat, David ^a   Gérard, Sébastien ^a  

^a CEA SACLAY   (France)

Author keywords

Design space exploration; Embedded systems; Model driven engineering; Trade off analysis; UML

Indexed keywords

DESIGN; ECONOMIC AND SOCIAL EFFECTS; EMBEDDED SOFTWARE; KNOWLEDGE MANAGEMENT; MODELING LANGUAGES; SYSTEMS ANALYSIS;

CURRENT MODELING; DESIGN DECISIONS; DESIGN SPACE EXPLORATION; MODEL-DRIVEN ENGINEERING; TECHNICAL LIMITATIONS; TRADE-OFF ANALYSIS; UML-BASED DEVELOPMENT; VALIDATION AND VERIFICATION;

EMBEDDED SYSTEMS;

EID: 79959411581     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1370062.1370078     Document Type: Conference Paper

References (17)

1. J. L. Medina, M. G. Harbour, and J.M. Drake: MAST RealTime View: A Graphic UML Tool for Modeling ObjectOriented Real-Time Systems. Proc. of the 22th IEEE RealTime Systems Symposium, pp. 245-256. December 2001.
2. R. Chen, M. Sgroi, G. Martin, L. Lavagno, A. L. Sangiovanni-Vincentelli, J. Rabaey: UML for Real: Design of Embedded Real-Time Systems, Edited by B. Selic, L. Lavagno, G. Martin, pp. 189-270, Kluwer Academic Publishers, May 2003.
3. S. Graf, I. Ober, I. Ober: A real-time profile for UML. STTT, Int. Journal on Software Tools for Technology Transfer Springer Verlag. 2004.
4. I. T. Union, "Specification and Description Language", International Telecommunication Union Recommendation Z. 100,1992.
5. S. Gérard, H. Espinoza. Rationale of the UML Profile for MARTE (Book Chapter). "From MDD Concepts to Experiments and Illustrations, pp. 43-52 Sept 2006.
6. B. Selic, "Model-Driven Development: Its Essence and Opportunities", ISORC 2006: pp 313-319, Apr 2006.
7. Object Management Group, "UML Profile for Schedulability, Performance, and Time", Version 1.1.2005. OMG document: formal/05-01-02.
8. Object Management Group. Unified Modelling Language: Superstructure Version 2.1.1 formal/2007-02-03.
9. H. Espinoza, H. Dubois, S. Gerard, J. Medina, D.C. Petriu, M. Woodside, "Annotating UML Models with NonFunctional Properties for Quantitative Analysis", Proc. of MoDELS'2005 Satellite Events, Lecture Notes in Computer Science, Springer, 2006.
10. Object Management Group: UML Profile for Modelling and Analysis of Real-Time and Embedded systems (MARTE), Initial Submission: ProMARTE team. 2005
11. Object Management Group: Systems Modeling Language (SysML) Specification, V 1.0,2007.
12. S. Künzli, "Efficient design space exploration for embedded systems", PhD Thesis, Eidgenössische Technische Hochschule ETH Zürich, April 2006.
13. R. Racu, A. Hamann, R. Ernst, B. Mochocki, X. Sharon Hu: "Methods for power optimization in distributed embedded systems with real-time requirements". CASES 2006: p. 379-388
14. H. Espinoza, "An Integrated Model-Driven Framework for Specifying and Analyzing Non-Functional Properties of Real-Time Systems", PhD Thesis, University of Evry, FRANCE. September 2007.
15. A. Lanusse, S. Gerard, and F. Terrier, Real-Time Modeling with UML: The ACCORD Approach, Proc. 1st International Conference on the Unified Modeling Language ("UML"' 98), Springer (LNCS vol. 1618), 1998 (pp.319-335).
16. F. Bachmann, L. Bass, and M. Klein. Illuminating the fundamental contributors to Software Architecture Quality. CMU/SEI-2002-TR-025
17. T. Johnson, C. Paredis, R. Burkhart/'Integrating Models and Simulations of Continuous Dynamics into SysML", in Modelica Conference 2008, Jan 2008.