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

A Service-Based Modelling Approach to Ease the Certification of Multi-Core COTS Processors 2019-01-1851

The Phylog project aims at offering a model-based software-aided certification framework for aeronautical systems based on multi/many-core architectures. Certifying such platforms will entail fulfilling the high level objectives of the MCP-CRI / CAST-32A position paper. Among those, two types of analysis are required: interference and safety analyses. Because of the large size of the platforms and their complexity, those analyses can lead to combinatorial explosion and to some misinterpretation. To tackle these issues, we explore a service-based modelling approach that leads to a simplification of the analyses and to the highlighting of salient properties, making the adaptation of the certification argumentation efficient.

SAE MOBILUS

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

Access SAE MOBILUS »

Preview Document Add to Cart
Members save up to 18% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:
TECHNICAL PAPER

System Architecture Driven Software Design Analysis Methodology and Toolset

2012-01-2132

View Details

TECHNICAL PAPER

Virtualization Technology and Using Virtual CPU in the Context of ISO26262: The E-Gas Case Study

2013-01-0196

View Details

TECHNICAL PAPER

How to Meet Compliance to Software Architecture Design Principles

2019-01-1040

View Details

X