One important aspect of the quality assurance process of safety-critical embedded systems
is verifying the appropriateness, correctness of the implementation and effectiveness of …

Functional modeling and safety analysis are two important aspects of safety-critical
embedded systems. However, they are often conducted separately. In this paper, we present …

This paper proposes an approach for testing of safety critical systems. It is based on a
behavioral and a fault model. The two models are analyzed for compatibility and necessary …

Testing plays an important role in assuring the safety of safety-critical systems (SCS).
Testing SCSs should include tasks to test how the system operates in the presence of …

The development of safety-critical software-intensive systems requires systematic quality
assurance on all stages of the development process. Executable development artifacts are …

External failures like network changes can affect system operation negatively. Mitigation
requirements try to prevent or reduce their effects. This paper presents a black box testing …

This paper proposes an approach for testing of safety-critical systems. It is based on a
behavioral and a fault model. The two models are analyzed for compatibility, and necessary …

In safety-critical systems, the verification and validation phase in the software development
life cycle plays an important role in assuring safety. The artifacts' outputs of the verification …

Because of their complexity, business transactions are prone to failure in many ways. This
paper reports on our experience using a fault-based testing approach. The approach …

This paper proposes a genetic algorithm (GA) method to generate test scenarios for testing
proper fail-safe behavior for web applications. Unlike other approaches which combine fault …