Formal schedulability analysis based on multi-core RTOS model-Reference-Cited by-同舟云学术

Formal schedulability analysis based on multi-core RTOS model

Published:2021-04-07 Issue: Volume: Page:
ISSN:
Container-title:29th International Conference on Real-Time Networks and Systems
language:
Short-container-title:

Author:

Haur Imane¹,Béchennec Jean-Luc²,Roux Olivier Henri³

Affiliation:

1. École Centrale de Nantes and Huawei, France

2. CNRS, France

3. École Centrale de Nantes, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3453417.3453437

Reference31 articles.

1. A theory of timed automata

2. ARINC Group. 2019. 653P1-5 Avionics Application Software Standard Interface Part 1 Required Services. https://www.aviation-ia.com/products/653p1-5-avionics-application-software-standard-interface-part-1-required-services ARINC Group. 2019. 653P1-5 Avionics Application Software Standard Interface Part 1 Required Services. https://www.aviation-ia.com/products/653p1-5-avionics-application-software-standard-interface-part-1-required-services

3. AUTOSAR GbR. 2009. Specification of operating system. AUTOSAR GbR. 2009. Specification of operating system.

4. The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal verification process of the compliance of a multicore AUTOSAR OS;Software Quality Journal;2023-05-25

2. MultiSSE: Static Syscall Elision and Specialization for Event-Triggered Multi-Core RTOS;2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS);2023-05

3. Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints;SIMULATION;2022-05-21

4. High-level Colored Time Petri Nets for true concurrency modeling in real-time software;2022 8th International Conference on Control, Decision and Information Technologies (CoDIT);2022-05-17

5. Formal Verification of the Inter-core Synchronization of a Multi-core RTOS Kernel;Formal Methods and Software Engineering;2022