Abstract
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 Industrial Cyber-Physical Systems |
Publication status | Accepted/In press - May 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 | Taiwan, Province of China |
City | Taipei |
Period | 6/05/19 → 9/05/19 |
Internet address |
Cite this
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 proceeding › Conference contribution › Research › peer-review
}
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 -