OPULION
Capabilities
Industries
Work
Ground TruthToolsAboutStart a conversation
Ground Truth

Tagged mcdc

1 piece

  • September 4, 2026 · 5 min read

    What DO-178C and MC/DC Actually Require, With a Worked Example

    Branch coverage on D = A and B is satisfied by two tests, and a bug that ignores B passes both. MC/DC requires each condition to independently flip the outcome, needing three tests, and it catches that bug. It is the cleanest illustration of covered against proven.

OPULION

We own the production programs that cannot fail, end to end, from the baseboard controller to the model.

One accountable owner
across the whole stack.

Capabilities
DiagnoseArchitectBuildHardenOperate
Industries
Defense + Uncrewed SystemsMedical DevicesIndustrial AutomationInfrastructure + Fleet PlatformsEnergy + UtilitiesFintech + RiskRobotics + Autonomous SystemsConnected Hardware + EmbeddedEnterprise Software
Firm
AboutWorkGround TruthMethodEngage
Reference
ToolsGlossaryThe numbers
Opulion Systems LLC · Casper, Wyoming, USA
mostafa@opulion.dev© 2026