Reasoning about the reliability of multi-version, diverse real-time systems

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2010, Pages 73-81

  Burns, A ^a   Littlewood, B ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b CITY UNIVERSITY   (United Kingdom)

Author keywords

Diversity; High integrity systems; Real time systems; Reliability; Safety critical systems

Indexed keywords

COMPUTATIONAL MODEL; DIVERSITY; EPISTEMIC UNCERTAINTIES; FAILURE RATE; HIGH-INTEGRITY SYSTEMS; MULTI-VERSION; POTENTIAL DEPENDENCY; REAL ENGINEERING; SAFETY-CRITICAL SYSTEMS; TWO-CHANNEL SYSTEM;

OCEAN STRUCTURES; QUALITY ASSURANCE; RELIABILITY ANALYSIS; SAFETY ENGINEERING; SECURITY SYSTEMS; UNCERTAINTY ANALYSIS;

REAL TIME SYSTEMS;

EID: 79951796002     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTSS.2010.43     Document Type: Conference Paper

References (33)

1. J. Anderson, S. Baruah, and B. Brandenburg. Multicore operating-system support for mixed criticality. In Proceedings of the Workshop on Mixed Criticality: Roadmap to Evolving UAV Certification, San Francisco, CA, April 2009.
2. S. Baruah, H. Li, and L. Stougie. Towards the design of certifiable mixed-criticality systems. In Proceedings of the IEEE Real-Time Technology and Applications Symposium (RTAS). IEEE, April 2010.
3. S. Baruah and S. Vestal. Schedulability analysis of sporadic tasks with multiple criticality specifications. In Proceedings of the EuroMicro Conference on Real-Time Systems, Prague, Czech Republic, July 2008. IEEE Computer Society Press.
4. I. Bate and T. Kelly. Architectural considerations in the certification of modular systems. Reliability Engineering and System Safety, 81:303-324, 2003.
5. R.E. Bloomfield and P.G. Bishop. Safety and assurance cases: past, present and possible future. In C. Dale, editor, Proceedings of Safety-critical Systems Symposium. Springer - to appear, 2010.
6. R.E. Bloomfield, P.G. Bishop, C.C.M. Jones, and P.K.D. Froome. Ascadadelard safety case development manual. Technical Report ISBN 0-9533771-0-5, Adelard, 1998.
7. R.J. Bril, J.J. Lukkien, and W.F.J. Verhaegh. Worst-case response time analysis of real-time tasks under fixed-priority scheduling with deferred preemption revisited. In ECRTS '07: Proceedings of the 19th Euromicro Conference on Real-Time Systems, pages 269-279. IEEE Computer Society, 2007.
8. A. Burns and I.J. Hayes. A timeband framework for modelling real-time systems. Real-Time Systems Journal, 45(1-2):106-142, June 2010.
9. A. Burns, I.J. Hayes, G. Baxter, and C.J. Fidge. Modelling temporal behaviour in complex socio-technical systems. techreport YCS 390, University of York, 2005.
10. A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison Wesley Longman, 4th edition, 2009.
11. A. Burns, A. J. Wellings, C.M. Bailey, and E. Fyfe. The olympus attitude and orbital control system: A case study in hard real-time system design and implementation. In Ada sans frontieres Proceedings of the 12th Ada-Europe Conference, Lecture Notes in Computer Science 688, pages 19-35. Springer-Verlag, 1993.
12. G.C. Buttazzo. Hard Real-Time Computing Systems. Springer, 2005.
13. R.I. Davis, A. Burns, R.J. Bril, and J.J. Lukkien. Controller area network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Systems, 35(3):239-272, 2007. (Pubitemid 46223453)
14. D. de Niz, K. Lakshmanan, and R. Rajkumar. On the scheduling of mixed-criticality real-time task sets. In Real-Time Systems Symposium, pages 291-300. IEEE Computer Society, 2009.
15. D.E. Eckhardt, A.K. Caglayan, J.C. Knight, J.D. Lee, D.F. McAllister, M.A. Vouk, and J.P.J. Kelly. An experimental evaluation of software redundancy as a strategy for improving reliability. IEEE Transactions on Software Engineering, 17(7):692-702, 1991.
16. D.E. Eckhardt and J.D. Lee. A theoretical basis of multiversion software subject to coincident errors. IEEE Transactions on Software Engineering, 11:1511-1517, 1985.
17. S. Edgar and A. Burns. Statistical analysis of WCET for scheduling. In Proceedings 22nd IEEE Real-Time Systems Symposium, 2001.
18. E. J. Gumbel. Statistics of Extremes. Columbia University Press, 1958.
19. J. Hansen, S. Hissam, and G.A. Moreno. Statistical-based WCET estimation and validation. Technical report, SEI, Carnegie Mellon, 2009.
20. ISO/IEC. Information technology - programming languages - guide for the use of the Ada Ravenscar Profile in high integrity systems. Technical Report TR 24718, ISO/IEC, 2005.
21. J.C. Knight and N.G. Leveson. Experimental evaluation of the assumption of independence in multiversion software. IEEE Transactions on Software Engineering, 12:96-109, 1986.
22. B. Littlewood and D. R. Miller. Conceptual modelling of coincident failures in multi-version software. IEEE Transactions on Software Engineering, 15:1596-1614, 1989.
23. B. Littlewood, P. Popov, and L. Strigini. Modelling software design diversity - a review. ACM Computing Surveys, 33:177-208, 2002.
24. B. Littlewood and J. Rushby. Reasoning about the reliability of diverse two-channel systems in which one of the channels is "perfect". Provisionally accepted for publication in IEEE Trans. Software Engineering, 2010.
25. B. Littlewood and L. Strigini. Validation of ultrahigh dependability for software-based systems. Communications of the ACM, 36(11):69-80, 1993.
26. B. Littlewood and D. Wright. Some conservative stopping rules for the operational testing of safety-critical software. IEEE Transactions Software Engineering, 23:673-683, 1997. (Pubitemid 127762230)
27. J.W.S. Liu. Real-Time Systems. Prentice Hall, 2000.
28. A. O'Hagan, C.E. Buck, A. Daneshkhah, J.R. Eiser, P.H. Garthwaite, D.J. Jenkinson, J.E. Oakley, and T. Rakow. Uncertain Judgements: Eliciting Experts' Probabilities. Wiley, 2006.
29. P. Popov, L. Strigini, J. May, and S. Kuball. Estimating bounds on the reliability of diverse systems. IEEE Transactions on Software Engineering, 24(4):345-359, 2003.
30. K. Tindell and A. Burns. Guaranteeing message latencies on controller area network (CAN). In Proceedings 1st International CAN Conference, pages 2-11, 1994.
31. K. Tindell, A. Burns, and A. J. Wellings. Calculating controller area network (CAN) message response times. Control Engineering Practice, 3(8):1163-1169, 1995.
32. S. Vestal. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In Proceedings of the Real-Time Systems Symposium, pages 239-243, Tucson, AZ, December 2007. IEEE Computer Society Press.
33. J. Woodcock, M. Oliveira, A. Burns, and K. Wei. Modelling and implementing complex systems with timebands. In Proc. IEEE Conference on Secure System Integration and Reliability Improvement, pages 1-13, 2010.