The Certus Centre (SFI)
Simula hosted Certus from 2011 - 2019. It was a national Centre for Research-based Innovation (SFI) focused on verification and validation of mission-critical software systems. The work in Certus was conducted in close collaboration with a consortium of user partners, consisting of ABB Robotics, Cisco, Esito, Kongsberg Maritime, and the Cancer Registry of Norway. The goal was to advance scientific methods and industry best practices to build software systems that are more reliable, robust, efficient, safe, and secure.
The Certus Centre made a strong impact in the global software engineering community in the areas of variability testing, modelling highly configurable systems, and testing data-intensive systems. Software engineers and researchers teamed up to create an innovative environment where specialised expertise and creative research combine to produce readily exploitable, takeaway results. Certus issued a number of high-quality publications and developed several software prototype tools, such as the TITAN tool and the Zen-RUCM editor. Another highlight of Certus' production was the experimental application of our techniques in industrial case studies.
Certus & its core expertise fields:
Model-based engineering for highly configurable systems:
Involving the application of model driven engineering techniques to the modelling and configuration of subsea integrated control systems, which can be regarded as highly variable software systems.
Testing of data-intensive systems:
Looking into the improvement of existing regression testing techniques to handle large database-centric applications.
Testing of real-time embedded systems:
Involving research into managing the testing activities of families of realtime embedded systems.