PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Mazzanti F. Coding regulations for safety critical software development. In: ISESS'95 - Proceedings of 2nd IEEE International Software Engineering Symposium (Toronto, 1995). Proceedings, pp. 1 - 6. IEEE, 1995.
 
 
Abstract
(English)
This paper presents some limits and irregularities in current standards for safety critical software development, and suggests ways to improve the state ofthe 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 ofweaknesses in standards and make proposals for improvement.
Subject Critical software development
D.2.4 Software/Program Verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional