Ensuring robust partitioning in multicore platforms for IMA systems

Gatti, Marc; Jean, Xavier; Pautet, Laurent; Robert, Thomas; Faura, David

doi:10.1109/dasc.2012.6382408

Cited by 23 publications

(8 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The behavior or performance in one partition may be affected by another partition, violating the alternative gold standard, which is incompatible with existing guidelines [2,41].…”

Section: Interconnectmentioning

confidence: 94%

“…Robust partitioning is (re)defined and refined in several documents which makes it complicated to extract the official definition [41]. For example, RTCA/DO-297 [80] defines it by stating that it "ensures that any hosted application or function has no unintended effect on other hosted applications or functions".…”

Section: Robust Partitioningmentioning

confidence: 99%

“…With the introduction of IMA and multi-core, the robust partitioning property needs to be addressed and ensured [41]. ARINC 653 [1] is a software specification for space and time partitioning (see Section 2.3.5), aiming at an alternative gold standard.…”

Section: Robust Partitioningmentioning

confidence: 99%

See 2 more Smart Citations

Timing Predictability in Future Multi-Core Avionics Systems

Löfwenmark¹

2017

View full text Add to dashboard Cite

With more functionality added to safety-critical avionics systems, new platforms are required to offer the computational capacity needed. Multi-core platforms offer a potential that is now being explored, but they pose significant challenges with respect to predictability due to shared resources (such as memory) being accessed from several cores in parallel. Multi-core processors also suffer from higher sensitivity to permanent and transient faults due to shrinking transistor sizes.This thesis addresses several of these challenges. First, we review major contributions that assess the impact of fault tolerance on worst-case execution time of processes running on a multi-core platform. In particular, works that evaluate the timing effects using fault injection methods. We conclude that there are few works that address the intricate timing effects that appear when inter-core interferences due to simultaneous accesses of shared resources are combined with the fault tolerance techniques. We assess the applicability of the methods to COTS multi-core processors used in avionics. We identify dark spots on the research map of the joint problem of hardware reliability and timing predictability for multi-core avionics systems.Next, we argue that the memory requests issued by the real-time operating systems (RTOS) must be considered in resource-monitoring systems to ensure proper execution on all cores.We also adapt and extend an existing method for worst-case response time analysis to fulfill the specific requirements of avionics systems. We relax the requirement of private memory banks to also allow cores to share memory banks.

show abstract

“…The behavior or performance in one partition may be affected by another partition, violating the alternative gold standard, which is incompatible with existing guidelines [2,41].…”

Section: Interconnectmentioning

confidence: 94%

Section: Robust Partitioningmentioning

confidence: 99%

See 1 more Smart Citation

Timing Predictability in Future Multi-Core Avionics Systems

Löfwenmark¹

2017

View full text Add to dashboard Cite

show abstract

“…With the introduction of IMA and multi-core, the robust partitioning property needs to be addressed and ensured [6].…”

Section: Robust Partitioning and Certificationmentioning

confidence: 99%

“…According to Jean et al [6] robust partitioning is (re)defined and refined in several documents which makes it complicated to extract the official definition. For example RTCA/DO-297 [7] defines it by stating that it "ensures that any hosted application or function has no unintended effect on other hosted applications or functions".…”

Section: Robust Partitioning and Certificationmentioning

confidence: 99%