Supporting a Multi-formalism Model Driven Development Process with Model Transformation, a TOPCASED implementation

International audienceThe ASSERT (Automated proof based System and Software Engineering for Real-Time Applications) European Integrated Project (IST-FP6-004033, http://www.assert-project.net/) defined and experimented a multi formalism Model Driven Engineering (MDE) process, enforcing an approach with separated specification and refinement of functional and non-functional properties.• Functional specification, design and development is based on UML profiles to support AADL concepts [2] and behavioural specification.• Real time Architecture properties are based on extensions targeting Ravenscar Computing execution Model (RCM see [6]) constraints upon component interface and ports.• Model transformation is supporting correctness preserving rules towards a Virtual Machine execution environment or a verification dedicated environment.A tool chain called IDEA (Integrated Development Environment for ASSERT) supporting the process was developed by the CS ASSERT team on top of the Eclipse/TOPCASED environment allowing:• Integrated use of several formalisms in a development life-cycle (UML, AADL, IF[4]) .• Model transformation from UML to IF, AADL to RCM and RCM to Ada• Automated code generationThe approach experimented allows combined use of best suited formalisms and features for MDE developments. The TOPCASED tool proved to be a unique integrated toolset for prototyping UML and meta models supporting tools.The main feedback gained from applying the notations and approach on small to medium case studies is that UML profiling is not scalable, and that use of several Domain Specific Languages (DSL) seems far more suitable. Semantic clashes can be limited by raising the abstraction level, and by partitioning properties for verification

A model-based rams estimation methodology for innovative aircraft on-board systems supporting mdo applications

The reduction of aircraft operating costs is one of the most important objectives addressed by aeronautical manufactures and research centers in the last decades. In order to reach this objective, one of the current ways is to develop innovative on-board system architectures, which can bring to lower fuel and maintenance costs. The development and optimization of these new aircraft on-board systems can be addressed through a Multidisciplinary Design Optimization (MDO) approach, which involves different disciplines. One relevant discipline in this MDO problem is Reliability, Availability, Maintainability and Safety (RAMS), which allows the assessment of the reliability and safety of aircraft systems. Indeed the development of innovative systems cannot comply with only performance requirements, but also with reliability and safety constraints. Therefore, the RAMS discipline plays an important role in the development of innovative on-board systems. In the last years, different RAMS models and methods have been defined, considering both conventional and innovative architectures. However, most of them rely on a document-based approach, which makes difficult and time consuming the use of information gained through their analysis to improve system architectures. On the contrary, a model-based approach would make easier and more accessible the study of systems reliability and safety, as explained in several studies. Model Based Systems Engineering (MBSE) is an emerging approach that is mainly used for the design of complex systems. However, only a few studies propose this approach for the evaluation of system safety and reliability. The aim of this paper is therefore to propose a MBSE approach for model-based RAMS evaluations. The paper demonstrates that RAMS models can be developed to quickly and more effectively assess the reliability and safety of conventional and innovative on-board system architectures. In addition, further activities for the integration of the model-based RAMS methodology within MDO processes are described in the paper

A model-driven approach to survivability requirements assessment for critical systems

Survivability is a crucial property for those systems – such as critical infrastructures or military Command and Control Information Systems – that provide essential services, since the latter must be operational even when the system is compromised due to attack or faults. This article proposes a model-driven method and a tool –MASDES– to assess the survivability requirements of critical systems. The method exploits the use of (1) (mis)use case technique and UML profiling for the specification of the survivability requirements and (2) Petri nets and model checking techniques for the requirement assessment. A survivability assessment model is obtained from an improved specification of misuse cases, which encompasses essential services, threats and survivability strategies. The survivability assessment model is then converted into a Petri net model for verifying survivability properties through model checking. The MASDES tool has been developed within the Eclipse workbench and relies on Papyrus tool for UML. It consists of a set of plug-ins that enable (1) to create a survivability system view using UML and profiling techniques and (2) to verify survivability properties. In particular, the tool performs model transformations in two steps. First, a model-to-model transformation generates, from the survivability view, a Petri net model and properties to be checked in a tool-independent format. Second, model-to-text transformations produce the Petri net specifications for the model checkers. A military Command and Control Information Systems has been used as a case study to apply the method and to evaluate the MASDES tool, within an iterative-incremental software development process

Fail-Safe Test Generation of Safety Critical Systems

This dissertation introduces a technique for testing proper failure mitigation in safety critical systems. Unlike other approaches which integrate behavioral and failure models, and then generate tests from the integrated model, we build safety mitigation tests from an existing behavioral test suite, using an explicit mitigation model for which we generate mitigation paths which are then woven at selected failure points into the original test suite to create failure-mitigation tests (safety mitigation test)

Industrial Applications: New Solutions for the New Era

This book reprints articles from the Special Issue "Industrial Applications: New Solutions for the New Age" published online in the open-access journal Machines (ISSN 2075-1702). This book consists of twelve published articles. This special edition belongs to the "Mechatronic and Intelligent Machines" section