Informal Control code logic
Jan Aldert Bergstra · arXiv (Cornell University) · 2010
General definitions as well as rules of reasoning regarding control code production, distribution, deployment, and usage are described. The role of testing, trust, confidence and risk analysis is considered. A rationale for control code testing is sought and found for the case of safety critical embedded control code.