COFIE: a regex-like interaction and control flow description

Leandro Batista Ribeiro; Marcel Carsten Baunach

doi:10.1109/ICPHYS.2019.8780170

COFIE: a regex-like interaction and control flow description

Leandro Batista Ribeiro, Marcel Carsten Baunach

Institut für Technische Informatik (4480)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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.

Originalsprache	englisch
Titel	2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS)
Herausgeber (Verlag)	Institute of Electrical and Electronics Engineers
Seiten	67-72
ISBN (elektronisch)	978-1-5386-8500-6
DOIs	https://doi.org/10.1109/ICPHYS.2019.8780170
Publikationsstatus	Veröffentlicht - Aug. 2019
Veranstaltung	IEEE International Conference on Industrial Cyber-Physical Systems 2019 - Taipei, Taiwan Dauer: 6 Mai 2019 → 9 Mai 2019 http://icps19.org/

Konferenz

Konferenz	IEEE International Conference on Industrial Cyber-Physical Systems 2019
Kurztitel	IEEE ICPS 2019
Land/Gebiet	Taiwan
Ort	Taipei
Zeitraum	6/05/19 → 9/05/19
Internetadresse	http://icps19.org/

Zugriff auf Dokument

10.1109/ICPHYS.2019.8780170

1 Laufend
2 Abgeschlossen

Embedded Automotive Systems
Baunach, M. C., Batista Ribeiro, L., Martins Gomes, R., Malenko, M., Scheipel, T. P., Saikia, A., Nagarajan, D., Manjunath, V., Kissich, M. & Kanics, K.
1/09/14 → …
Projekt: Arbeitsgebiet
Betriebssysteme für eingebettete Systeme
Baunach, M. C., Martins Gomes, R., Batista Ribeiro, L., Malenko, M., Mauroner, F. & Scheipel, T. P.
1/09/15 → 31/12/23
Projekt: Forschungsprojekt
Rekonfigurierbare Prozessorarchitekturen
Baunach, M. C., Martins Gomes, R., Batista Ribeiro, L., Malenko, M., Mauroner, F., Scheipel, T. P. & Saikia, A.
1/09/14 → 31/12/23
Projekt: Forschungsprojekt

Dieses zitieren

Batista Ribeiro, L & Baunach, MC 2019, COFIE: a regex-like interaction and control flow description. in 2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS). Institute of Electrical and Electronics Engineers, S. 67-72, IEEE International Conference on Industrial Cyber-Physical Systems 2019, Taipei, Taiwan, 6/05/19. https://doi.org/10.1109/ICPHYS.2019.8780170

@inproceedings{f496cc4ee09a40378f4dd247609690e8,

title = "COFIE: a regex-like interaction and control flow description",

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",

author = "{Batista Ribeiro}, Leandro and Baunach, {Marcel Carsten}",

year = "2019",

month = aug,

doi = "10.1109/ICPHYS.2019.8780170",

language = "English",

pages = "67--72",

booktitle = "2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "IEEE International Conference on Industrial Cyber-Physical Systems 2019, IEEE ICPS 2019 ; Conference date: 06-05-2019 Through 09-05-2019",

url = "http://icps19.org/",

}

TY - GEN

T1 - COFIE: a regex-like interaction and control flow description

AU - Batista Ribeiro, Leandro

AU - Baunach, Marcel Carsten

PY - 2019/8

Y1 - 2019/8

N2 - 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

AB - 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

U2 - 10.1109/ICPHYS.2019.8780170

DO - 10.1109/ICPHYS.2019.8780170

M3 - Conference paper

SP - 67

EP - 72

BT - 2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS)

PB - Institute of Electrical and Electronics Engineers

T2 - IEEE International Conference on Industrial Cyber-Physical Systems 2019

Y2 - 6 May 2019 through 9 May 2019

ER -

COFIE: a regex-like interaction and control flow description

Abstract

Konferenz

Zugriff auf Dokument

Fingerprint

Projekte

Embedded Automotive Systems

Betriebssysteme für eingebettete Systeme

Rekonfigurierbare Prozessorarchitekturen

Dieses zitieren