Browse Publications Technical Papers 2019-01-1851
2019-09-16

Service-based modelling approach to ease the certification of multi-core COTS processors 2019-01-1851

PHYLOG is a four years DGAC (French Civil Aviation) project (2016-2020) that aims at offering a model-based and software-aided certification framework for aeronautics systems based on multi/many-core architectures. Among the objectives of the position paper MCP-CRI/CAST 32A, two types of analysis are required: interference analysis. and safety analysis. Because of the large size of the multi-core platforms and their complexity, those analyses can lead to combinatorial explosion and some misinterpretation. To simplify those analyses, we explore and classify multi-core platform properties in order to represent a platform as a set of services

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Attention: This item is not yet published. Pre-Order to be notified, via email, when it becomes available.
Members save up to 40% off list price.
Login to see discount.
Special Offer: With TechSelect, you decide what SAE Technical Papers you need, when you need them, and how much you want to pay.
X