Specifying the worst case: orthogonal modeling of hardware errors

ABSTRACT

During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subject. This is especially true in embedded systems where parts of a system's function are realized by sensors and actuators, which are subject to wear and defects. As testing with the real hardware is costly and hardware defects are hard to stimulate, such tests are often performed using behavior models of the system which allow to execute the controller software against simulated hardware and environment. However, these models seldom contain possible hardware errors, as this makes the models more complex and, thus, harder to create and maintain. This paper presents a modeling technique for the description of system errors without modifying the original model. Error specifications for individual system components are modeled separately and can be used to augment the system model.

REFERENCES

• 1: Alfredo Benso , Paolo Prinetto, Fault Injection Techniques and Tools for Embedded Systems, Kluwer Academic Publishers, Norwell, MA, 2003
• 2: Max Breitling, Modeling Faults of Distributed, Reactive Systems, Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, p.58-69, September 20-22, 2000
• 3: Manfred Broy, Refinement of Time, Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development, p.44-63, May 21-23, 1997
• 4: Manfred Broy , Ketil Stølen, Specification and development of interactive systems: focus on streams, interfaces, and refinement, Springer-Verlag New York, Inc., Secaucus, NJ, 2001
• 5: Olivier Contant , Stéphane Lafortune , Demosthenis Teneketzis, Diagnosability of Discrete Event Systems with Modular Structure, Discrete Event Dynamic Systems, v.16 n.1, p.9-37, January 2006 [doi>10.1007/s10626-006-6177-5]
• 6: F. Corno , S. Tosato , P. Gabrielli, System-Level Analysis of Fault Effects in an Automotive Environment, Proceedings of the 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, p.529, November 03-05, 2003
• 7: Klaus Echtle , Asif Masum, A Fundamental Failure Model for Fault-Tolerant Protocols, Proceedings of the 4th International Computer Performance and Dependability Symposium, p.69, March 27-30, 2000
• 8: M. Esser and P. Struss. Fault-model-based test generation for embedded software. In Proc. of IJCAI'07, 2007.
• 9: N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data flow programming language LUSTRE Proceedings of the IEEE, 79(9):1305--1320, 1991.
• 10: David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
• 11: T. Henzinger. The theory of hybrid automata. In M. Inan and R. Kurshan, editors, Verification of Digital and Hybrid Systems, NATO ASI Series F: Computer and Systems Sciences 170, pages 265--292. Springer, 2000.
• 12: Gerard J. Holzmann, The Model Checker SPIN, IEEE Transactions on Software Engineering, v.23 n.5, p.279-295, May 1997 [doi>10.1109/32.588521]
• 13: Mei-Chen Hsueh , Timothy K. Tsai , Ravishankar K. Iyer, Fault Injection Techniques and Tools, Computer, v.30 n.4, p.75-82, April 1997 [doi>10.1109/2.585157]
• 14: Benjamin Hummel, A Semantic Model for Computer-Based Spatio-temporal Systems, Proceedings of the 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, p.156-165, April 14-16, 2009 [doi>10.1109/ECBS.2009.19]
• 15: Benjamin Hummel , Peter Braun, Towards an integrated system model for testing and verification of automation machines, Proceedings of the 2008 international workshop on Models in software engineering, May 10-11, 2008, Leipzig, Germany [doi>10.1145/1370731.1370744]
• 16: Nancy Lynch , Roberto Segala , Frits Vaandrager, Hybrid I/O automata, Information and Computation, v.185 n.1, p.105-157, August 25, 2003 [doi>10.1016/S0890-5401(03)00067-1]
• 17: Kenneth L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, Norwell, MA, 1993
• 18: Olaf Müller , Peter Scholz, Functional Specification of Real-Time and Hybrid Systems, Proceedings of the International Workshop on Hybrid and Real-Time Systems, p.273-285, March 26-28, 1997
• 19: F. Ortmeier, W. Reif, and G. Schellhorn. Formal safety analysis of a radio-based railroad crossing using deductive cause-consequence analysis (DCCA). In Proc. of EDCC'05. Springer, 2005.
• 20: M. Pister. Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie. PhD thesis, Technische Universität München, 2008.
• 21: A. Pretschner. Zum modellbasierten funktionalen Test reaktiver Systeme. PhD thesis, Technische Universität München, 2003.
• 22: M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology, 4(2):105--124, 1996.
• 23: W. Schloegl. Bringing the digital factory into reality - virtual manufacturing with real automation data. In Proc. of International Conference on Changeable, Agile, Reconfigurable and Virtual Production, 2005.
• 24: Thomas Stauner, Properties of Hybrid Systems—A Computer Science Perspective, Formal Methods in System Design, v.24 n.3, p.223-259, May 2004 [doi>10.1023/B:FORM.0000026091.03793.cf]
• 25: Michael von der Beeck, A Comparison of Statecharts Variants, Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems, p.128-148, September 19-23, 1994

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging

Additional Classification:
  B. Hardware
  B.8 Performance and Reliability
      B.8.1 Reliability, Testing, and Fault-Tolerance

  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques

General Terms:
Design, Reliability, Theory

Keywords:
af/stem case tool, error filters, error mode specification, error models, modelling hardware errors