COFIE: a regex-like interaction and control flow description

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish
Title of host publication2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS)
PublisherInstitute of Electrical and Electronics Engineers
Pages67-72
ISBN (Electronic)978-1-5386-8500-6
DOIs
Publication statusPublished - Aug 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

Fingerprint Dive into the research topics of 'COFIE: a regex-like interaction and control flow description'. Together they form a unique fingerprint.

Cite this