Registration is now open for the one day High Integrity Systems Symposium. Go to the event´s website to read more.
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[…]
On Monday April 20th 2015, Shuai Wang defended his PhD thesis “Systematic Product Line Testing: Methodologies, Automation, and Industrial Application”. The defense took place at 13:15, Stortua, Simula Research Laboratory, Martin Linges vei 17, Fornebu. Testing products in a cost-efficient way remains an attractive topic for product line testing in both academia and industry, which Read more about Shuai Wang successfully defended his PhD[…]
On Friday, the 27th March 2015, Sunil Nair defended his PhD thesis titled “Characterization of Safety Evidence for Assessment and Certification of Critical Systems”. The defense took place at 13.15, in Storstua, Simula Research Laboratory, Oslo. In many domains such as avionics, railway and automotive, software-based systems need to be certified or assured for safety Read more about Sunil Nair successfully defended his PhD[…]
On March 19th, 2015, Stefano Di Alesio successfully defended his PhD thesis “Supporting Stress Testing of Real-Time Systems with Constraint Programming”. The defense took place in the University of Luxembourg, Campus Kirchberg. Safety-critical Real-Time Embedded Systems (RTES) are subject to strict performance requirements specifying constraints on real-time properties such as task deadlines, response time and Read more about Stefano Di Alesio successfully defended his PhD[…]
The 7th User Partner Workshop in Certus will be organised at Lysebu on the 5th-6th of March. Follow this link 2015-03-05 UPW Agenda – Final to find the final version of the agenda.
Two projects have recently been awarded funding through the FRINATEK (FRIPRO) program of the Research Council of Norway (RCN). FRIPRO is one of the most competitive arenas for research funding in Norway, with scientific excellence as the main criteria for funding. According to RCN: “FRIPRO should promote scientific quality in the forefront of international research, Read more about Two new projects funded through the FRINATEK program[…]
Dear all, As you may have noticed the Certus-SFI website has not been updated for the past two months, and this has been because the website was hacked in early January. We´ve had to uninstall a couple of plugins in order to get the site up and running again, and because of this a number Read more about Certus website has been hacked[…]
The second annual Certus Open Courses ran at Simula Research Laboratory on November 10th and 11th 2014. The courses offered this year were: A Modern Approach to the Design of Cyber-Physical Systems – Bran Selic Introduction to Search-based Software Engineering – Shaukat Ali Symbolic Methods in Software Testing – Arnaud Gotlieb Test Coverage and Data Read more about Certus Open Courses 2014[…]
In March of 2014, in accordance with “best practice” from the Norwegian Research Council, the Certus board decided to establish a Scientific Advisory Board (SAB) for the Certus Centre. It was felt that the input of a Scientific Advisory Board could provide useful insight into the Certus self-evaluation process. In addition the SAB will give input on Read more about First visit of the Certus Scientific Advisory Board[…]