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.
