Formal verification of coupling properties for an automotive software integration across XilL
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/190786
Tipus de documentText en actes de congrés
Data publicació2017
EditorCIMNE
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
Virtualization and desktop testing of an integrated system without inclusion
of a physical hardware is a well-established concept due to today’s abundant computing power
availability. However, only few aspects of reality are introduced in steps into these virtual
environments. The aspects of reality like hard-real time deadlines, timing events, coupling
frequency and data synchronization between two subsystems in a system offer complexity
without fair estimation of its consequence on the system behavior. In this paper, we
describe the abovementioned complexity as the coupling properties detailed for a combustion engine
example along with its controller. We formally verify the timing, safety, liveness and deadlock
properties of the coupling by modeling them as timed transition systems. The example is
verified for the idle speed control, smooth mode switching and for injection cutoff control where
the interaction between the subsystems is very critical. The paper highlights a very important
perspective of strong and weak subsystem coupling while transiting from Model-in-the-loop (MiL) to
Software-in-the-Loop (SiL) and finally to Hardware-in-the-Loop (HiL). In conclusion, the
input-output behavior of the coupled
subsystems is also presented for a realistic observation of the control loop.
ISBN978-84-946909-2-1
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Coupled-2017-86 ... rification of coupling.pdf | 2,188Mb | Visualitza/Obre |