% IMPORTANT: The following is UTF-8 encoded. This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.
@MISC{Wiartalla:962338,
author = {Wiartalla, Marc Oliver and Berg, Frederik Julius and
Ottersbach, Florian and Kühn, Jan and Buglowski, Mateusz
and Kowalewski, Stefan and Stollenwerk, André},
title = {{A} modular and verifiable software architecture for
interconnected medical systems in intensive care; 2.0},
reportid = {RWTH-2023-07342},
year = {2023},
abstract = {In intensive care, an increasing number of therapies are
based on interconnected medical devices, called medical
cyber-physical systems or cyber-medical systems. These types
of systems enable new therapies and the automation of
existing ones. However, in the clinic, medical devices from
different manufacturers with various protocols and
interfaces are used and thus interoperability often requires
auxiliary hardware and software. Additionally, medical
systems are safety-critical and therefore the verification
and validation of these systems are essential. However, the
complexity of cyber-medical systems scales with the number
of connected devices. Many state-of-the-art medical software
platforms neglect verifiability. In this publication, we
present the ASMO software platform, a service-oriented
software architecture, as a decentralized and verifiable
interoperability platform in intensive care. The
abbreviation ASMO comes from the Greek expression for safe
translation (άσϕαλής μετασχηματίζω). The
ASMO software architecture allows for the creation of
modular cyber-medical systems consisting of networked
embedded nodes. In this software architecture, the system is
distributed across multiple smaller nodes to reduce the
complexity of each node without reducing the overall
processing capabilities. The software architecture is based
on a low-level real-time operating system, which improves
the verifiability. The implementation of the software
architecture provided with this publication is written in C
and based on the real-time operating system ChibiOS. The
main part of the architecture is the data provisioning
layer, which includes a safety layer, a communication layer,
and a data retention layer. The code for the data
provisioning layer is generated from a communication matrix,
which is a global listing of all possible measurements and
internally generated values in the system and information
about them. For communication between nodes, we use the
Controller Area Network (CAN) bus or Ethernet with the Data
Distribution Service (DDS). For the development of
applications, the architecture supports model-based
development using Matlab/Simulink. The publication
repository contains the implementation of the ASMO software
architecture and related tools. The repository contains the
ASMO data provisioning layer, a Simulink model template and
Matlab wrapper functions for model-based development, a
Python code generator for the data provisioning layer and
TOML files for the definition of the communication matrix.
In addition, a slave-only implementation of the Precision
Time Protocol (PTP) for microcontrollers is included and the
built-on libraries are integrated as submodules. The first
version of the software architecture was presented in the
dissertation of André Stollenwerk and used the CAN bus for
communication. In 2020, the real-time operating system and
other used libraries were updated to version 2 of the
software architecture. In addition, the architecture was
extended for communication over Ethernet using DDS. During
this time, the format of the communication matrix and code
generator were also changed.},
cin = {122810 / 120000},
cid = {$I:(DE-82)122810_20140620$ / $I:(DE-82)120000_20140620$},
pnm = {DFG project 224967929 - Kooperierende Regelung von
extrakorporaler Lungenunterstützung und Beatmung für die
Therapie des Lungenversagens (ECLA-VENT) (224967929) / BMBF
031L0134B - Alternativmethoden - Verbund: AutoMock -
Entwicklung eines vollautomatisierten in vitro Teststands
(Mock Loop) - Ein künstlicher Kreislauf als Ersatzmethode
zur Biokompatibilitätstestung von Membranoxygenatoren und
zur Transplantationssimulation (BMBF-031L0134B) / DFG
project G:(GEPRIS)447729163 - Sicherheits- und
Automatisierungskonzepte für künstliche implantierbare
Lungen - SmartLungControl (447729163) / DFG project
G:(GEPRIS)313779459 - SPP 2014: Auf dem Weg zur
implantierbaren Lunge (313779459)},
pid = {G:(GEPRIS)224967929 / G:(DE-82)BMBF-031L0134B /
G:(GEPRIS)447729163 / G:(GEPRIS)313779459},
typ = {PUB:(DE-HGF)33},
doi = {10.18154/RWTH-2023-07342},
url = {https://publications.rwth-aachen.de/record/962338},
}
Gast ::