Automated application of fault tolerance mechanisms in a component-based system

ACM International Conference Proceeding Series

Volumn , Issue , 2011, Pages 87-95

  Thomm, Isabella ^a   Stilkerich, Michael ^a   Kapitza, Rüdiger ^a   Lohmann, Daniel ^a   Schröder Preikschat, Wolfgang ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

embedded systems; Java; KESO

Indexed keywords

AUTOMATED APPLICATIONS; BIT-FLIPS; COMPONENT BASED SYSTEMS; CRITICAL APPLICATIONS; FAULT TOLERANCE MECHANISMS; JAVA; KESO; MODERN EMBEDDED SYSTEMS; PROGRAMMING LANGUAGE; RELIABLE EXECUTION; SOFT ERROR; SOFTWARE-BASED; SOLUTION SPACE; STATIC CODE ANALYSIS; STRUCTURE SIZES; SYSTEM CONFIGURATIONS; TYPE SYSTEMS;

ERRORS; FAULT TOLERANCE; JAVA PROGRAMMING LANGUAGE; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

EMBEDDED SYSTEMS;

EID: 80755126983     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2043910.2043925     Document Type: Conference Paper

References (31)

1. F. Afonso, C. Silva, N. Brito, S. Montenegro, and A. Tavares. Aspect-oriented fault tolerance for real-time embedded systems. In Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software (ACP4IS '08), pages 1-8, 2008.
2. AUTOSAR. Specification of operating system (version 3.0.2). Technical report, Automotive Open System Architecture GbR, June 2008.
3. AUTOSAR. Specification of the virtual functional bus (version 3.0.7). Technical report, Automotive Open System Architecture GbR, July 2010.
4. AUTOSAR. Specification of watchdog manager (version 2.1.0). Technical report, Automotive Open System Architecture GbR, Oct. 2010.
5. S. Chen, X. Hu, B. Liu, and J. Chen. An on-line control ow checking method for vliw processor. In Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing, pages 248-255, Washington, DC, USA, 2007. IEEE Computer Society.
6. C. Fetzer, U. Schiffel, and M. Suesskraut. AN-Encoding compiler: Building safety-critical systems with commodity hardware. In Computer Safety, Reliability, and Security, volume 5775 of Lecture Notes in Computer Science, pages 283-296. Springer Berlin / Heidelberg, 2009.
7. R. Friedman and A. Kama. Transparent fault-tolerant java virtual machine, 2003.
8. JSR 121: Application Isolation API Specification. Sun Microsystems JCP, June 2006.
9. D. Lohmann, W. Hofer, W. Schröder-Preikschat, J. Streicher, and O. Spinczyk. CiAO: An aspect-oriented operating-system family for resource-constrained embedded systems. In 2009 USENIX ATC, pages 215-228, Berkeley, CA, USA, June 2009. USENIX.
10. A. Mahmood and E. J. McCluskey. Concurrent error detection using watchdog processors-a survey. IEEE Transactions on Computers, 37:160-174, February 1988. (Pubitemid 18596597)
11. J. Maiz, S. Hareland, K. Zhang, and P. Armstrong. Characterization of multi-bit soft error events in advanced srams. In Electron Devices Meeting, 2003. IEDM '03 Technical Digest. IEEE International, pages 21.4.1-21.4.4, Dec. 2003.
12. D. Makowski. The Impact of Radiation on Electronic Devices with the Special Consideration of Neutron and Gamma Radiation Monitoring. Dissertation, Technical University of Lodz, 2006.
13. J. Napper, L. Alvisi, and H. Vin. A fault-tolerant java virtual machine. In In Proceedings of the International Conference on Dependable Systems and Networks (DSN 2003), DCC Symposium, pages 425-434, 2002.
14. N. Oh, S. Mitra, and E. McCluskey. Ed4i: Error detection by diverse data and duplicated instructions. Computers, IEEE Transactions on, 51(2):180-199, 2002. (Pubitemid 34198185)
15. N. Oh, N. Shirvani, and E. P.P. McCluskey. Error detection by duplicated instructions in super-scalar processors. Reliability, IEEE Transactions on, 51:63-75, 2002. (Pubitemid 34630924)
16. N. Oh, P. Shirvani, and E. McCluskey. Control-ow checking by software signatures. Reliability, IEEE Transactions on, 51(1):111-122, Mar. 2002. (Pubitemid 34630928)
17. J. Ohlsson and M. Rimen. Implicit signature checking. Fault-Tolerant Computing, International Symposium on, 0:0218, 1995.
18. OSEK/VDX Group. Operating system specification 2.2.3. Technical report, OSEK/VDX Group, Feb. 2005. http://portal.osek-vdx.org/files/pdf/specs/os223.pdf, visited 2011-08-17.
19. S. Poledna. Replica determinism in distributed real-time systems: a brief survey. Real-Time Systems Journal, 6(3):289-316, 1994.
20. J. Pool, I. Sin, K. Wong, and D. Lie. Relaxed determinism: Making redundant execution on multiprocessors practical. In In Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS), 2007.
21. G. A. Reis, J. Chang, and D. I. August. Automatic instruction-level software-only recovery. IEEE Micro, 27(1):36-47, 2007. (Pubitemid 46850886)
22. G. A. Reis, J. Chang, N. Vachharajani, R. Rangan, and D. I. August. Swift: Software implemented fault tolerance. In In Proceedings of the 3rd International Symposium on Code Generation and Optimization, pages 243-254, 2005.
23. P. P. Shirvani, N. Saxena, S. M. Ieee, E. J. Mccluskey, and L. F. Ieee. Software-implemented edac protection against seus. Reliability, IEEE Transactions on, 49:273-284, 2000. (Pubitemid 32990729)
24. A. Shye, J. Blomstedt, T. Moseley, V. J. Reddi, and D. A. Connors. Plr: A software approach to transient fault tolerance for multicore architectures. IEEE Trans. Dependable Secur. Comput., 6:135-148, April 2009.
25. T. J. Slegel, R. M. Averill III, M. A. Check, B. C. Giamei, B. W. Krumm, C. A. Krygowski, W. H. Li, J. S. Liptay, J. D. MacDougall, T. J. McPherson, J. A. Navarro, E. M. Schwarz, K. Shum, and C. F. Webb. Ibm's s/390 g5 microprocessor design. IEEE Micro, 19:12-23, March 1999.
26. M. Stilkerich, J. Schedel, P. Ulbrich, W. Schröder-Preikschat, and D. Lohmann. Escaping the bonds of the legacy: Step-wise migration to a type-safe language in safety-critical embedded systems. In G. Karsai, A. Polze, D.-H. Kim, and W. Steiner, editors, 14th IEEE Int. Symp. on OO Real-Time Distributed Computing (ISORC '11), pages 163-170, Washington, DC, USA, Mar. 2011. IEEE.
27. M. Stilkerich, I. Thomm, C. Wawersich, and W. Schröder-Preikschat. Tailor-made JVMs for statically configured embedded systems. Concurrency and Computation: Practice and Experience, 2011. To appear. http://dx.doi.org/10. 1002/cpe.1755.
28. P. Ulbrich, R. Kapitza, C. Harkort, R. Schmid, and W. Schröder-Preikschat. I4Copter: An adaptable and modular quadrotor platform. In Proceedings of the 26th ACM Symposium on Applied Computing (SAC '11), pages 380-396, New York, NY, USA, 2011. ACM.
29. R. Venkatasubramanian, J. P. Hayes, and B. T. Murray. Low-cost on-line fault detection using control ow assertions. IEEE International On-Line Testing Symposium, 0:137, 2003.
30. Y. Yeh. Triple-triple redundant 777 primary ight computer. In Proceedings of the IEEE Aerospace Applications Conference, volume 1, pages 293-307 vol.1. IEEE, Feb. 1996.
31. Y. C. B. Yeh. Design considerations in boeing 777 y-by-wire computers. In The 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998.