Arnaud Gotlieb
Head of Department
arnaud@simula.no
+47 406 26 077
Software is pervasive in all areas of society. Business and safety-critical systems increasingly use software to improve development productivity, enable more sophisticated operations, and provide flexibility in handling evolving needs. To ensure successful operation and to avoid posing undue risks to users or the environment, software must be reliable, robust, efficient, safe, and secure. Despite large investments in the verification and validation (V&V) of software systems, serious software failures are frequently detailed in the press.

In response to the continually increasing demand for dependable systems and for ways to bring software V&V costs under control, Simula is establishing a leading research and innovation centre on software V&V in Europe. The Certus Centre is funded by the Norwegian Research Council as part of the Centre for Research-based Innovation (SFI) program.

 

Certus web site

SFI logo 2

 

Personal tools