Open License Society ______Only software can be perfect

DSP Valley kindly invites you to the technical half-day seminar "Embedding quality in your software" on December 19th, 2006 at the Evoluon in Eindhoven (The Netherlands).

All software developers strive for quality in developing their software. Good quality software should amongst other things be bug free. Next to testing other techniques and activities contribute to the improvement of the code quality. Several speakers from industry will elaborate not only on technical aspects but also on organisational aspects of software development. In this seminar a.o. the use of CMM(i) and formal methods will be discussed from everal points of view and illustrated with practical cases.

Following companies already confirmed their presence for a lecture: ATOS Origin, ICT NoviQ, Open License Society, Philips Innovative Applications, Philips TASS and Verum. The complete program details will be available soon on our website (www.dspvalley.com). All presentations are in English. The seminar starts at 13h and goes till 17h30, and a networking drink concludes the seminar.

Abstract by Open License Society:

Lessons from using formal modelling for embedded software development.

Eric Verhulst, Director Open License Society.

There is a growing awareness that embedded software development needs to become an real engineering discipline rather that the error-prone code writing process it is today. This implies that a rigourous systems engineering approach is used including the use of modelling the system before the actual system or software is developed. A novel approach in this domain is the use of formal modelling techniques for embedded software. Such an approach 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 where the TLA+ model checker was used, leading to a very efficiënt and safe distributed RTOS ported and tested on the Melexis MLX16 microcontrollers.