Echtzeit-Applikationen
Echtzeitschranken für Multicore-Prozessoren
Auf vielen Multicore-Prozessoren lassen sich Interferenzen zwischen den Cores weder vermeiden noch zeitlich exakt vorhersagen. Zur Bestimmung von Echtzeitschranken eignet sich ein hybrider Analyseansatz, der für alle Industriesektoren anwendbar ist und die Anforderungen der AMC 20-193 erfüllt.
Fortsetzung des Artikels von Teil 2
Literatur
[1] Kästner, D.: Applying Abstract Interpretation to Demonstrate Functional Safety. In Boulanger, J.-L., editor, Formal Methods Applied to Industrial Complex Systems, ISTE/Wiley, London, UK, 2014.
[2] Kästner, D. und Ferdinand, C.: Proving the Absence of Stack Overflows. In SAFECOMP ‚14: Proceedings of the 33th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Florence, 2014. Springer LNCS 8666, Springer, Heidelberg.
[3]. Kästner, D.; et al.: Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software. SAE Technical Paper 2023-01-0591, SAE World Congress 2023, Detroit, April 2023. DOI: https://doi.org/10.4271/2023-01-0591.
[4] Souyris, J.; et al.: Computing the worst case execution time of an avionics program by abstract interpretation. Proceedings of the WCET Workshop, 2005.
[5] The industry standard for static timing analysis. AbsInt, Website, www.absint.com/ait.
[6] Cullmann, C.; et al.: Predictability Considerations in the Design of Multi-Core Embedded Systems. Ingénieurs de l‘Automobile, volume 807, 2010.
[7] Nowotsch, J.; et al.: Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement. In ECRTS’14: Proceedings of the 26th Euromicro Conference on Real-Time Systems, July 2014.
[8] AMC-20 – Amendment 23. AMC 20-193 Use of multi-core processors. EASA, 2022.
[9] Hybrid worst-case timing analysis. AbsInt, Website, www.absint.com/timeweaver.
[10] Kästner, D.; et al.: Multi-core WCET Analysis Using Non-Intrusive Continuous Observation. In ERTS 2024: Embedded Real TimeSoftware and Systems, 12th European Congress, June 2024, Toulouse.