While most engineering domains use implicitely or implicitely mathematics, albeit often more to calculate specific properties, hardware and in particular software engineers only rely on mathematics, then called "formal methods" when safety or security issues are primordial. Nevertheless, as our OpenComRTOS project has shown, using formal methods is beneficial for all developments. The essence is formalised thinking and teamwork in all activities of the engineering process.

Some say we are a loner,
after all the world isn't black.
It looks like black because some paint it black.

Looking beyond makes you dream.
Looking back makes you wonder why. (read on)

Organised by LaQuSo (Eindhoven). See the progam here

Open License Society will present two papers at TAAPSD'2006 in Kiev, Ukraine. This international conference covers theoretical and applied aspects of program systems development. http://www.taapsd.ukma.kiev.ua/index.html

Organized by Kyiv National Taras Shevchenko University, Kyiv-Mohyla Academy, and Institute of Software Systems of National Academy of Science of Ukraine.

Open License Society will be present at IST 2006 in Helsinki on 21-22-23 November. See the networking events.The thread model: challenges and perspectives - ARTEMIS' SRA: Charting the Way Forward on Embedded Systems Research -Multicore Processing and ARTEMIS

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.

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

The unified systems engineering methodology is supported by a number of tools.

Pilot projects

Thoughts from the Open License Society one year after its foundation

Founded in the first month of the year 2004, Open License Society put its focus on system engineering methodologies and associated tools.