Certus

News

A PhD position and a Research scientist position are open for application at Certus -- Consult our Join us! page
(Apr 8, 2012)

From March 16th to 17th, the first Certus User Partners workshop was held in Asker
(Mar 19, 2012)

On Jan 1st, Arnaud Gotlieb, has been appointed leader of the Certus SFI, a decision approved by the Board of Directors of the Centre, and the Norwegian Research Council.
(Mar 1, 2012)

On Jan 1st, Prof. Lionel Briand joint University of Luxembourg at the SnT Center. He will remain involved in the Certus SFI Centre as an ajunct part-time research scientist in 2012.
(Mar 1, 2012)

We are happy to announce that Prof Lionel Briand has been awarded the 2012 Harlan D. Mills Award from the IEEE Computer Society. Prof Briand received the award for his practical and fundamental contributions to model-based software testing and verification. For more info please see the notification letter.
(Dec 20, 2011)

On Dec 5 Certus signed a Memorandum of Understanding with the Software Verification and Validation Laboratory, interdisciplinary center for security, reliability, and trust, at the University of Luxembourg. The MoU aims at creating a common ground to jointly attack some of the more demanding challenges in software testing and verification research. Additionally, the parties will establish close collaboration related to personnel, share results, initiate common research initiatives and explore the possibilities for a joint graduate program.
(Dec 6, 2011)

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 has established a leading research and innovation centre on software V&V in Europe. The Certus centre is funded by The Research Council of Norway as part of the Centres for Research-based Innovation (SFI) program.

A list of relevant research publications can be found here.