In collaboration with ABB Robotics, a Certus partner, Mossige’s dissertation demonstrates that development costs can be reduced, and the quality of the software increases uptime for the robots. Please read more at NTB (in Norwegian).
Certus will have a booth at Formal Methods 2015, the most important venue in the area of formal methods. The conference is organised from June 22th to June 26th at UiO and features an excellent program: http://fm2015.ifi.uio.no/ . Certus, as an official sponsor of the event, will present various innovations realized in the center. Please, Read more about Certus at Formal Methods 2015[…]
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[…]
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[…]