Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Safety analysis of Hawk In Flight monitor
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Verification of Picture Generated Code
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
ICFEM '00 Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods
Portable worst-case execution time analysis using Java byte code
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
| Hi-index | 0.00 |
Assurance of software systems has traditionally beensought through the rigour of the development process.The higher the assurance the more demanding thedevelopment process, the highest assurance requiring theuse of formal methods during development. Thisapproach has been followed for decades with somesuccess, but increased assurance brings adisproportionate increase in cost and risk. In this paper achange in emphasis is suggested from the development ofa system to its acceptance. The benefits for highassurance systems are illustrated through a case studyand preliminary experience of high assurance techniquesare reported.