Certifications of Critical Systems – The CECRIS Experience

In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a large economic impact.Certifications of Critical Systems – The CECRIS Experience documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (acronym for Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools.The CECRIS project took a step forward in the growing field of development, verification and validation and certification of critical systems. It focused on the more difficult/important aspects of critical system development, verification and validation and certification process. Starting from both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems, the project aimed at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these activities, setting guidelines to support engineers during the planning of the verification and validation phases

Certifications of Critical Systems – The CECRIS Experience

In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a large economic impact.Certifications of Critical Systems – The CECRIS Experience documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (acronym for Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools.The CECRIS project took a step forward in the growing field of development, verification and validation and certification of critical systems. It focused on the more difficult/important aspects of critical system development, verification and validation and certification process. Starting from both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems, the project aimed at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these activities, setting guidelines to support engineers during the planning of the verification and validation phases

Evolution of Model-Based System Engineering Methodologies for the Design of Space Systems in the Advanced Stages of the Project (Phases B-C)

The main topic of the present work is addressed to the evaluation of the possible improvements that can be achieved with the integration of Model Based System Engineering Methodologies in the advanced phases of space project. In particular a model based approach will be proposed for two main aspects directly affecting the design phases of complex systems. The first one is represented by the management of design options that becomes difficult to monitor as the project proceeds, increasing the amount of data to take into consideration. The other one is represented by the integration between Multidisciplinary Design Optimization (MDO) techniques and a Model Based System Engineering (MBSE) environment. The aim of the research activity concerns the feasibility of such connection in order to assess actual advantages and possible drawbacks. In this last case the objective is to show how the Multidisciplinary Design Optimization (MDO) methods may be managed in the context of a MBSE environment with respect to the traditional design approach. In particular this analysis is addressed to the demonstration of the benefits of MBSE methodology and MDO techniques considering a space system reference case. In the first part of the thesis a briefly description of the problem statement is introduced to better explain the subjects of the following chapters. In particular the reasons and the related purposes that have animated this work are considered. In the next sec..on the state of the art about the considered approach is presented, providing a background for the following activities. In this context a wider analysis of the motivations and thesis objectives is considered. The following chapters deals with the survey and critical assessment of the main work related to this thesis. The analysis, design and implementation of the proposed framework are considered in the next sections. At the end of this part the results obtained are presented without arguing about the related benefits or drawbacks, which are considered in the following. A critical assessment of the results is then presented, analyzing the main contributions and related disadvantages with respect to the current approaches. In the next sec..on the incoming activities and further developments are presented. The final part concerns at last the summary conclusions of the work done

From Data Modeling to Knowledge Engineering in Space System Design

The technologies currently employed for modeling complex systems, such as aircraft, spacecraft, or infrastructures, are sufficient for system description, but do not allow deriving knowledge about the modeled systems. This work provides the means to describe space systems in a way that allows automating activities such as deriving knowledge about critical parts of the system’s design, evaluation of test success, and identification of single points of failure

Model-Based Engineering of Collaborative Embedded Systems

This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years