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[…]

Shuai Wang successfully defended his PhD

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[…]

Sunil Nair 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[…]

Stefano Di Alesio 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[…]

Two new projects funded through the FRINATEK program

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[…]

First visit of the Certus Scientific Advisory Board

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[…]

TITAN at SPLC

At this year’s Software Product Line Conference (SPLC) in Florence, Italy, TITAN has been selected as an innovative technology to be presented jointly with Pure::systems. Pure-systems is the leading provider of software product line and variant management engineering tools and solutions. Their core product, pure::variants, is a tool for managing variant-rich software systems that enables systems Read more about TITAN at SPLC[…]