Title :
Coding regulations for safety critical software development
Author :
Mazzanti, Franco
Author_Institution :
Istituto di Elaborazione dell´´Inf., CNR, Pisa, Italy
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
Keywords :
safety-critical software; software development management; software quality; software standards; coding regulations; safety critical software development; software quality; software safety; software standards; verifiable coding regulations; Application software; Computer languages; Programming; Proposals; Software engineering; Software safety; Software standards; Standards development; Standards organizations; Standards publication;
Conference_Titel :
Software Engineering Standards Symposium, 1995. (ISESS'95) 'Experience and Practice', Proceedings., Second IEEE International
Conference_Location :
Montreal, Que.
Print_ISBN :
0-8186-7137-8
DOI :
10.1109/SESS.1995.525958
