Current certification guidance documents for aircraft provide plans, processes, and objectives. This has been successful in terms of achieving safety but it comes at the expense of leading to a less agile software development; this makes software development slow for greenfield development, prevents rapid updates of software, and prevents rapid upgrades of hardware. The use of formal methods (FM) has the potential to avoid some of these drawbacks. A critical issue today is the use of multicore and their potential to introduce inter-core interference which can violate real-time requirements. Therefore, in this paper, we present a two-step reasoning framework that can be used to bring some FM to the analysis of real-time requirements of software executing on multicore.
Methodology of Combining Empirical Stress Testing and Formal-Methods Based Schedulability Analysis for Real-Time Multicore Software
2023-10-01
1229895 byte
Conference paper
Electronic Resource
English
Schedulability analysis software
Online Contents | 1993
Formal System Specification and Testing of Critical Real-time Vehicle Control Software
British Library Conference Proceedings | 1994
|