Informal control code logic
| Authors | |
|---|---|
| Publication date | 2010 |
| Number of pages | 39 |
| Publisher | Ithaca, NY: ArXiv |
| Organisations |
|
| 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. |
| Document type | Report |
| Language | English |
| Published at | http://arxiv.org/abs/1009.2902 |
| Downloads |
328266.pdf
(Submitted manuscript)
|
| Permalink to this page | |
