Statecharts: A visual formalism for complex systems
Science of Computer Programming
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Symbolic Model Checking
Fault Injection Techniques and Tools
Computer
A Comparison of Statecharts Variants
ProCoS 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
Functional Specification of Real-Time and Hybrid Systems
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
A Fundamental Failure Model for Fault-Tolerant Protocols
IPDS '00 Proceedings of the 4th International Computer Performance and Dependability Symposium
Fault Injection Techniques and Tools for Embedded Systems
Fault Injection Techniques and Tools for Embedded Systems
Information and Computation
System-Level Analysis of Fault Effects in an Automotive Environment
DFT '03 Proceedings of the 18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems
Properties of Hybrid Systems—A Computer Science Perspective
Formal Methods in System Design
Diagnosability of Discrete Event Systems with Modular Structure
Discrete Event Dynamic Systems
Towards an integrated system model for testing and verification of automation machines
Proceedings of the 2008 international workshop on Models in software engineering
A Semantic Model for Computer-Based Spatio-temporal Systems
ECBS '09 Proceedings of the 2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Fault-model-based test generation for embedded software
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Integrated behavior models for factory automation systems
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Material flow abstraction of manufacturing systems
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
| Hi-index | 0.00 |
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.