Abstract
Software-implemented fault tolerance is an attractive technique for constructing fail-safe and fault-tolerant processing nodes for road vehicles and other cost-sensitive applications. This paper investigates the memory consumption and execution time overhead obtained when implementing time-redundant execution and control flow checking in software for an automotive brake controller application. These two mechanisms were implemented at the source code level using three implementations techniques: aspect-oriented programming (AOP), source code transformation and manual programming in C. The results show that AOP generates much higher overheads than code transformation for strictly systematic implementations. On the other hand, when application knowledge is used to optimize the implementations, the overhead of AOP is similar to that of manual programming in C.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Nicolescu, B., Savaria, Y., Velazco, R.: Software Detection Mechanisms Providing Full Coverage Against Single Bit-Flip Faults. IEEE Transactions on Nuclear Science 51(6), Part 2, 3510–3518 (2004)
Oh, N., Shirvani, P., McCluskey, E.J.: Control-Flow Checking by Software Signatures, Center for Reliable Computing, Stanford Univ., CA, CRC-TR-00-4 (CSL TR num 00-800) (2000)
Spinczyk, O., Gal, A., Schröder-Preikschat, W.: AspectC++: An Aspect-Oriented Extension to C++. In: 40th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Pacific 2002), Sydney, Australia, pp. 18–21 (2002)
Alexandersson, R., Öhman, P.: Implementing Fault Tolerance Using Aspect Oriented Programming. In: Bondavalli, A., Brasileiro, F., Rajsbaum, S. (eds.) LADC 2007. LNCS, vol. 4746, pp. 57–74. Springer, Heidelberg (2007)
Alexandersson, R., Öhman, P.: On Hardware Resource Consumption for Aspect-Oriented Implementation of Fault Tolerance. In: 8th European Dependable Computing Conference, Valencia, Spain, April 28-30 (2010) (to appear)
Damm, A.: The effectiveness of software error-detection mechanisms in real-time operating systems, FTCS Digest of Papers. In: 16th Annual International Symposium on Fault-Tolerant Computing Systems, Washington, DC, USA (1986)
Rebaudengo, M., Reorda, M.S., Violante, M.: A new approach to software-implemented fault tolerance. Journal of Electronic Testing: Theory and Applications (20), 433–437 (2004)
Oh, N., McCluskey, E.J.: Error detection by selective procedure call duplication for low energy consumption. IEEE Transactions on Reliability 51(4), 392–402 (2002)
Skarin, D., Karlsson, J.: Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System. In: 7th European Dependable Computing Conference (EDCC-7), pp. 145–154 (2008)
Vinter, J., Johansson, A., Folkesson, P., Karlsson, J.: On the design of robust integrators for fail-bounded control systems. In: International Conference on Dependable Systems and Networks 2003, San Fransisco, USA, pp. 415–424 (2003)
Szentivanyi, D., Nadjm-Tehrani, S.: Aspects for improvement of performance in fault-tolerant software. In: 10th IEEE Pacific Rim International Symposium on Dependable Computing, pp. 283–291 (2004)
Afonso, F., Silva, C., Brito, N., Montenegro, S., Tavares, A.: Aspect-Oriented Fault Tolerance for Real-Time Embedded Systems. In: ACP4IS 2008: 7th workshop on Aspects, components, and patterns for infrastructure software (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alexandersson, R., Öhman, P., Karlsson, J. (2010). Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead. In: Schoitsch, E. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2010. Lecture Notes in Computer Science, vol 6351. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15651-9_34
Download citation
DOI: https://doi.org/10.1007/978-3-642-15651-9_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15650-2
Online ISBN: 978-3-642-15651-9
eBook Packages: Computer ScienceComputer Science (R0)