In spite of large investments in verification and validation (V&V) activities, we frequently read about serious software failures in the press. A 2010 example is that Toyota had to recall about 130,000 of its Prius hybrid vehicles and 10,000 Lexus cars in the U.S. because the braking system software did not function correctly. In response to the continually increasing demand for dependable systems and ways to bring software V&V costs under control, we intend to create the leading research and innovation centre on software V&V in Europe. In this centre, hosted by Simula Research Laboratory, research-intensive enterprises and world-leading research groups will join forces and develop new, industry-strength technology for V&V. Building a centre where the software industry collaboratively develops and exchanges state-of-the-art knowledge and technology within V&V is to the shared benefit of the Norwegian software-intensive industry and society since: (1) most organizations cannot afford to build comprehensive V&V competence on their own, (2) the centre's partners include major players in the public and private sectors who are already on a good level within software V&V. In the Certus Centre, we will aim at innovations related to both technical and managerial aspects of software V&V. On the technical side, we will focus on V&V analysis activities, such as requirements quality assurance, and software testing. On the managerial side, we will focus on planning and trade-off analyses of V&V activities, such as the trade-offs between software dependability, software cost and project completion time. The research will focus on fundamental and complex challenges that are important for society at large. Main research challenges include the development of scalable V&V technology and project management based on evidence about the relationship between V&V effort and software dependability.
Project leader: Arnaud Gotlieb
Category: Øvrige forskningsinstitutter
Institution: SIMULA RESEARCH LABORATORY AS