Are Formal Contracts a useful Digital Twin of Software Systems?
Schiffl, Jonas
1; Weigl, Alexander
1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Weigl, Alexander
11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
Abstract:
Digital Twins are a trend topic in the industry today to either manage runtime information or forecast properties of devices and products. The techniques for Digitial Twins are already employed in several disciplines of formal methods, in particular, formal verification, runtime verification and specification inference. In this paper, we connect the Digital Twin concept and existing research areas in the field of formal methods. We sketch how digital twins for software-centric systems can be forged from existing formal methods.
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2023 |
| Sprache | Englisch |
| Identifikator | ISSN: 1613-0073 KITopen-ID: 1000164443 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Erschienen in | Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Ed.: S. Hallerstede |
| Veranstaltung | Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023 2023), Lübeck, Deutschland, 06.03.2023 |
| Verlag | CEUR-WS |
| Serie | CEUR workshop proceedings ; 3507 |
| Vorab online veröffentlicht am | 16.10.2023 |
| Externe Relationen | Abstract/Volltext |
| Schlagwörter | Formal Verification, Runtime Verification, Specification Mining, Temporal Logics |
| Nachgewiesen in | Scopus |