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 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.
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[…]
ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS2013) is “the premier venue for the exchange of innovative ideas and experiences of model-based approaches in the development of complex systems. Since 1998, MODELS has provided a broad forum for reporting scientific progress as well as experiences stemming from practical application of model-based Read more about Report from Models 2013[…]
Certus will organise a training program for software industry professionals in Norway over two days 21-22 November, 2013. These courses aim to promote application of state of the art software engineering research in the Norwegian software industry. We welcome professionals from the Norwegian software industry to Simula for two days to attend these interactive courses and Read more about Open courses in Software Verification and Validation[…]
PhD-student Shuai Wang (Simula – pictured below), have together with Shaukat Ali, Arnaud Gotlieb (both Simula) and Marius Liaaen (Cisco Systems Norway) authored the paper “Automated Test Case Selection using Feature Model: An Industrial Case Study”. The paper was presented at the MODELS conference 2013, where it received the Best paper award for the Application Track. Read more about Certus publication receives best paper award at MODELS 2013[…]
PhD student Sunil Nair at the Software Engineering department, Simula – Certus, won the semi final for his presentation “Fasten your seatbelts! Safety is not guaranteed!” at Researcher Grand Prix Oslo 24. september. Sunil works on certification of safety-critical systems. The project tries to define a common framework that spans different vertical markets for railways, avionics and Read more about Sunil Nair won the Researcher Grand Prix Oslo final![…]
Following technical difficulties with our previous website the new website for Certus is launched. The new website has some new features and will be updated continuously. We are currently working on a new setup for the “Publications” page and this will be implemented shortly.
The Certus Annual Report 2012 is ready. The report gives an overview of key activities and accomplishments from 2012 THE CERTUS SOFTWARE VALIDATION & VERIFICATION CENTER is a Centre for Research-based Innovation (SFI) which is funded by the Norwegian Research Council. The Certus Centre is hosted by Simula Research Laboratory, with FMC Technologies, Esito, Kongsberg Read more about Certus Annual Report 2012 published[…]
On Friday, 9, November, Razieh Behjati successfully defended her PhD thesis A Model-Based Approach to the Software Configuration of Integrated Control Systems. The defense took place at 13:15 in Storstua, Simula Research Laboratory. Modern society is increasingly dependent on integrated control systems. These systems are large-scale, highly-hierarchical, heterogeneous systems-of-systems, where software and hardware are integrated Read more about Razieh Behjati successfully defended her PhD[…]