CAST-32A

Procesory wielordzeniowe
Skrót	CAST-32A
Rok rozpoczęty	2014
Ostatnia wersja	; Listopad 2016
Organizacja	FAA
Domena	Lotnictwo
Strona internetowa	faa.gov

CAST-32A, Procesory wielordzeniowe to dokument przedstawiający stanowisko zespołu ds. oprogramowania urzędów certyfikacji (CAST). Nie są to oficjalne wytyczne, ale są uważane za informacyjne przez urzędy certyfikacji, takie jak FAA i EASA . Kluczową kwestią jest to, że wielordzeniowy procesor „zakłócenia mogą wpływać na czas wykonywania, w tym czas wykonania w najgorszym przypadku (WCET)”.

Oryginalny dokument został opublikowany w 2014 roku przez „międzynarodową grupę przedstawicieli organów certyfikujących i regulacyjnych”. Obecna wersja A została opublikowana w 2016 r. „Federalna Administracja Lotnictwa Cywilnego (FAA) i Europejska Agencja Bezpieczeństwa Lotniczego (EASA) współpracowały z przemysłem w celu ilościowego określenia zestawu wymagań i wskazówek, które należy spełnić, aby certyfikować i używać wielordzeniowych procesorów w cywilnych lotnictwa, opisane np. w dokumencie przedstawiającym stanowisko FAA CAST-32A i raporcie badawczym EASA dotyczącym użycia procesorów MULTicore w systemach pokładowych (MULCORS). W przypadku wnioskodawców certyfikujących w ramach EASA, AMC 20-193 zastąpił CAST-32A od czasu wydania AMC20-193 w dniu 21 stycznia 2022 r. Oczekuje się, że FAA opublikuje wytyczne dotyczące okólnika doradczego AC 20-193 w 2022 r., co ma być prawie identyczny z AMC 20-193.

Oczekuje się, że jeden z pierwszych wielordzeniowych systemów awioniki o mieszanej krytyczności zostanie certyfikowany gdzieś w 2020 roku. Cele standardu mają zastosowanie do oprogramowania na procesorach wielordzeniowych, w tym systemu operacyjnego. Należy jednak szczegółowo zbadać charakter podstawowego sprzętu procesora, aby zidentyfikować potencjalne kanały zakłóceń spowodowane rywalizacją między rdzeniami o współdzielone zasoby. Weryfikację, czy wielordzeniowe kanały interferencji zostały złagodzone, można przeprowadzić za pomocą generatorów interferencji, tj. oprogramowania dostrojonego do tworzenia wzoru intensywnego użytkowania współdzielonego zasobu. Tworząc obciążenie dla współdzielonego zasobu, można zmierzyć i określić ilościowo wpływ rywalizacji między rdzeniami.

Cele

Norma przedstawia dziewięć celów, które muszą zostać spełnione dla poziomu gwarancji projektu (DAL) A lub B. Sześć z tych celów dotyczy DAL C. Norma nie dotyczy DAL D ani E.

Cel	Obowiązujące poziomy gwarancji projektu
Planowanie MPK 1	A, B, C
Wykorzystanie zasobów MCP 1	A, B, C
Wykorzystanie zasobów MCP 2	A, B
Planowanie MPK 2	A, B, C
Wykorzystanie zasobów MCP 3	A, B
Wykorzystanie zasobów MCP 4	A, B
Oprogramowanie MCP 1	A, B, C
Oprogramowanie MCP 2	A, B, C
Obsługa błędów MCP 1	A, B
Podsumowanie osiągnięć MCP 1	A, B, C