Formal Support for Fault Modelling and Analysis
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Project Experience with IEC 61508 and Its Consequences
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Tool Support for Fine-Grained Software Inspection
IEEE Software
Design and Implementation of a Fine-Grained Software Inspection Tool
IEEE Transactions on Software Engineering
A Pattern-Based Framework for Software Anomaly Detection
Software Quality Control
Safety-Oriented Design of Component Assemblies using Safety Interfaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Knowledge-centric and language independent framework for safety analysis tools
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Justification of smart sensors for nuclear applications
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Selectively fortifying reconfigurable computing device to achieve higher error resilience
Journal of Electrical and Computer Engineering - Special issue on ESL Design Methodology
Hi-index | 0.00 |
This paper describes the Software Criticality Analysis (SCA) approach that was developed to support the justification of commercial off-the-shelf software (COTS) used in a safety-related system. The primary objective of SCA is to assess the importance to safety of the software components within the COTS and to show there is segregation between software components with different safety importance. The approach taken was a combination of Hazops based on design documents and on a detailed analysis of the actual code (100kloc). Considerable effort was spent on validation and ensuring the conservative nature of the results. The results from reverse engineering from the code showed that results based only on architecture and design documents would have been misleading.