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

Institute of Technical Informatics (4480)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

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

Original language	English
Title of host publication	2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS)
Publisher	Institute of Electrical and Electronics Engineers
Pages	67-72
ISBN (Electronic)	978-1-5386-8500-6
DOIs	https://doi.org/10.1109/ICPHYS.2019.8780170
Publication status	Published - Aug 2019
Event	IEEE International Conference on Industrial Cyber-Physical Systems 2019 - Taipei, Taiwan, Province of China Duration: 6 May 2019 → 9 May 2019 http://icps19.org/

Conference

Conference	IEEE International Conference on Industrial Cyber-Physical Systems 2019
Abbreviated title	IEEE ICPS 2019
Country/Territory	Taiwan, Province of China
City	Taipei
Period	6/05/19 → 9/05/19
Internet address	http://icps19.org/

Access to Document

10.1109/ICPHYS.2019.8780170

1 Active
2 Finished

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 → …
Project: Research area
Embedded Operating Systems
Baunach, M. C., Martins Gomes, R., Batista Ribeiro, L., Malenko, M., Mauroner, F. & Scheipel, T. P.
1/09/15 → 31/12/23
Project: Research project
Reconfigurable Processor Architectures
Baunach, M. C., Martins Gomes, R., Batista Ribeiro, L., Malenko, M., Mauroner, F., Scheipel, T. P. & Saikia, A.
1/09/14 → 31/12/23
Project: Research project

Cite this

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, pp. 67-72, IEEE International Conference on Industrial Cyber-Physical Systems 2019, Taipei, Taiwan, Province of China, 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

Conference

Access to Document

Fingerprint

Projects

Embedded Automotive Systems

Embedded Operating Systems

Reconfigurable Processor Architectures

Cite this