Informal Control code logic

Abstract

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.

References in corpus (3)

• Searching publications on software testing
• Searching publications on operating systems
• A progression ring for interfaces of instruction sequences, threads, and services

Cited by in corpus (5)

• Preliminaries to an investigation of reduced product set finance
• Informatics Perspectives on Decision Taking, a Case Study on Resolving Process Product Ambiguity
• Business Mereology: Imaginative Definitions of Insourcing and Outsourcing Transformations
• Steering Fragments of Instruction Sequences
• Outsourcing Competence