Using the Compliance Notation in Industry

摘要

A set of tools have been developed, as well as using existing tools, and integrated into a framework for accepting safety critical systems. This framework, and the tools and techniques within it, have been used for the acceptance of a significant hard real-time safety critical system. The WCET tool is based on a new symbolic execution algorithm that is less pessimistic than the traditional WCET algorithm. The tool is based on Java Byte Code and is easily characterized for different languages, compilers, processors and configurations. WCET analysis is an essential component in gaining assurance for future time-critical real-time systems. Many such control systems are to be found in new and legacy military systems. Well-defined acceptance techniques can be used to show whether contractual conditions have been met; for example, that the safety assurance is adequate. This should lead to developers incorporating it into their development processes. The reason for this is that a developer will wish to ensure that it will be paid for achieving its contractual obligations. The acceptance techniques should ideally be designed to be independent of the development process in order for them to be as widely applicable as possible. In practice, it has been shown that some knowledge of the development process has to be taken into account in order to join them up cost-effectively. The adoption of acceptance techniques by the developer would also lead to more effective testing and cost reductions, because there would be less re-work due to the cycle of fixing bugs, testing and then fixing them again.