Ensuring robust partitioning in multicore platforms for IMA systems

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn , Issue , 2012, Pages

  Jean, Xavier ^a   Faura, David ^a   Gatti, Marc ^b   Pautet, Laurent ^b   Robert, Thomas ^b  

^a THALES AVIONICS   (France)

^b TELECOM PARISTECH   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARINC 653; DEPLOYMENT STRATEGY; LEVEL OF DETAIL; MANDATORY REQUIREMENT; MULTI-CORE PLATFORMS; MULTI-CORE PROCESSOR; MULTI-CORES; PARALLEL EXECUTIONS; PARTITIONED SYSTEMS;

DIGITAL AVIONICS;

EID: 84872473206     PISSN: 21557195     EISSN: 21557209     Source Type: Conference Proceeding    
DOI: 10.1109/DASC.2012.6382408     Document Type: Conference Paper

References (8)

1. RTCA, 2005, DO-297: Integrated Modular Avionics (IMA) Development, Guidance and Certification Considerations
2. Society of Automotive Engineers (SAE), 1996, ARP 4754: Certification Considerations for Highly-Integrated or Complex Aircraft Systems
3. Aeronautical Radio Inc (ARINC), 1997, ARINC 651: Design guidance for Integrated Modular Avionics
4. Rushby John, 1999, Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance. FAA-AR-99/58, Office of Aviation Research, Washington DC
5. Wilding Matthew M., David S. Hardin, David A. Greve, 1999, Invariant Performance: A statement of Task Isolation Useful for Embedded Application Integration. IEEE Computer Society, pp 287-
6. Aeronautical Radio Inc (ARINC), 2010, ARINC 653: Avionics Application Software Standard Interface Part 1-Required Services
7. Kinnan, L.M., 2009, Use of multicore processors in avionics systems and its potential impact on implementation and certification. IEEE Computer Society, pp. 1.E.4.1-1.E.4-6
8. Littlefield-Lawwill J., L. Kinnan, 2008, Ssystem considerations for robust time and space partitioning in Integrated Modular Avionics. IEEE Computer Society, pp. 1.B.1-1-1.B.1-11.