How to Develop High Integrity Software for Autonomous Embedded Systems

A fundamental principle of an autonomous embedded system is that it must be trusted to do the...