新兴技术软件行为计算在安全性与正确性中的应用 conv.docxVIP

SEI2024SecureSoftwareByDesignConference

TheEmergingTechnologyofSoftwareBehaviorComputationforSecurityandCorrectness

RickLingerAssuranceLabsInc.

rick.linger@assurancelabs.tech202-701-6257

Copyright?2024AssuranceLabs

1

SoftwareCanDwarfHardwareinComplexSystems

? Costallocation

Sincethe1980s,HW/SWcostratiohasshiftedfrom10:1to1:2

? Partscount

F-35:8MSWparts(instructions),300KHWparts:Ratio27/1

NASA:

“Wearenolongerbuildinghardwareintowhichweinstallenablingsoftware,wearebuildingsoftwaresystemswhichwewrapupinenablinghardware.”