Konferensartikel

A Protocol-Based Verification Approach for Standard-Compliant Distributed Co-Simulation

Martin Krammer
Virtual Vehicle Research GmbH

Christian Kater
Comsysto Reply GmbH

Clemens Schiffer
Virtual Vehicle Research GmbH

Martin Benedikt
Virtual Vehicle Research GmbH

Ladda ner artikelhttps://doi.org/10.3384/ecp2020174133

Ingår i: Proceedings of Asian Modelica Conference 2020, Tokyo, Japan, October 08-09, 2020

Linköping Electronic Conference Proceedings 174:16, s. 133-142

Visa mer +

Publicerad: 2020-11-02

ISBN: 978-91-7929-775-6

ISSN: 1650-3686 (tryckt), 1650-3740 (online)

Abstract

The Distributed Co-Simulation Protocol (DCP) is a platform and communication system independent application level communication protocol. It is designed to integrate models or real-time systems into simulation environments. The DCP is maintained as an open-access Modelica Association standard, which is compatible to, but not dependent on, the Functional Mock-Up Interface (FMI). The specification document defines the structure and behaviour of slaves. It is advantageous to verify and validate a slave before integrating it into a larger co-simulation scenario. This is especially true if tests are performed on large rigs, where availability and time are typically limited. Until now, no systematic procedure for design, verification and validation of slaves is available. In this paper, we introduce a process for design, verification and validation of DCP slaves. The process is used to systematically encapsulate models or real-time systems into slaves. For verification, the DCP state machine and protocol definitions are used to derive sequences of protocol data units (PDU) from any given DCP slave description. To demonstrate the feasibility of our approach, we show a use case from the automotive engineering domain. It includes a slave representing an engine, which embeds a functional mock-up unit (FMU). We also introduce the DCP test generator and DCP tester tools to automate the verification steps. With these contributions, slaves can be developed systematically and more efficiently. The introduced software is available under an open-source license.

Nyckelord

co-simulation, dcp, fmi, protocol-based test, real-time, testing, verification

Referenser

Inga referenser tillgängliga

Citeringar i Crossref