Welcome!

ReVVerT 2011
Requirements and Validation, Verification & Testing
Berlin, Germany

Verification and validation are important means to measure and guarantee the quality of systems. There are many existing and upcoming standards (IEC 61508, ISO 26262, DO-178B) that demand high quality of safety-related systems and the proof of it. Alone but also in combination with model-based approaches, this research area attracts a lot of interest in academia and in the industry.

All development projects are based on capturing requirements. The quality of the following activities in the development process, like design, verification, implementation, and testing, highly depends on the quality of the requirements (as defined in IEEE 830). Capturing good requirements and integrating them into the development process is an important issue.

The goal of this workshop is to discuss and identify the intersections and mutual leverages of both topics. We want to discuss questions like "How can we achieve complete, clear and testable requirements?", "How to verify requirements?", "How can we use requirements for validation and verification of systems?", "How to trace between requirements and other development artifacts?", etc.

We invite both industry and academics to provide novel approaches and experience reports and to discuss.

Organizers