OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems

Abstract

Model-and component-based design have yielded dramatic increase in design productivity in several narrowly focused homogeneous domains, such as signal processing, control and aspects of electronic design. However, significant impact on the design and manufacturing of complex cyber-physical systems (CPS) such as vehicles has not yet been achieved. This paper describes challenges of and solution approaches to building a comprehensive design tool suite for complex CPS. The primary driver for the OpenMETA tool chain was to push the boundaries of the "correct-by-construction" principle to decrease significantly the costly design-build-test-redesign cycles in design flows. In the discussions we will focus on the impact of heterogeneity in modeling CPS. This challenge is compounded by the need for rapidly evolving the design flow by changing/updating the selection of modeling languages, analysis and verification tools and synthesis methods. Based on our experience with the development of OpenMETA and with the evaluation of its performance in a complex CPS design challenge we argue that the current vertically integrated, disciplinespecific tool chains for CPS design need to be complemented with horizontal integration layers that support model integration, tool integration and design process integration. This paper will examine the OpenMETA technical approach to construct the new integration layers, provides and overview of the technical framework we established for their implementation and summarize our experience with their application.

Industry 4.0 with cyber-physical integration: A design and manufacture perspective

“…To integrate modelling lan mathematical models in thi abstractions that are imported required for modelling cross-do [9], a language called CyPhy weight, evolvable, composabl frequently updated and morphe individually quite complex (e.g. etc…) ChyPhyML is relatively This "semantic interface" betw specific modeling languages ( formally defined, evolved as ne properties (such as well-formed methods and tools of formal m PhyML is moving in the oppo design languages, such as Sy specificity as opposed to g standardization is replaced by la specification of explicit semanti Mathematically precise f integration have been developed (DSM) that define structural and ies; TBM) representing environment em models connected to a range ation tools for key performance n Models (PEM) for specifying pace to be used for optimization plex analysis flows producing Probabilistic Certification of d on the development of a model ddress heterogeneity to cover all cs and cyber domains and to erogeneity of the multi-physics, elity design space, and the need design flows require the use of a s usually influenced/determined el-based design, verification and ols.…”

“…Model-based design uses formal and sufficiently complete models, processes, their environments, and their interactions. The goal of a model-based design is "correct-by-construction", where properties of the synthesized models of the designed system predict the properties of the implemented or manufactured system with sufficient accuracy [9]. As a result, an integrated tool suite called OpenMETA has been developed to provide a manufacturing-aware design flow, which covers both cyber and physical design aspects.…”

“…3) Geometric/structural design space e with physics-based nonlinear finite e thermal, mechanical and mobility pr 4) Cyber design space exploration (b software) integrated with system dyn As highlighted in Figure 2, these elemen train challenge for the AVM development 3D/CAD tools and finite element analysis protection and hydrodynamic requirements basic structure of the integration architecture modelling functions of the OpenMETA desig the following model types [9] The first emphasis is placed integration language, so as to ad relevant views of multi-physi achieve compositionality. Hete multi-abstraction and multi-fide for rapidly evolving/updating d rich set of modelling language by existing and emerging mode simulation technologies and too suite and the related infrastru continuously evolve.…”

Domain Globalization: Using Languages to Support Technical and Social Coordination

“…The CyPhy 11 [47] modeling language was developed to facilitate model coordination for the design of complex cyber-physical systems, for instance vehicles. This model coordination language is built around a hierarchical component model where components have four categories of interfaces: parametric and properties (for setting and getting parametric values), signal interfaces (for causal interactions among electronic and software components), power interfaces (for acausal interactions among physical components with dynamics), and structural interfaces (for geometric 3D composition).…”

“…Many sub-questions arises from this challenge e.g., does it make sense to provide some family of language interfaces according to some purpose at the model level [1,47]? Another research question is: in what language should a language's interface be specified?…”