Imran Rafiq Quadri, Ian Gray, Leandro Soares Indrusiak and Andrey Sadovykh, "MADES: A SysML/MARTE high level methodology for real-time and embedded systems", Poster Presentation at Workshop on Design Tools and Architectures for Multi-Core Embedded Computing Platforms", in 7th International conference on High-Performance and Embedded Architectures and Compilers, Paris, France January 2012 .

Imran Rafiq Quadri, Leandro Soares Indrusiak and Andrey Sadovykh, "MADES: A SysML/MARTE high level methodology for real-time and embedded systems", International Conference on Embedded Real Time Software and Systems", in Proc. of the International Conference on Embedded Real Time Software and Systems (ERTS2 2012), Toulouse, France - February 2012 (To Appear).
Web Link: http://www.erts2012.org/

Abstract: Rapid evolution of real-time and embedded systems (RTES) is continuing at an increasing rate, and new methodologies and design tools are needed to reduce design complexity while decreasing development costs and integrating aspects such as verification and validation. Model-Driven Engineering offers an interesting solution to the above mentioned challenges and is being widely used in various industrial and academic research projects. This paper presents the EU funded MADES project which aims to develop novel model-driven techniques to improve existing practices in development of RTES for avionics and surveillance embedded systems industries. 

Andrey Sadovykh, Brian Elvesæter, Philippe Desfray, ArneJ. Berre, and Einar Landre, "Enterprise Architecture Modeling with SoaML using BMM and BPMN - MDA Approach in Practice", in Proc. of the IEEE Central and Eastern European Software Engineering Conference in Russia 2010 (CEE-SECR 2010), Moscow, Russia, October 2010.
Web Link: http://cee-secr.org/lang/en-en/regular-talks/enterprise-architecture-modeling-with-soaml-using-bmm-and-bpmn/

Abstract: The Service oriented architecture Modeling Language (SoaML) is a new specification from the Object Management Group (OMG) that intends to bridge the gap between business and IT models. Nevertheless, the specification is very vague on the methodology aspects and practical means for integration with OMG business level languages – Business Motivation Model (BMM) and Business Process Modeling Notation (BPMN). SHAPE FP7 EU project addressed these issues by means of a dedicated Model Driven Architecture (MDA) based methodology and tool support. The results were validated with industrial case studies by Statoil and Saarstahl.

In this paper we focus on our experience with SoaML obtained with Statoil case study, briefly describe the developed Model Driven Architecture (MDA) based methodology for modeling enterprise architectures with BMM, BPMN and SoaML, which we illustrate with a “Discount Voyages” example. Finally, we present Statoil case study and outline the future research directions.

Keywords: Enterprise Architecture; SoaML; BMM; BPMN; MDA.

Alessandra Bagnato, Andrey Sadovykh, Richard F. Paige, Dimitrios S. Kolovos, Luciano Baresi, Angelo Morzenti, Matteo Rossi, "MADES: Embedded Systems Engineering Approach in the Avionics Domain", in Proc. of HoPES 04 workshop at the European Conference on Modeling - Foundations and Applications (ECMFA 2010), Paris, France, June 2010. (download)

Abstract: This article introduces the MADES Project. MADES is developing new model-driven technologies to improve current practices in the development of embedded systems for the avionics and surveillance embedded systems industries, in particular taking advantage of MARTE, the OMG UML profile dedicated to Modeling and Analysis of Real time and Embedded Systems. The project is applying a holistic approach in building new tools and technologies that support design, validation, simulation, and code generation, while providing better support for component reuse. The tools and technologies developed within MADES are driven by requirements from industrial users in the Avionics and Defense domains and will undergo extensive validation through use in the development of new applications for avionics and radar surveillance.

Keywords: Advanced Model Driven Architecture, Embedded Systems Design, MARTE

Andrey Sadovykh, Etienne Brosse, Vasilios Chouliaras, Suresh Radia, "ENOSYS: Model Driven Design Flow for Systems-on-Chip", in Proc. of HoPES 04 workshop at the European Conference on Modeling - Foundations and Applications (ECMFA 2010), Paris, France, June 2010. (download)

Abstract: Today, SoC vendors realize that critical decisions must be made long before development teams engage in the hardware and software design for new SoC and programmable SoC-based products. It is becoming clear that hardware-software design and verification must form part of a single, unified effort, whereas the methodologies currently available were intended to aid either hardware-only or software-only development. ENOSYS FP7 project intends to provide an integrated model driven design flow for a rapid development of SoC embedded systems a) by the automated generation of SystemC code from the high-level specification; b) by rapidly determining near-optimal solutions for hardware/software partitioning. This article overviews the motivation, addressed challenges, approach and first lessons learnt by the project.

Keywords: MDE, MARTE, SysML, SoC, integrated design flow, co-design, design space exploration, automated partitioning, automated hardware and software synthesis

Andrey Sadovykh, Lionel Vigier,Andreas Hoffmann, Juergen Grossmann, Tom Ritter, Eduardo Gomez and Oleg Estekhin, "Architecture Driven Modernization in Practice – Study Results", 14th IEEE International Conference on Engineering of Complex Computer Systems, Potsdam, Germany, June 2009

Abstract: The European Space Agency (ESA) as many other companies is interested in capitalizing its business assets. With the space programmes often lasting 10 to 20 years, the software system migration problems arise frequently. The Object Management Group promotes the Model Driven Architecture (MDA) concept and proposes the Architecture Driven Modernization (ADM) approach for model-based platform migration. SOFTEAM, Fraunhofer FOKUS and GTI6 performed an ESA-funded study on Round Trip Engineering for Space Systems. During this study the state-of-the-art methods and tools for ADM and MDA were combined with state-of-the-art model based testing (MBT) approaches to safeguard the modernization process. Both techniques were assessed by applying them to a real-life use case – the migration and testing of a distributed archive and versioning system. In this article we overview the combined platform migration and testing methodology used in the project and summarize our experience during its application to the ESA’s File Archive System. We specially focus on real life experience with MBT and discuss lessons learned.

Keywords: MDA, ADM, OMG, platform migration, model based testing.

Andrey Sadovykh, Lionel Vigier, Eduardo Gomez, Andreas Hoffmann, Juergen Grossmann, Tom Ritter and Oleg Estekhin, "On Study Results: Round Trip Engineering of Space Systems", ECMDA 2009, Twente, Netherlands, June 2009 (download)

Abstract: Software developed for the space domain often has to deal with extremely long mission times (sometimes in the order of 15 to 20 years). During the lifetime of a mission programming platforms evolve and sometimes disappear forcing migrations or updates. Migration can also be triggered by the appearance of new platforms that can improve scalability, performance. European Space Agency (ESA) is interested in modernization approaches that simplify platform migration and that preserve the business values of systems. The Architecture Driven Modernization (ADM) promoted by the Object Management Group (OMG) proposes to recover the models which represent the business value and proceed with the platform migration in a forward MDA process. This article provides results of a study dedicated to assess the state-of-the-art tools and methods for model driven platform migration, including model-based testing and metrication.

Keywords: MDA, ADM, M2M, round trip engineering, PSM2PIM, U2TP, TTCN-3, model mining, model-based testing, model metrication.

Andrey Sadovykh and Antonin Abherve, "MDE Project Execution Support via SPEM Process Enactment", ECMDA 2009, Second Model-Driven Tool & Process Integration Workshop, Twente, Netherlands, June 2009 (download)

Abstract: In Model Driven Engineering (MDE) large-scale projects the tasks and activities may last long, e.g. several days, weeks, months. That is why it is important that the personnel involved should timely obtain the full task information and be notified on the progress. Recently, the Object Management Group (OMG) proposes a formal language for modelling structured software engineering processes – SPEM. The standard makes slowly his way in the MDE world and several methodologies are now available. In this article we describe a method to support execution of the project plans for SPEM-define methodologies. This method includes: (1) creation of a project plan, i.e. instantiation of a SPEM-defined methodology; (2) linking of the methodology and the project plan information with a human interaction service; (3) Seamless generation of executable BPEL script. The method implementation is also presented in this article providing a comprehensive illustration and a representative example.

Keywords: SPEM, BPMN, BPEL, process enactment, human interactions.

Philippe Desfray, "Model-Driven Documentation, The art of authoring model-driven documentation", ECMDA 2009, Fourth Workshop “From code centric to model centric software engineering: Practices, Implications and ROI”, Twente, Netherlands, June 2009 (download)

Abstract: MDA can provide great services to document model driven applications. However, we need to define how to use it and what the nature of a good documentation is. Producing documentation is a specific matter that differs from code generation issues: its nature is flexible, not « formatted » as code generation and there are no clear criteria to determine what a good documentation is and to check it. Here is the essence of the problem: it is very hard within existing software developments to find good documentations and to define what the quality criteria exactly are. This paper describes the documentation problems, provides rules for producing good documentations and details mechanisms that MDA technologies shall provide in order to support effective documentation generation.

Keywords: Model Driven Documentation. MDA. Methodologies and MDA. Model to Text. Document template.

Andrey Sadovykh, Christian Hahn, Dima Panfilenko, Omair Shafiq and Andreas Limyr, "SOA and SHA Tools Developed in SHAPE Project", ECMDA 2009, Tools and Consultancy Session, Twente, Netherlands, June 2009 (download)

Abstract: This article presents the SHAPE project tool set dedicated to Model Driven Engineering (MDE) methodology for Service Oriented Architectures (SOA) and Semantically-enabled Heterogeneous service Architectures (SHA).

Keywords: SOA, SHA, SoaML, SHAPE, Web Services, Agents, CIM, PIM, PSM.