DocumentCode
283558
Title
Software standards for high integrity systems
Author
Froome, Peter K D
Author_Institution
Adelard, London, UK
fYear
1988
fDate
32457
Firstpage
42401
Lastpage
42404
Abstract
Standards for high integrity systems play an important part in achieving dependable systems, both by enshrining established good practice and by influencing technological change. The author looks at the issues that have to be addressed in drafting a standard that incorporates the use of techniques such as formal methods, in order to take maximum advantage of advances in software engineering while remaining implementable. Activities in the production of safe software, the impact of new technologies and the selection of methods and languages, are also discussed
Keywords
formal specification; quality control; safety systems; software reliability; standards; dependable systems; formal methods; high integrity systems; languages; new technologies; safe software; safety systems; software engineering; software standards; technological change;
fLanguage
English
Publisher
iet
Conference_Titel
Software Requirements for High Integrity Systems, IEE Colloquium on
Conference_Location
London
Type
conf
Filename
209588
Link To Document