Open License Society ______Only software can be perfect

Wednesday 2nd of April at 2:00 pm session dedicated to "Multicore programming"

No more communication in your program, the key to multi-core and distributed programming.

While multi-core systems are a hot topic today, it is not a really new issue. Many embedded systems have used various types of multiple processors, embedded as on-chip CPU cores or at the board or system level, for decades.
However, the programming world, heavily biased by the von Neumann architecture, has never come up with a clean programming paradigm although process algebras like CSP were specifically developed to tackle the issue. In this presentation we will advocate that the key to programming such targets systems is to make the concurrency explicit, but to hide the communication in the system layer. The communication is still present, but at a more abstract level in the application by way of synchronization and communications services. This view let to the development of the network-centric OpenComRTOS. It allows to program in an almost transparent way from multi-core single chips to widely distributed networks in just 5 KBytes of code. 
 
Thursday 3rd of April at 2:00p m session dedicated to "New approaches for software dévelopment in embedded systems"

Benefits of integrating formal methods in the design of embedded software development.

Break-through results in the development of a network-centric RTOS.

This presentation will show how formal methods can be integrated in a coherent and unified systems and software engineering methodology. Aiming for trustworthy systems, the use of formal methods was deemed necessary for verification of the software. By using it from the early beginning, during the architectural design phase, we found that formal methods provide an unexpected benefit. Formal methods are of great help in the formalization and as a result we achieved much cleaner and performing solutions. Applied on the development of a network-centric RTOS, code size was reduced with a factor of 10 while scalability and safety properties are also much better than with a traditional design. As a result, also the formal verification is a lot easier to execute.

Visit the event's website here