Challenges in combining SysML and MARTE for model-based design of embedded systems

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

Volumn 5562 LNCS, Issue , 2009, Pages 98-113

  Espinoza, Huascar ^a   Cancila, Daniela ^a   Selic, Bran ^b   Gérard, Sébastien ^a  

^a CEA LIST   (France)

^b Malina Software Corp   (Canada)

Author keywords

Embedded systems; MARTE; Model based engineering; SysML

Indexed keywords

ABSTRACTION LEVEL; BASE LANGUAGE; LANGUAGE FEATURES; MARTE; MODEL BASED APPROACH; MODEL-BASED DESIGN; MODEL-BASED ENGINEERING; MODELLING FRAMEWORK; SYSML; VALIDATION AND VERIFICATION;

ABSTRACTING; LINGUISTICS;

EMBEDDED SYSTEMS;

EID: 71049135305     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02674-4_8     Document Type: Conference Paper

References (23)

1. Albinet, A., Begoc, S., Boulanger, J.-L., Casse, O., Dal, I., Dubois, H., Lakhal, F., Louar, D., Peraldi-Frati, M.-A., Sorel, Y., Van., Q.-D.: The MeMVaTEx methodology: from requirements to models in automotive application design. In: 4th European Congress ERTS Embedded Real Time Software. Toulouse, France (January 2008)
2. André, C.: Time Modeling in MARTE. In: FDL 2007 Forum on specification and Design Languages, Barcelona, Spain (2007)
3. Cancila, D., Passerone, R.: Functional and structural properties in the Model-Driven Engineering approach. In: ETFA 2008 (2008)
4. Bendraou, R., Desfray, P., Gervais, M.-P., Muller, A.: MDA Tool Components: a proposal for packaging know-how in model driven development. Software and System Modeling 7, 329-343 (2008)
5. Cuccuru, A., Gérard, S., Radermacher, A.: Meaningful Composite Structures - On the Semantics of Ports in UML2. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301. Springer, Heidelberg (2008)
6. Emery, D., Hilliard, R.: Updating IEEE 1471: architecture frameworks and other topics. In: Seventh Working IEEE/IFIP Conference on Software Architecture WICSA (2008)
7. Espinoza, H., Servat, D., Gérard, S.: Leveraging Analysis-Aided Design Decision Knowledge in UML-Based Development of Embedded Systems. In: SHARK at ICSE 2008, Leipzig (May 2008)
8. France, R., Fleurey, F., Reddy, R., Baudry, B., Ghosh, S.: Providing Support for Model Composition in Metamodels. In: Proceedings of EDOC 2007, Annapolis, USA (October 2007)
9. Gray, J., Tolvanen, J.-P., Kelly, S., Gokhale, A., Neema, S., Sprinkle, J.: Domain-Specific Modeling. In: CRC Handbook of Dynamic System Modeling. CRC Press, Boca Raton (2007)
10. Hause, M., Thom, F.: Building Bridges Between Systems and Software with SysML and UML. In: INCOSE Intl. Symposium (June 2008)
11. INTERESTED EU Project: Interoperable embedded systems Tool-chain for enhanced rapid design, prototyping and code generation, http://www.interested- ip.eu/index.html
12. Johnson, T., Jobe, J., Paredis, C., Burkhart, R.: Modeling Continuous System Dynamics in SysML. In: Proceedings of the IMECE 2007 (November 2007)
13. Lagarde, F., Espinoza, H., Terrier, F., André, C., Gérard, S.: Leveraging Patterns on Domain Models to Improve UML Profile Definition. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 116-130. Springer, Heidelberg (2008)
14. Lambda Project, Lambda Libraries for Applying Model Based Development Approaches, Technical Annex (May 2008)
15. Maier, M.: System and Software Architecture Reconciliation. Systems Engineering Journal, 146-159 (2006)
16. OMG, Unified Modeling Language, UML™ Superstructure, V2.1.2
17. OMG, Systems Modeling Language SysML™, V1.0
18. OMG, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta 2
19. SATURN Project: SysML bAsed modeling, architecTUre exploRation, simulation and syNthesis for complex embedded systems, http://www.saturnsysml.eu
20. Selic, B.: From Model-Driven Development to Model-Driven Engineering. In: Keynote talk at ECRTS 2007 (July 2007)
21. Selic, B.: A Systematic Approach to Domain-Specific Language Design Using UML. In: ISORC 2007, pp. 2-9 (2007)
22. Soares, M.S., Vrancken, J.L.M.: A Proposed Extension to the SysML Requirements diagram. In: IASTED International Conference on Software Engineering, Austria (2008)
23. Sifakis, J.: Embedded Systems - Challenges and Work Directions. In: Higashino, T. (ed.) OPODIS 2004. LNCS, vol. 3544, pp. 184-185. Springer, Heidelberg (2005)