The Certus Centre

for Software Validation and Verification

Certus Annual Report for 2015 is available

It’s been another eventful year for Certus. The Centre has been evaluated in the midway evaluation that all Centres for Research-based Innovation are subjected to, and Certus received a green light from the Research Council of Norway to continue as planned until 2019. The conclusions and recommendations of the evaluation committee have been carefully taken into consideration and Read more about Certus Annual Report for 2015 is available[…]

Jan-Christian Kerlefsen new Board Leader for the Certus Centre

Jan Christian Kerlefsen is Certus’ new board leader as of 01.01.2016. He takes over the postion from Professor Are Magnus Bruaset. (Photo: Certus/Bård Gudim. From left: Katrine Langset (Norwegian Customs), Bjørn Ove Olafsen (KM), Are Magnus Bruaset (Simula), Jan-Christian Kerlefsen (ABB, Head of the Board), Marius Liaaen (Cisco), Arnaud Gotlib (Simula, Centre Director)

Certus’ 8th Annual User Partner Workshop a success

On Friday, October 30th, 2015, Certus held its 8th annual user partner workshop in the company of its industry collaborators. The workshop was held at the offices of Cisco at Lysaker this year, with a varied programme. Presentations While the Certus project leaders presented the status and content of their research, several of the partners gave talks Read more about Certus’ 8th Annual User Partner Workshop a success[…]

Mathieu demonstrates an ABB robot

Mathieu Collet did his Master’s degree in collaboration with the Certus centre, and he wrote a script for an industrial ABB robot. He is using constraint programming to create the movements of the robot, where the robot itself intelligently generates a Hamiltonian circuit.  Have a look at his demonstration below.

Morten Mossinge

Morten Mossige successfully defended his PhD

On Wednesday August 26th 2015, Morten Mossige successfully defend his PhD thesis “Testing Robotics Software using Constraint Programming in a Continuous Integration Process”. The defense took place at the University of Stavanger at 12:15. Mossige has conducted his PhD as part of the Industrial PhD scheme, in cooperation between the Research Council, the University of Read more about Morten Mossige successfully defended his PhD[…]

Funded through the Fulbright-programme, Prof. David Binkley to visit Certus

David Binkley, Ph.D., professor of computer science at Loyola University Maryland, has received awards from the Core Fulbright U.S. Scholar Program and National Science Foundation to support an international, collaborative research project on the evolution of software product families in safety critical systems. Binkley will work on the project in Norway with fellow computer scientist Read more about Funded through the Fulbright-programme, Prof. David Binkley to visit Certus[…]

Certus to co-host the High Integrity Systems Symposium in June

The registration is now open  for the High Integrity Systems Symposium, to be organised at Simula on the 3/6. Participation is open and free.   Software has become an essential part of our critical national infrastructure, such as transport systems, banking industries, and energy generation, and a key element in devices in the medical and automotive sector. The Read more about Certus to co-host the High Integrity Systems Symposium in June[…]