A brief history of models and model based systems engineering and the case for relational orientation

Models are at the heart of science and engineering. Model-based approaches to software development and systems engineering use technologies to include graphical modeling languages, such as the Systems Modeling Language, that support system design and analysis through machine readable models. This paper traces key historical contributions of software and systems engineers over the past five decades to show a coherent concept of models and how they can be used for software and systems engineering. Recent model-based systems engineering methodologies supported by commercially available modeling tools are also summarized. Relational orientation is seen to be the underlying viewpoint that expresses and binds these approaches. Relational orientation for systems engineering (ROSE) is then specified using a general systems methodology. Systems are seen to access each other's models in ROSE much like classes in object orientation access each other's objects. Object-oriented frames for software engineering are extended to relational frames to specify an innovative framework for system design and analysis. This generalizes the axiomatic design approach of N. P. Suh. A repeatable procedure supporting greater concurrency between design and verification is also demonstrated for searching the solution space in linear axiomatic design

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

Property Model Methodology: A First Assessment in the Avionics Domain

International audienceThe aim of this paper is twofold. Firstly, it is intended to provide an overview of the goals, the concepts and the process of a new Model Based Systems Engineering methodology, called Property Model Methodology (PMM). The second aim is to provide a feedback on its application in the avionics domain. In this experiment, PMM has been used in order to develop a top level specification model regarding a textual specification of an avionics function, to validate the top level specification model, and according to PMM rules to develop (1) a design model of the function taking into account architectural constraints of an integrated avionics, (2) building block specification models and (3) building block design models. Building block specification models were validated regarding their encompassing system specification model and the selected system design model while the design models were integrated and verified, level by level up to the top level design model, regarding their specification model. This paper summarizes the lessons learnt during this process and some additional results related to safety issues. This paper, with others [1,2], proves the fundamental concepts of PMM and provides a starting point for further research on Model Based Systems Engineering of a wide range of engineered systems (discrete, hybrid, continuous and multi-physics systems), but also support additional systems engineering activities (e.g. safety-reliability activities)

Approach to integrate product conceptual design information into a computer-aided design system

Commercial computer-aided design systems support the geometric definition of product, but they lack utilities to support initial design stages. Typical tasks such as customer need capture, functional requirement formalization, or design parameter definition are conducted in applications that, for instance, support ?quality function deployment? and ?failure modes and effects analysis? techniques. Such applications are noninteroperable with the computer-aided design systems, leading to discontinuous design information flows. This study addresses this issue and proposes a method to enhance the integration of design information generated in the early design stages into a commercial computer-aided design system. To demonstrate the feasibility of the approach adopted, a prototype application was developed and two case studies were executed

Architecting a System Model for Personalized Healthcare Delivery and Managed Individual Health Outcomes

In recent years, healthcare needs have shifted from treating acute conditions to meeting an unprecedented chronic disease burden. The healthcare delivery system has structurally evolved to address two primary features of acute care: the relatively short time period, on the order of a patient encounter, and the siloed focus on organs or organ systems, thereby operationally fragmenting and providing care by organ specialty. Much more so than acute conditions, chronic disease involves multiple health factors with complex interactions between them over a prolonged period of time necessitating a healthcare delivery model that is personalized to achieve individual health outcomes. Using the current acute-based healthcare delivery system to address and provide care to patients with chronic disease has led to significant complexity in the healthcare delivery system. This presents a formidable systems’ challenge where the state of the healthcare delivery system must be coordinated over many years or decades with the health state of each individual that seeks care for their chronic conditions. This paper architects a system model for personalized healthcare delivery and managed individual health outcomes. To ground the discussion, the work builds upon recent structural analysis of mass-customized production systems as an analogous system and then highlights the stochastic evolution of an individual’s health state as a key distinguishing feature

Measures of reconfigurability and its key characteristics in intelligent manufacturing systems

\In recent years, the fields of reconfigurable manufacturing systems, holonic manufacturing systems, and multi-agent systems have made technological advances to support the ready reconfiguration of automated manufacturing systems. While these technological advances have demonstrated robust operation and been qualitatively successful in achieving reconfigurability, limited effort has been devoted to the measurement of reconfigurability in the resultant systems. Hence, it is not clear (1) to which degree these designs have achieved their intended level of reconfigurability, (2) which systems are indeed quantitatively more reconfigurable and (3) how these designs may overcome their design limitations to achieve greater reconfigurability in subsequent design iterations. Recently, a reconfigurability measurement process based upon axiomatic design knowledge base and the design structure matrix has been developed. Together, they provide quantitative measures of reconfiguration potential and ease. This paper now builds upon these works to provide a set of composite reconfigurability measures. Among these are measures for the key characteristics of reconfigurability: integrability, convertibility, and customization, which have driven the qualitative and intuitive design of these technological advances. These measures are then demonstrated on an illustrative example followed by a discussion of how they adhere to requirements for reconfigurability measurement in automated and intelligent manufacturing systems

A Hybrid Dynamic System Assessment Methodology for Multi-Modal Transportation-Electrification

In recent years, electrified transportation, be it in the form of buses, trains, or cars have become an emerging form of mobility. Electric vehicles (EVs), especially, are set to expand the amount of electric miles driven and energy consumed. Nevertheless, the question remains as to whether EVs will be technically feasible within infrastructure systems. Fundamentally, EVs interact with three interconnected systems: the (physical) transportation system, the electric power grid, and their supporting information systems. Coupling of the two physical systems essentially forms a nexus, the transportation-electricity nexus (TEN). This paper presents a hybrid dynamic system assessment methodology for multi-modal transportation-electrification. At its core, it utilizes a mathematical model which consists of a marked Petri-net model superimposed on the continuous time microscopic traffic dynamics and the electrical state evolution. The methodology consists of four steps: (1) establish the TEN structure; (2) establish the TEN behavior; (3) establish the TEN Intelligent Transportation-Energy System (ITES) decision-making; and (4) assess the TEN performance. In the presentation of the methodology, the Symmetrica test case is used throughout as an illustrative example. Consequently, values for several measures of performance are provided. This methodology is presented generically and may be used to assess the effects of transportation-electrification in any city or area; opening up possibilities for many future studies

A Tensor-Based Formulation of Hetero-functional Graph Theory

Recently, hetero-functional graph theory (HFGT) has developed as a means to mathematically model the structure of large flexible engineering systems. In that regard, it intellectually resembles a fusion of network science and model-based systems engineering. With respect to the former, it relies on multiple graphs as data structures so as to support matrix-based quantitative analysis. In the meantime, HFGT explicitly embodies the heterogeneity of conceptual and ontological constructs found in model-based systems engineering including system form, system function, and system concept. At their foundation, these disparate conceptual constructs suggest multi-dimensional rather than two-dimensional relationships. This paper provides the first tensor-based treatment of some of the most important parts of hetero-functional graph theory. In particular, it addresses the "system concept", the hetero-functional adjacency matrix, and the hetero-functional incidence tensor. The tensor-based formulation described in this work makes a stronger tie between HFGT and its ontological foundations in MBSE. Finally, the tensor-based formulation facilitates an understanding of the relationships between HFGT and multi-layer networks