Experiments in software reliability: Life-critical applications
IEEE Transactions on Software Engineering
A review of Ada tasking
An Approach to Experimental Evaluation of Real-Time Fault-Tolerant Distributed Computing Schemes
IEEE Transactions on Software Engineering
Proceedings of the First International Conference on Formal Description Techniques
Proceedings of the First International Conference on Formal Description Techniques
Test design for computer network protocols
Test design for computer network protocols
Engineering dependability with design diversity: a distributed software experiment in ada
Engineering dependability with design diversity: a distributed software experiment in ada
Implementing Design Diversity to Achieve Fault Tolerance
IEEE Software
Hi-index | 0.00 |
Distributed software engineering techniques and methods for improving the specification and testing phases are considered. To examine these issues, an experiment was performed using the design diversity approach in the specification, design, implementation, and testing of distributed software. In the experiment, three diverse formal specifications were used to produce multiple independent implementations of a distributed communication protocol in Ada. The problems encountered in building complex concurrent processing systems in Ada were also studied. Many pitfalls were discovered in mapping the formal specifications into Ada implementations.