This paper presents some limits and irregularities in current standards for safety critical software development, and suggests ways to improve the state of the art. The need for well organized, rigorous and verifiable coding regulations to promote the development of software with predictable quality and safety characteristics is explained. We show specific examples of weaknesses in standards and make proposals for improvement.
Coding regulations for safety critical software development
Mazzanti F
1995
Abstract
This paper presents some limits and irregularities in current standards for safety critical software development, and suggests ways to improve the state of the art. The need for well organized, rigorous and verifiable coding regulations to promote the development of software with predictable quality and safety characteristics is explained. We show specific examples of weaknesses in standards and make proposals for improvement.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_409556-doc_144006.pdf
solo utenti autorizzati
Descrizione: Coding regulations for safety critical software development
Tipologia:
Versione Editoriale (PDF)
Dimensione
905.88 kB
Formato
Adobe PDF
|
905.88 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
