System software development and testing on embedded systems can be quite difficult and time consuming. In this paper, we propose a cost effective method, namely virtual testing framework that can be used easily to test the reliability of system software. The framework consists of three layers; virtual platform layer, system software layer, and test environment layer. The virtual platform layer emulates a variety of embedded hardware on which any system software can be run and is used to verify its capability in handling faults injected by the test environment layer. We use the framework to verify the reliability of the file system and FTL (flash translation layer) by injecting faults that may be found in Flash memory. We discuss experimenta...
A development process based on concurrent engineering is considered to be a powerful aid for shorten...
Embedded systems are becoming increasingly ubiquitous, controlling a wide variety of popular and saf...
In this paper test generation methods and appropriate fault models for testing and analysis of embed...
Abstract: Recently, software reliability and safety issues are seriously considered since failures o...
Software testing is a widely used quality assurance activity and often starts from the early develop...
International audienceReliability is one of the most important characteristics of the system quality...
International audienceResearch has shown that finding software faults early in the development cycle...
AbstractIn this paper, a framework for the specification of embedded systems described as ‘predicate...
In this paper, a framework for the specification of embedded systems described as ’predicated’ exten...
The design of complex embedded systems deployed in safety-critical or mission-critical applications ...
This paper presents the best practices to carry out the verification and validation (V&V) for a safe...
Fault injection techniques are important and widely used for verifying the dependability of computer...
While techniques for offline testing of FPGAs, either manufacturing-oriented or application-oriented...
Software in embedded systems plays an essential role. Principles of Test-Driven Development can be a...
International audienceCurrent development trends for automotive products are driven by time to marke...
A development process based on concurrent engineering is considered to be a powerful aid for shorten...
Embedded systems are becoming increasingly ubiquitous, controlling a wide variety of popular and saf...
In this paper test generation methods and appropriate fault models for testing and analysis of embed...
Abstract: Recently, software reliability and safety issues are seriously considered since failures o...
Software testing is a widely used quality assurance activity and often starts from the early develop...
International audienceReliability is one of the most important characteristics of the system quality...
International audienceResearch has shown that finding software faults early in the development cycle...
AbstractIn this paper, a framework for the specification of embedded systems described as ‘predicate...
In this paper, a framework for the specification of embedded systems described as ’predicated’ exten...
The design of complex embedded systems deployed in safety-critical or mission-critical applications ...
This paper presents the best practices to carry out the verification and validation (V&V) for a safe...
Fault injection techniques are important and widely used for verifying the dependability of computer...
While techniques for offline testing of FPGAs, either manufacturing-oriented or application-oriented...
Software in embedded systems plays an essential role. Principles of Test-Driven Development can be a...
International audienceCurrent development trends for automotive products are driven by time to marke...
A development process based on concurrent engineering is considered to be a powerful aid for shorten...
Embedded systems are becoming increasingly ubiquitous, controlling a wide variety of popular and saf...
In this paper test generation methods and appropriate fault models for testing and analysis of embed...