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
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