5.5.18 · D5Embedded Systems & Real-Time Software
Question bank — Safety-critical standards — DO-178C (airborne software), IEC 61508, ISO 26262
Before we start, one shared vocabulary reminder so no symbol goes unexplained:
True or false — justify
The A-in-DO-178C and the A-in-ISO-26262 mean the same thing
False — they are opposite. DAL A is the deadliest aviation level (hull loss), while ASIL A is the least safety-critical automotive level; ASIL D is the deadly one.
A higher SIL number means a larger allowed probability of failure on demand
False — it is the reverse. SIL 4 demands in , which is a smaller (more stringent) failure probability than SIL 1's .
DO-178C guarantees the delivered software is bug-free
False — it is a process standard. It only requires auditable evidence that a disciplined lifecycle (objectives, independence, coverage) was followed; residual bugs can still exist.
ISO 26262 is essentially IEC 61508 rewritten for cars
True — ISO 26262 is the automotive adaptation of the generic parent IEC 61508, reusing the "more danger ⇒ more rigor" logic but replacing quantitative SIL with the -derived ASIL.
MC/DC coverage automatically implies decision coverage was also achieved
True — to show each condition independently flips the outcome you must exercise the whole decision both TRUE and FALSE, so decision coverage is a subset of what MC/DC forces.
A QM classification in ISO 26262 means no development effort is required
False — QM means no safety-specific mandate, but normal quality-management engineering practices still apply; it is "no safety integrity requirement," not "no engineering."
Halving the proof-test interval halves for a 1oo1 channel
True — since is linear in , cutting the interval in half cuts the average failure probability in half.
Every one of DO-178C's 71 objectives must be met with independence at DAL A
False — even at DAL A only a subset of objectives require independence; the number of objectives and the number needing independence both grow with criticality, but not all demand it.
Spot the error
"For if (A && B), MC/DC just needs A and B each tested true and false — 4 tests."
The error is the count and the criterion. MC/DC needs each condition to independently flip the outcome while others are held fixed; for two conditions that is tests, not 4, and mere "each value seen" is condition coverage, not MC/DC.
"SIL 3 requires around , so qualifies."
The error is the band edge. SIL 3 is ; a value of is above and therefore lands in SIL 2, not SIL 3.
"DAL C requires MC/DC coverage."
The error is the mapping. MC/DC is the DAL A coverage criterion; DAL B needs decision coverage and DAL C only needs statement coverage — the cheapest of the three.
"ASIL is fixed by the component you're building, like SIL."
The error is confusing derivation methods. ASIL is computed per hazardous scenario from Severity, Exposure, and Controllability; it is not a fixed attribute you look up for a part.
"An ASIL D requirement can never be built from lower-rigor parts."
The error ignores ASIL decomposition. A D requirement may be split across two sufficiently independent elements (e.g. B(D)+B(D) or A+C), each developed at lower rigor, provided no common-cause failure links them.
"The factor of in is just a safety margin someone added."
The error is treating it as arbitrary. The comes from averaging the linearly-growing failure probability over the test interval — the mean of a line rising from 0 to is its midpoint.
"Because a car is mass-produced, ISO 26262 must be stricter than DO-178C."
The error is comparing rigor across domains. The standards use different scales and authorities for different consequences; "mass-produced" changes the certification model (self-cert + audit vs per-aircraft), not a universal strictness ranking.
Why questions
Why do these standards attach rigor to a level instead of demanding maximum rigor everywhere?
Because verification cost grows roughly exponentially with rigor, so you spend the expensive effort only where failure consequences are severe — an 80/20 of safety, echoed in Functional Safety.
Why does MC/DC catch bugs that plain decision coverage misses?
Decision coverage can pass by toggling the whole outcome while some condition's individual effect is never isolated; MC/DC forces each condition to demonstrably control the result, exposing faults hidden inside compound Booleans — see Code Coverage Metrics.
Why does IEC 61508 split its targets into "low demand" () versus "high/continuous demand" ()?
A rarely-acting safety function (like an emergency shutdown) is characterised by whether it works when finally called, so probability-per-demand fits; a continuously-relied-on function is better measured by dangerous failures per hour of operation.
Why is IEC 61508 called the "generic ancestor" of ISO 26262?
It was written domain-independently for any electrical/programmable safety system, and automotive engineers specialised it into ISO 26262 rather than reinventing the underlying functional-safety philosophy.
Why does higher DAL demand independence in verification, not just more tests?
Independence removes the blind spots of self-review — the person who wrote a bug tends to re-test with the same wrong mental model, so a separate reviewer breaks common-cause reasoning errors, a redundancy idea from Fault Tolerance & Redundancy.
Why is ASIL derived from three parameters , , rather than one?
Risk is not just how bad an outcome is; a rare situation () or one the driver can easily control () lowers real-world danger even when severity () is high — combining all three, à la FMEA & Hazard Analysis, estimates true exposure to harm.
Edge cases
What ASIL does a scenario with S0 (no injury possible) receive, regardless of E and C?
QM — if no injury can occur, there is no safety hazard to integrate against, so no safety integrity level is assigned no matter how frequent or uncontrollable the situation.
What happens to as the proof-test interval (continuous perfect testing)?
It approaches , since ; constant re-testing means a dangerous undetected fault is essentially never latent — an idealised limit, unreachable in practice.
Where does the approximation used in the derivation break down?
When is no longer small (long intervals or high failure rates), the true curves below the straight line, so the simplified formula overestimates and the linear model must be replaced — linked to Failure Rate & Reliability.
What coverage does DAL E software require?
None mandated for safety — DAL E means "no effect on safety" if it fails, so no structural coverage objective applies; it is engineered to normal quality expectations only.
What is the RRF (risk reduction factor ) at the boundary between SIL 3 and SIL 4?
At (the SIL 3/SIL 4 edge) the RRF is exactly ; values needing more reduction than this cross into SIL 4 territory.
If two "independent" elements in an ASIL decomposition share a common power supply, is the decomposition valid?
No — a shared power supply is a common-cause failure that can down both elements at once, violating the independence precondition, so the split back to lower rigor is not credible.
Recall One-line self-test
Say aloud the deadly extreme of each scale ::: DO-178C A is deadly, ISO 26262 D is deadly, IEC 61508 4 is deadly.