The Power of 10: Rules for Developing Safety-Critical Code
Abstract
Adhering to a set of 10 verifiable coding rules can make the analysis of critical software components more reliable.
- Publication:
-
Computer
- Pub Date:
- 2006
- DOI:
- Bibcode:
- 2006Compr..39f..95H
- Keywords:
-
- Upper bound;
- Testing;
- Software safety;
- NASA;
- Laboratories;
- Statistical analysis;
- Job shop scheduling;
- Guidelines;
- Performance evaluation;
- Data encapsulation;
- software development;
- software technologies;
- coding rules