학술논문
Safety considerations for WCET evaluation methods in avionic equipment
Document Type
Conference
Source
2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2015 IEEE/AIAA 34th. :1-12 Sep, 2015
Subject
Language
ISSN
2155-7195
2155-7209
2155-7209
Abstract
❙ WCET evaluation is a way to transform a risk in another risk > Exceeding deadlines vs. oversizing a whole equipment > WCET computation tools would benefit of risk assessment - Why not selling them alongside with their fault tree? > Independence from compiler is not mandatory in safe design process ❙ WCET computation does not produces only final WCET… > Static methods apply at early stage of equipment development > Highlight non-trivial hardware configurations that could be tested > Deeply explores binary code - Third-party libraries - Faulty execution paths ❙ Next step: integrate interferences penalty in this safety process > Multi-core processors support