Change Impact Analysis for SysML Requirements Models based on Semantics of Trace Relations

Change impact analysis is one of the applications of requirements traceability in software engineering community. In this paper, we focus on requirements and requirements relations from traceability perspective. We provide formal definitions of the requirements relations in SysML for change impact analysis. Our approach aims at keeping the model synchronized with what stakeholders want to be modeled, and possibly implemented as well, which we called as the domain. The differences between the domain and model are defined as external inconsistencies. The inconsistencies are propagated for the whole model by using the formalization of relations, and mapped to proposed model changes. We provide tool support which is a plug-in of the commercial visual software modeler BluePrint

Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems

We introduce SysML-Sec, a SysML-based Model-Driven Engineering environment aimed at fostering the collaboration between system designers and security experts at all methodological stages of the development of an embedded system. A central issue in the design of an embedded system is the definition of the hardware/software partitioning of the architecture of the system, which should take place as early as possible. SysML-Sec aims to extend the relevance of this analysis through the integration of security requirements and threats. In particular, we propose an agile methodology whose aim is to assess early on the impact of the security requirements and of the security mechanisms designed to satisfy them over the safety of the system. Security concerns are captured in a component-centric manner through existing SysML diagrams with only minimal extensions. After the requirements captured are derived into security and cryptographic mechanisms, security properties can be formally verified over this design. To perform the latter, model transformation techniques are implemented in the SysML-Sec toolchain in order to derive a ProVerif specification from the SysML models. An automotive firmware flashing procedure serves as a guiding example throughout our presentation.Comment: In Proceedings GraMSec 2014, arXiv:1404.163

Better abstractions for reusable components & architectures

Software architecture (SA) is a crucial component of Model Driven Engineering (MDE), since it eases the communication and reuse of designs and components. However, existing languages (e.g., UML, AADL, SysML) are lacking many needed features. In particular, they provide rudimentary support for connectors, a first-class element in the components and connectors (C&C) architectural view and one of the most reusable architectural elements. This is unfortunate, since the difficult properties that need to be guaranteed for complex systems are mainly the non-functional properties, like throughput, security and dependability, which are greatly influenced by the employed connectors. This work reviews the basic abstractions of the C&C view of SA and examines extra architectural elements which can support the detailed, explicit and separate description of behaviour, interaction and control logic

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