Clafer: Lightweight Modeling of Structure, Behaviour, and Variability

Embedded software is growing fast in size and complexity, leading to intimate mixture of complex architectures and complex control. Consequently, software specification requires modeling both structures and behaviour of systems. Unfortunately, existing languages do not integrate these aspects well, usually prioritizing one of them. It is common to develop a separate language for each of these facets. In this paper, we contribute Clafer: a small language that attempts to tackle this challenge. It combines rich structural modeling with state of the art behavioural formalisms. We are not aware of any other modeling language that seamlessly combines these facets common to system and software modeling. We show how Clafer, in a single unified syntax and semantics, allows capturing feature models (variability), component models, discrete control models (automata) and variability encompassing all these aspects. The language is built on top of first order logic with quantifiers over basic entities (for modeling structures) combined with linear temporal logic (for modeling behaviour). On top of this semantic foundation we build a simple but expressive syntax, enriched with carefully selected syntactic expansions that cover hierarchical modeling, associations, automata, scenarios, and Dwyer's property patterns. We evaluate Clafer using a power window case study, and comparing it against other notations that substantially overlap with its scope (SysML, AADL, Temporal OCL and Live Sequence Charts), discussing benefits and perils of using a single notation for the purpose

Industrial Adoption of Model-Based Systems Engineering: Challenges and Strategies

As design teams are becoming more globally integrated, one of the biggest challenges is to efficiently communicate across the team. The increasing complexity and multi-disciplinary nature of the products are also making it difficult to keep track of all the information generated during the design process by these global team members. System engineers have identified Model-based Systems Engineering (MBSE) as a possible solution where the emphasis is placed on the application of visual modeling methods and best practices to systems engineering (SE) activities right from the beginning of the conceptual design phases through to the end of the product lifecycle. Despite several advantages, there are multiple challenges restricting the adoption of MBSE by industry. We mainly consider the following two challenges: a) Industry perceives MBSE just as a diagramming tool and does not see too much value in MBSE; b) Industrial adopters are skeptical if the products developed using MBSE approach will be accepted by the regulatory bodies. To provide counter evidence to the former challenge, we developed a generic framework for translation from an MBSE tool (Systems Modeling Language, SysML) to an analysis tool (Agent-Based Modeling, ABM). The translation is demonstrated using a simplified air traffic management problem and provides an example of a potential quite significant value: the ability to use MBSE representations directly in an analysis setting. For the latter challenge, we are developing a reference model that uses SysML to represent a generic infusion pump and SE process for planning, developing, and obtaining regulatory approval of a medical device. This reference model demonstrates how regulatory requirements can be captured effectively through model-based representations. We will present another case study at the end where we will apply the knowledge gained from both case studies to a UAV design problem

A Review on Application of Model Based Systems Engineering to Manufacturing and Production Engineering Systems

Increasing complexity in today’s manufacturing and production industry due to the need for higher flexibility and competitiveness is leading to inconsistencies in the iterative exchange loops of the system design process. To address these complexities and inconsistencies, an ongoing industry trend for organizations to make a transition from document-centric principles and applications to being model-centric is observed. In this paper, a literature review is presented highlighting the current need for an industry-wide transition from document-centric systems engineering to Model-Based Systems Engineering (MBSE). Further, investigating the tools and languages used by the researchers for facilitating the transition to and the integration of MBSE approach, we identify the most commonly used tools and languages to highlight the applicability of MBSE in the manufacturing and production industry

An Approach to Complement Model-Based Vehicle Development by Implementing Future Scenarios

Today, vehicle development is already in a process of substantial transformation. Mobility trends can be derived from global megatrends and have a significant influence on the requirements of the developed vehicles. The sociological, technological, economic, ecological, and political developments can be determined by using the scenario technique. The results are recorded in the form of differently shaped scenarios; however, they are mainly document-based. In order to ensure a holistic approach in the sense of model-based systems engineering and to be able to trace the interrelationships of the fast-changing trends and requirements, it is necessary to implement future scenarios in the system model. For this purpose, a method is proposed that enables the consideration of future scenarios in model-based vehicle development. The procedure of the method is presented, and the location of the future scenarios within the system architectures is named. The method is applied and the resulting system views are derived based on the application example of an autonomous people mover. With the help of the described method, it is possible to show the effects of a change of scenario (e.g., best-case and worst-case) and the connections with the highest level of requirements: stakeholder need

Improving system of objectives maturity through systematic reuse of knowledge using ontology-based knowledge representations

Technical products are developed to meet the needs of different stakeholders. In addition, various constraints from all phases of the product life cycle have to be considered. In existing work, this information and its dependencies are systematically represented in the so-called system of objectives. A major challenge in modeling the system of objectives is that the necessary information in the system of objectives is often incomplete and uncertain. In addition, this uncertainty and the maturity of the system of objectives cannot be directly quantified because the target state of the system of objectives often cannot be unambiguously described. This research investigates a methodical approach to assess and improve the maturity of the system of objectives. Two means to reduce uncertainty and thus increase the maturity of the system of objectives are the systematic reuse of knowledge and the systematic building of knowledge through verification and validation activities

A Case Study in Formal System Engineering with SysML

International audienceIn the development of complex critical systems, an important source of errors is the misinterpretation of system requirements allocated to the software, due to inadequate communication between system engineering teams and software teams. In response, organizations that develop such systems are searching for solutions allowing formal system engineering and system to software bridging, based on standard languages like SysML. As part of this effort, we have defined a formal profile for SysML (OMEGA SysML) and we have built a simulation and verification toolbox for this profile (IFx). This paper reports on the experience of modelling and validating an industry-grade system, the Solar Generation System (SGS) of the Automated Transfer Vehicle (ATV) built by Astrium, using IFx-OMEGA. The experience reveals what can currently be expected from such an approach and what are the weak points that should be addressed by future research and development

(User-friendly) formal requirements verification in the context of ISO26262

Abstract In order to achieve the highest safety integrity levels, ISO26262 recommends the use of formal methods for various verification activities, throughout the lifecycle of safety-related embedded systems for road vehicles. Since formal methods are known to be difficult to use, one of the main challenges raised by these ISO26262 requirements is to find cost-effective approaches for being compliant with them. This paper proposes an approach for requirements formal verification where formal methods, languages, and tools are only minimally exposed to the user, and are integrated into one of the commonly used system modeling environments based on SysML. This approach does not require particular expertise in formal methods still allowing to apply them. Hence, personnel training costs and development costs should be kept limited. The proposed approach has been implemented as a plugin of the Topcased environment. Although it is limited to discrete system models, it has been successfully experimented on an industrial use case