An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
Conceptual Modeling of Coincident Failures in Multiversion Software
IEEE Transactions on Software Engineering
Evaluation of safety-critical software
Communications of the ACM
An Empirical Study on Reliability Modeling for Diverse Software Systems
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
Diverse hardware platforms in embedded systems lab courses: a way to teach the differences
ACM SIGBED Review - Special issue: The first workshop on embedded system education (WESE)
Hi-index | 0.00 |
Designing highly reliable embedded software is a challenge and several approaches are known to improve the reliability of this software. However, all approaches have their advantages and disadvantages whichmakes empirical evaluations investigating their potentials necessary. In this paper, different approaches of software reliability improvement for embedded systems were compared on basis of experiments conducted at our institute. The first approach is an instance of N-version programming based on forced diversity. Two fundamentally diverse hardware platforms (microcontroller and CPLD/FPGA) were used to force diversity. Another experimentwas conducted inwhich participants designed their software on one hardware platform only. The second half of this experiment was used for review and testing. Based on our experiments, the potentials of our application of N-version programming, review and testing are compared with respect to different fault categories (specification, implementation, application) identified during evaluation.