The "Router Ban" Oppertunity

General
1

Given the new “router ban”, and how it’s all because of security, it occurs to me that an Ada implementation of the requisite standards/protocols, proved with SPARK and leveraging Annex H’s Inspection_Point and Reviewable pragmas would go a long way to addressing the problems — bonus points if it’s bare-metal, foregoing even an OS.

(The way to hit all the problems would be to VHDL the components, too. On that thought, see this thread.)

1 Like
2

The router ban is actually more about the HW than the SW, because there’s no way to actually see what’s inside the chip in your box. So you can’t tell where the malware is. But to build a cybersecure product, you need both HW+SW working together. So switching to Ada/SPARK along with new RTL would be the smart move.