COFIE: a regex-like interaction and control flow description

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Abstract

The integration of safety-critical software is still
human-supervised, therefore it is time-consuming, expensive
and error-prone. A fully automated integration process would
be cheaper and more reliable, but it demands extra meta-
information about the software and related interactions, since
functional and non-functional properties, which are not visible
from the binary, must be handled. Therefore, we propose COFIE,
a regex-like description of the interaction behavior and control
flow of functions (and tasks) in a module. It is the first step
for our ultimate goal of achieving a full automation on software
integration.
Originalspracheenglisch
Titel2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS)
Herausgeber (Verlag)Institute of Electrical and Electronics Engineers
Seiten67-72
ISBN (elektronisch)978-1-5386-8500-6
DOIs
PublikationsstatusVeröffentlicht - Aug 2019
VeranstaltungIEEE International Conference on Industrial Cyber-Physical Systems 2019 - Taipei, Taiwan
Dauer: 6 Mai 20199 Mai 2019
http://icps19.org/

Konferenz

KonferenzIEEE International Conference on Industrial Cyber-Physical Systems 2019
KurztitelIEEE ICPS 2019
Land/GebietTaiwan
OrtTaipei
Zeitraum6/05/199/05/19
Internetadresse

Fingerprint

Untersuchen Sie die Forschungsthemen von „COFIE: a regex-like interaction and control flow description“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren