First Principles Applied to Software Safety: The Novel Use of Silicon Machinery

摘要

High Assurance Systems Engineering represents the attributes of 1)skilled/professional exercise of an engineering discipline(s) and 2) personal ethical commitment to the achievement of assurance objectives. Assurance objectives include all aspects of a product's life cycle and its operational profile, inclusive of physical environments it must operate in. Professional capability is a matter of academic preparation and acquired skills/experience. In Public Works projects, professional capability is measured through a Professional Engineer Certification process and is generally a legal contract requirement. Personal ethical commitment is not so easily measured and is analogous of the physicians Hippocratic oath.