ETL: A new temporal language for the verification of cyber-physical systems

Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica

“…An answer to those questions is given by the Extended Temporal Language (ETL) which is aimed at simulating the temporal aspects of FORM-L, i.e., the WHEN and the WHAT, given the WHERE and the HOW_WELL, and using 4-value logic [63]. It is worth noting that ETL is not meant to be used directly by the end-user, but as a means to simulate models expressed in FORM-L that as a high-level language for requirements modeling, has been especially conceived for practitioners.…”

“…Indeed, ETL enables to express real-time constraints on continuous physical variables and state events, and consequently handle several real-time threads. Thus, the idea is to automatically generate ETL expressions for the evaluation of the temporal constraints expressed in FORM-L models [63]. When translating FORM-L expressions into ETL constructs (see [63] for the ETL complete syntax and semantics), only the WHEN and WHAT parts are effectively translated.…”

“…Thus, the idea is to automatically generate ETL expressions for the evaluation of the temporal constraints expressed in FORM-L models [63]. When translating FORM-L expressions into ETL constructs (see [63] for the ETL complete syntax and semantics), only the WHEN and WHAT parts are effectively translated. They are made of ETL expressions that use external variables bound to the executable model of the system architecture using so-called bindings (see Fig.…”

Enhanced Steady-State in Modelon Jet Propulsion Library,an Enabler for Industrial Design Workflows

“…In a model-based design approach, lumped parameter modeling and simulation (L for logical from the RFLP) can be used to define a viewpoint of the subsystem architecture, select component technologies (assisting trade-off studies) and size each of them. At this stage, it is relevant to highlight that some efforts exist in verifying that models satisfy the requirements using the Modelica language (see for example [OTT15] or [BOU18]). Finally, the detail design would be performed using 3D drawings, Finite Element Analysis, Computational Fluid Dynamics, etc.…”

Multi-domain Modeling and Simulation

“…Current research focuses on the support of the complete life cycle: defining requirements of a system formally on a "high level," considerably improving testing by checking these requirements automatically when evaluating a system design by simulations, see, for example, Bouskela and Jardin (2018), and providing complete tool chains to embedded systems. For example, in the European ITEA project EMPHYSIS (embedded systems with physical models in the production code software; https:// itea3.org/project/emphysis.html), the variant eFMI of FMI is being developed in the years 2017-2021 so that whole tool chains from multidomain modeling environments to production code on automotive electronic control units and other embedded devices with hard realtime requirements become feasible.…”