AMADEOS SysML Profile for SoS Conceptual Modeling

International audienc

Understanding the Elements of Executable Architectures Through a Multi-Dimensional Analysis Framework

The objective of this dissertation study is to conduct a holistic investigation into the elements of executable architectures. Current research in the field of Executable Architectures has provided valuable solution-specific demonstrations and has also shown the value derived from such an endeavor. However, a common theory underlying their applications has been missing. This dissertation develops and explores a method for holistically developing an Executable Architecture Specification (EAS), i.e., a meta-model containing both semantic and syntactic information, using a conceptual framework for guiding data coding, analysis, and validation. Utilization of this method resulted in the description of the elements of executable architecture in terms of a set of nine information interrogatives: an executable architecture information ontology. Once the detail-rich EAS was constructed with this ontology, it became possible to define the potential elements of executable architecture through an intermediate level meta-model. The intermediate level meta-model was further refined into an interrogative level meta-model using only the nine information interrogatives, at a very high level of abstraction

Combined automotive safety and security pattern engineering approach

Automotive systems will exhibit increased levels of automation as well as ever tighter integration with other vehicles, traffic infrastructure, and cloud services. From safety perspective, this can be perceived as boon or bane - it greatly increases complexity and uncertainty, but at the same time opens up new opportunities for realizing innovative safety functions. Moreover, cybersecurity becomes important as additional concern because attacks are now much more likely and severe. However, there is a lack of experience with security concerns in context of safety engineering in general and in automotive safety departments in particular. To address this problem, we propose a systematic pattern-based approach that interlinks safety and security patterns and provides guidance with respect to selection and combination of both types of patterns in context of system engineering. A combined safety and security pattern engineering workflow is proposed to provide systematic guidance to support non-expert engineers based on best practices. The application of the approach is shown and demonstrated by an automotive case study and different use case scenarios.EC/H2020/692474/EU/Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems/AMASSEC/H2020/737422/EU/Secure COnnected Trustable Things/SCOTTEC/H2020/732242/EU/Dependability Engineering Innovation for CPS - DEIS/DEISBMBF, 01IS16043, Collaborative Embedded Systems (CrESt

A Model-based Approach for Designing Cyber-Physical Production Systems

The most recent development trend related to manufacturing is called "Industry 4.0". It proposes to transition from "blind" mechatronics systems to Cyber-Physical Production Systems (CPPSs). Such systems are capable of communicating with each other, acquiring and transmitting real-time production data. Their management and control require a structured software architecture, which is tipically referred to as the "Automation Pyramid". The design of both the software architecture and the components (i.e., the CPPSs) is a complex task, where the complexity is induced by the heterogeneity of the required functionalities. In such a context, the target of this thesis is to propose a model-based framework for the analysis and the design of production lines, compliant with the Industry 4.0 paradigm. In particular, this framework exploits the Systems Modeling Language (SysML) as a unified representation for the different viewpoints of a manufacturing system. At the components level, the structural and behavioral diagrams provided by SysML are used to produce a set of logical propositions about the system and components under design. Such an approach is specifically tailored towards constructing Assume-Guarantee contracts. By exploiting reactive synthesis techniques, contracts are used to prototype portions of components' behaviors and to verify whether implementations are consistent with the requirements. At the software level, the framework proposes a particular architecture based on the concept of "service". Such an architecture facilitates the reconfiguration of components and integrates an advanced scheduling technique, taking advantage of the production recipe SysML model. The proposed framework has been built coupled with the construction of the ICE Laboratory, a research facility consisting of a full-fledged production line. Such an approach has been adopted to construct models of the laboratory, to virtual prototype parts of the system and to manage the physical system through the proposed software architecture

Modeling an Industrial Revolution: How to Manage Large-Scale, Complex IoT Ecosystems?

Advancements around the modern digital industry gave birth to a number of closely interrelated concepts: in the age of the Internet of Things (IoT), System of Systems (SoS), Cyber-Physical Systems (CPS), Digital Twins and the fourth industrial revolution, everything revolves around the issue of designing well-understood, sound and secure complex systems while providing maximum flexibility, autonomy and dynamics.The aim of the paper is to present a concise overview of a comprehensive conceptual framework for integrated modeling and management of industrial IoT architectures, supported by actual evidence from the Arrowhead Tools project; in particular, we adopt a three-dimensional projection of our complex engineering space, from modeling the engineering process to SoS design and deployment.In particular, we start from modeling principles of the the engineering process itself. Then, we present a design-time SoS representation along with a toolchain concept aiding SoS design and deployment. This brings us to reasoning about what potential workflows are thinkable for specifying comprehensive toolchains along with their data exchange interfaces. We also discuss the potential of aligning our vision with RAMI4.0, as well as the utilization perspectives for real-life engineering use-cases

Enterprise modeling using the foundation concepts of the RM-ODP ISO/ITU standard

Enterprise architecture (EA) projects require analyzing and designing across the whole enterprise and its environment. Enterprise architects, therefore, frequently develop enterprise models that span from the markets in which the organization operates down to the implementation of the IT systems that support its operations. In this paper, we present SEAM for EA: a method for defining an enterprise model in which all the systems are systematically represented with the same modeling ontology. We base our modeling ontology on the foundation modeling concepts defined in Part 2 of ISO/ITU Standard "Reference Model of Open Distributed Processing” (RM-ODP). This work has two contributions to enterprise architecture: the SEAM for EA method itself and the use of Part 2 of the RM-ODP standard as a modeling ontolog

A novel "resilience viewpoint" to aid in engineering resilience in systems of systems (SoS)

Designing evolutionary systems to meet stakeholder expectations on safety, reliability and overall resilience is of great importance in an age of interconnectivity and high dependency systems. With incidents and disruptions becoming more frequent in recent years, the requirement for systems to demonstrate high levels of resilience given the economic, political and temporal dimensions of complexity, resilience is of great significance today. Systemic resilience is of high importance at the global level. Therefore, the role of the system engineer and architect is becoming more demanding due to the need to consider requirements from a broader range of stakeholders and to implement them into early conceptual designs. The early modeling process of all systems is common ground for most engineering projects, creating an architecture to both understand a system and to design future iterations by applying model-based processes has become the norm. With the concept of systems-ofsystems (SoS) becoming common language across multiple engineering domains, model-based systems engineering techniques are evolving hand-in-hand to provide a paradigm to better analyse current and future SoS. The intrinsic characteristics of the constituent systems that make up the SoS make the challenge of designing and maintaining the reliability and resilience of a systems extremely difficult. This paper proposes a novel viewpoint, within an architecture framework (based around DoDAF, MoDAF and UPDM) to aid systems architects explore and design resilient SoS. This is known as the Resilience Viewpoint. Much of the research in the area is focussed on critical infrastructure (CI), looking at telecommunication networks, electric grid, supply networks etc, and little has been done on a generalizable tool for SoS architecture analysis, especially using existing modeling languages. Here, the application of the ‘Resilience Viewpoint’ is demonstrated using a case study from an integrated water supply system of systems, to portray its potential analytical capabilities

Systematic use of model-based solution patterns using the example of a load cell

Complex mechatronic products are usually decomposed into several sub-systems for their development. These sub-systems are developed in parallel or even independently based on their specifications and use cases. The application of model-based solution patterns is an effective way to comprehensively and efficiently describe the available knowledge about the sub-systems. This contribution proposes an approach to support the selection and application of model-based solution patterns. The approach, based on a metamodel for solution patterns using SysML, describes the process for selecting solution patterns and aligning requirements and constraints with the as-is properties of the sub-systems. Additionally, the approach supports the design of solution patterns taking into account special knowledge from the development of the sub-systems as well as the usage of the solution patterns in different systems and contexts. As an example, an application scenario of a specific load cell within a measurement system is explained