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 | |
| 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 | Taiwan, Province of China |
| City | Taipei |
| Period | 6/05/19 → 9/05/19 |
| Internet address |
Fingerprint
Cite this
Batista Ribeiro, L., & Baunach, M. C. (2019). COFIE: a regex-like interaction and control flow description. In 2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS) (pp. 67-72). Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICPHYS.2019.8780170