DROPS

Document

DOI: 10.4230/OASIcs.AEiC.2026.3

A Certifiable Approach to Multicore Using Ada

Authors: José F. Ruiz

Published in: OASIcs, Volume 143, 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026)

Abstract

The adoption of multicore processors in safety-critical systems, such as avionics, automotive, and rail, introduces significant certification challenges, primarily related to determinism, predictability, and interference management. This paper examines how the Ada programming language, together with its restricted tasking profiles (Ravenscar and Jorvik) and bare-metal run-time libraries, provide a robust and certifiable execution model for multicore systems compliant with guidance such as AC 20-193. By enforcing static task partitioning, fixed-priority scheduling, and a simple synchronization model, the Ada approach systematically limits interference channels and timing variability. This model enables accurate schedulability analysis, simplifies verification activities, and allows the multicore run-time library itself and the application built on top of it to be certified.

Cite as

José F. Ruiz. A Certifiable Approach to Multicore Using Ada. In 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026). Open Access Series in Informatics (OASIcs), Volume 143, pp. 3:1-3:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@InProceedings{ruiz:OASIcs.AEiC.2026.3,
  author =	{Ruiz, Jos\'{e} F.},
  title =	{{A Certifiable Approach to Multicore Using Ada}},
  booktitle =	{30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026)},
  pages =	{3:1--3:15},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-425-3},
  ISSN =	{2190-6807},
  year =	{2026},
  volume =	{143},
  editor =	{Filieri, Antonio and Backeman, Peter},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.AEiC.2026.3},
  URN =		{urn:nbn:de:0030-drops-259217},
  doi =		{10.4230/OASIcs.AEiC.2026.3},
  annote =	{Keywords: multicore, certification, Ada}
}

Search Results

Documents authored by Ruiz, José F.

A Certifiable Approach to Multicore Using Ada

Abstract

Cite as

Thanks for your feedback!

Could not send message