Open License Society ______Only software can be perfect

On 1st September, Altreonic was officially created as a spin-off of Open License Society. The team is composed of 10 people and headed by Eric Verhulst, a veteran guru in real-time multi-processor operating systems and embedded systems.

EVOLVE (Evolutionary Validation, Verification and Certification) is an ITEA project with partners from Belgium, Spain, Finland, Sweden, Portugal. For Belgium (Flanders) there is a participation of Barco, Melexis, TriPhase, Open License Society and K.U.Leuven with funding approved by IWT.

Multi-core is hot today, but is it really that new? What is lacking is a sound programming methodology and that is what OpenComRTOS is offering.

An industrial case: pitfalls and benefits of applying formal methods to the development of a network-centric RTOS 

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.

Open License Society is now releasing OpenComRTOS. Developed using formal techniques for modeling and  verification, the RTOS kernel itself  can be seen as a new generation of Real-Time Operating Systems. It implements the runtime environment of Open License Society's systems engineering methodology where the architecture is defined using a formalised paradigm called "Interacting Entities". While fairly universal, it shines through its elegant simplicity. Its concepts have allowed us to elevate OpenComRTOS to  a new concurrent programming paradigm, in particular suitable for real-time embedded systems, be they single processor, multi-core, parallel processinbg or heterogenous distributed systems.

OpenComRTOS has many innovative and break-through features not available from any other RTOS:

OpenSpecs is a web technology based application for capturing Requirements and Specifications. It gives a structured approach for starting a project and implements the methodology developed by Open License Society. In an incremental way, people collect requirements, transform them into specifications and define normal cases, test cases and fault cases.

This is the installation package for OpenComRTOS_VE-Win32-BIN release 1.0.0.

Following limitations apply:

These are the custom develeloped modules of OpenSpecs. For use download and install first drupal 5.x and some additional modules that are required by OpenSpecs.