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

Embedded Operating Systems
Baunach, M. C. (Co-Investigator (CoI)), Martins Gomes, R. (Co-Investigator (CoI)), Batista Ribeiro, L. (Co-Investigator (CoI)), Malenko, M. (Co-Investigator (CoI)), Mauroner, F. (Co-Investigator (CoI)) & Scheipel, T. P. (Co-Investigator (CoI))
1/09/15 → 31/12/23
Project: Research project
Reconfigurable Processor Architectures
Baunach, M. C. (Co-Investigator (CoI)), Martins Gomes, R. (Co-Investigator (CoI)), Batista Ribeiro, L. (Co-Investigator (CoI)), Malenko, M. (Co-Investigator (CoI)), Mauroner, F. (Co-Investigator (CoI)), Scheipel, T. P. (Co-Investigator (CoI)) & Saikia, A. (Co-Investigator (CoI))
1/09/14 → 31/12/23
Project: Research project
Embedded Automotive Systems
Baunach, M. C. (Co-Investigator (CoI)), Batista Ribeiro, L. (Co-Investigator (CoI)), Martins Gomes, R. (Co-Investigator (CoI)), Malenko, M. (Co-Investigator (CoI)), Scheipel, T. P. (Co-Investigator (CoI)), Saikia, A. (Co-Investigator (CoI)), Nagarajan, D. (Co-Investigator (CoI)), Manjunath, V. (Co-Investigator (CoI)), Kissich, M. W. (Co-Investigator (CoI)) & Kanics, K. (Co-Investigator (CoI))
1/09/14 → 31/12/24
Project: Research area

Cite this

@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 = "IEEE",

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

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 Operating Systems

Reconfigurable Processor Architectures

Embedded Automotive Systems

Cite this