_____________________________________________________________________
SUMMARY
Validation and Verification (V&V) is instrumental in the development and design of reliable and secure software systems. The University of Luxembourg has launched a programme which addresses both the technical and managerial aspects of software V&V. On the technical side, the programme will focus on both upstream V&V activities, such as requirements quality assurance and architecture analysis; as well as downstream activities, such as software testing. The programme team will also develop methods to identify and evaluate the trade‐offs between dependability, cost, and timeliness.
_____________________________________________________________________
SOLUTIONS
- Creating synergies with existing research activities thereby adding long term value and raising the competitiveness of the University and its partners
- Advancing techniques for quality assurance and architecture analysis
- Producing a new methodology to calculate the most efficient design and production trade-offs
_____________________________________________________________________
_____________________________________________________________________
