DocumentCode
3452353
Title
Coding regulations for safety critical software development
Author
Mazzanti, Franco
Author_Institution
Istituto di Elaborazione dell´´Inf., CNR, Pisa, Italy
fYear
1995
fDate
21-25 Aug 1995
Firstpage
134
Lastpage
138
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Standards Symposium, 1995. (ISESS'95) 'Experience and Practice', Proceedings., Second IEEE International
Conference_Location
Montreal, Que.
ISSN
1082-3670
Print_ISBN
0-8186-7137-8
Type
conf
DOI
10.1109/SESS.1995.525958
Filename
525958
Link To Document