COFIE: a regex-like interaction and control flow description

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-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.
LanguageEnglish
Title of host publication2019 IEEE Industrial Cyber-Physical Systems
StatusAccepted/In press - May 2019
EventIEEE International Conference on Industrial Cyber-Physical Systems 2019 - Taipei, Taiwan, Province of China
Duration: 6 May 20199 May 2019
http://icps19.org/

Conference

ConferenceIEEE International Conference on Industrial Cyber-Physical Systems 2019
Abbreviated titleIEEE ICPS 2019
CountryTaiwan, Province of China
CityTaipei
Period6/05/199/05/19
Internet address

Cite this

Batista Ribeiro, L., & Baunach, M. C. (Accepted/In press). COFIE: a regex-like interaction and control flow description. In 2019 IEEE Industrial Cyber-Physical Systems

COFIE: a regex-like interaction and control flow description. / Batista Ribeiro, Leandro; Baunach, Marcel Carsten.

2019 IEEE Industrial Cyber-Physical Systems. 2019.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Batista Ribeiro, L & Baunach, MC 2019, COFIE: a regex-like interaction and control flow description. in 2019 IEEE Industrial Cyber-Physical Systems., Taipei, Taiwan, Province of China, 6/05/19.
@inproceedings{f496cc4ee09a40378f4dd247609690e8,
title = "COFIE: a regex-like interaction and control flow description",
abstract = "The integration of safety-critical software is stillhuman-supervised, therefore it is time-consuming, expensiveand error-prone. A fully automated integration process wouldbe cheaper and more reliable, but it demands extra meta-information about the software and related interactions, sincefunctional and non-functional properties, which are not visiblefrom the binary, must be handled. Therefore, we propose COFIE,a regex-like description of the interaction behavior and controlflow of functions (and tasks) in a module. It is the first stepfor our ultimate goal of achieving a full automation on softwareintegration.",
author = "{Batista Ribeiro}, Leandro and Baunach, {Marcel Carsten}",
year = "2019",
month = "5",
language = "English",
booktitle = "2019 IEEE Industrial Cyber-Physical Systems",

}

TY - GEN

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

AU - Batista Ribeiro, Leandro

AU - Baunach, Marcel Carsten

PY - 2019/5

Y1 - 2019/5

N2 - The integration of safety-critical software is stillhuman-supervised, therefore it is time-consuming, expensiveand error-prone. A fully automated integration process wouldbe cheaper and more reliable, but it demands extra meta-information about the software and related interactions, sincefunctional and non-functional properties, which are not visiblefrom the binary, must be handled. Therefore, we propose COFIE,a regex-like description of the interaction behavior and controlflow of functions (and tasks) in a module. It is the first stepfor our ultimate goal of achieving a full automation on softwareintegration.

AB - The integration of safety-critical software is stillhuman-supervised, therefore it is time-consuming, expensiveand error-prone. A fully automated integration process wouldbe cheaper and more reliable, but it demands extra meta-information about the software and related interactions, sincefunctional and non-functional properties, which are not visiblefrom the binary, must be handled. Therefore, we propose COFIE,a regex-like description of the interaction behavior and controlflow of functions (and tasks) in a module. It is the first stepfor our ultimate goal of achieving a full automation on softwareintegration.

M3 - Conference contribution

BT - 2019 IEEE Industrial Cyber-Physical Systems

ER -