Science and Substance: A Challenge to Software Engineers
IEEE Software
Software metrics (2nd ed.): a rigorous and practical approach
Software metrics (2nd ed.): a rigorous and practical approach
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Determining component reliability using a testing index
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Estimating Dependability of Programmable Systems Using BBNs
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
A Bayesian Belief Network for Reliability Assessment
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Tests for consistent measurement of external subjective software quality attributes
Empirical Software Engineering
Should we try to measure software quality attributes directly?
Software Quality Control
Digital Watermarking Schemes Using Multi-resolution Curvelet and HVS Model
IWDW '09 Proceedings of the 8th International Workshop on Digital Watermarking
Hi-index | 0.00 |
There are many standards which are relevant for building safety or mission critical software systems. An effective standard is one that should help developers, assessors, and users of such systems. For developers the standard should help them build the system cost-effectively, and it should be clear what is required in order to conform to the standard. For assessors it should be possible to determine, objectively, compliance to the standard. Users and society at large should have some assurance that a system developed to the standard has quantified risks and benefits. Unfortunately, the existing standards do not adequately fulfill any of these varied requirements. We explain why standards are the way they are and then provide a strategy for improving them. Our approach is to evaluate standards on a number of key criteria that enable us to interpret the standard, identify its scope, and check the ease with which it can be applied and checked. We also need to demonstrate that the use of a standard is likely either to deliver reliable and safe systems at an acceptable cost or help predict reliability and safety accurately. Throughout the paper we examine, by example, a specific standard for safety critical systems (namely IEC 1508) and show how it can be improved by applying our strategy.