Assurance methods for COTS multi-cores in avionics

Jean, Xavier; Mutuel, Laurence H.; Brindejonc, Vincent

doi:10.1109/dasc.2016.7778074

Cited by 6 publications

(9 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To the best of our knowledge, few works have proposed solutions for resource usage 3. Researchers from Thales have proposed the Initiator-Target Model [6,14,17,18] to help identify the interference channels on multi-core chips. Their model is very simple, but suffers from a combinatorial explosion.…”

Section: Objectives and Contributionmentioning

confidence: 99%

See 1 more Smart Citation

Identification of Multi-Core Interference

Boniol¹,

Pagetti²,

Sensfelder³

2019

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)

View full text Add to dashboard Cite

The CAST-32A provides some guidelines to help certify multi-core-based systems in the avionics domain. One major requirement is to compute all the potential interference and to provide adequate mitigation means. In this paper, we compare two approaches to identify the interference: the initiatortarget and the Phylog models. The latter is more compact and efficient, despite also covering all of the problematic conflictual situations.

show abstract

Section: Objectives and Contributionmentioning

confidence: 99%

“…The initiator-target model has been introduced in [6] and reused in [14,17], and [18]. The goal was to provide a theoretical view for the identification of the interference channels (called performance contentions in [6]) that can occur in a multi-core processor.…”

Section: The Initiator-target Modelmentioning

confidence: 99%

Identification of Multi-Core Interference

Boniol¹,

Pagetti²,

Sensfelder³

2019

2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)

View full text Add to dashboard Cite

show abstract

“…These methods are used complementary as means for COTS assurance or to build up the DA strategy. The assurance process is not a proof, but rather an accumulation of elements that leads to bringing the conviction of industrial partners and certification authorities that the equipment embedding complex COTS hardware is safe [18]. Currently, it is the Certification Review Item (CRI) type of document 5 , requested by the certification authority that functions as the container for the assurance strategy of complex COTS components e.g.…”

Section: Certification Practicementioning

confidence: 99%

“…17 Section 5-10 in [25]. 18 Independence is only requested for confirmation measures, see section III-C7.…”

Section: Act Nrmentioning

confidence: 99%

Design assurance evaluation of microcontrollers for safety critical avionics

Schwierz

Forsberg

2017

2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC)

View full text Add to dashboard Cite

Dealing with Commercial off-the-shelf (COTS) components is a daily business for avionic system manufacturers. They are necessary ingredients for hardware designs, but are not built in accordance with the avionics consensus standard DO-254 for Airborne Electronic Hardware (AEH) design. Especially for complex COTS hardware components used in safety critical AEH, like Microcontroller Units (MCUs), additional assurance activities have to be performed. All of them together shall form a convincing confident, that the hardware is safe in its intended operation environment. The focus of DO-254 is one approach called Design Assurance (DA). Its aim is to reduce design errors by adherence of prescribed process objectives for the entire design life cycle. The effort for certain COTS assurance activities could be reduced if it is possible to demonstrate, that the COTS design process is based on similar effective design process guidelines to minimize desgin errors. In the last years, semiconductor manufacturers released safety MCUs in compliance to the ISO 26262 standard, dedicated for the development of functional safe automotive systems. These products are COTS components in the sense of avionics, but they are also developed according to a process that focuses on reduction of design errors. In this paper an evaluation is performed to figure out if the ISO 26262 prescribes a similar DA approach as the DO-254, in order to reduce the COTS assurance effort for coming avionic systems.

show abstract

“…into a safe state if the safety objective is violated. The methods used to ensure functional safety are used in various sectors such as the process industry, aerospace industry, automotive industry, robotics and medical applications [5][6][7].…”

Section: Introductionmentioning

confidence: 99%

Safe Position Detection Based on Safety System-on-Chip (SSoC) for Wireless IoT Application

Börcsök

Schwarz

Hafiz

et al. 2020

International Journal of Circuits, Systems and Signal Processing

View full text Add to dashboard Cite

Cyber Physical Systems (CPS) are predestined for use in Industry 4.0 applications. However, the interaction between the virtual and physical world also creates risks that is essential to be controlled. In highly automated industrial systems, for example, robots are used in confined spaces together with working humans. The risk posed by such systems endangers, among others, the people working there. This paper presents an approach to ensure the safety of the situation described above, which makes the workspace of industrial robots safer by implementing a safe workspace detection system. This system comprises several detection sensors implemented in a 2oo3 safety architecture and a Safety System on a Chip (SSoC) based on a safe 1oo2 system architecture. The safety-related redundancy provided by the detection and calculation elements enables a safe position detection of the robotic arm in the 3-dimensional space. The presented system monitors the position of the robotic arm and thus supports the safety of the surrounding objects and the people working there by leading to a safe standstill or to a reduced speed of movement of the robot as soon as the defined and permitted working space is left.

show abstract

Assurance methods for COTS multi-cores in avionics

Cited by 6 publications

References 6 publications

Identification of Multi-Core Interference

Identification of Multi-Core Interference

Design assurance evaluation of microcontrollers for safety critical avionics

Safe Position Detection Based on Safety System-on-Chip (SSoC) for Wireless IoT Application

Contact Info

Product

Resources

About