Open License Society ______Only software can be perfect

At this information day, Open License Society will present its experiences on using formal software development techniques in the OpenComRTOS project.

Applying Systems Engineering to embedded software development and experiences introducing formal modelling in such a process

Eric Verhulst, Business Unit Manager Software & Systems Services, Melexis, Belgium

Following research more than 50% of all projects fail. Research has shown that a rigorous systems engineering process can greatly improve the quality and reliability of the end product, while helping to keep the project within its time and budget constraints. A novel approach in this domain is the use of modelling and in particular formal modelling techniques for embedded software development. Such an approach, using the TLA+ model checker, requires the explicit adoption of team work in an evolutionary project development flow. The talk will be illustrated by the approach taken and lessons learned in the OpenComRTOS project*, leading to a very efficient and safe distributed RTOS ported and tested on the Melexis MLX16 microcontrollers.

Full program in attachment. Attached the presentation by Open License Society.