. . . Research and develop a systematic systems engineering methodology based on interacting entities and thrustworthy components.

Open License Society reinvents RTOS

Developed using formal modeling, OpenComRTOS is the perfect network-centric and trustworthy RTOS for deeply embedded, multicore and distributed systems

Inspired by a revealing market research

While there are 100's of RTOS (Real Time Operating Systems) on the market, most of them cannot be certified. This was the result of a market study conducted by Open License Society in 2003 for the European Space Agency. It was found that while some specific ports of RTOS have been certified, most of the Commercial RTOS cannot be certified at all, and certainly not verified. Often for the simple reason that there is no design document.

Open License Society in EVOLVE ITEA project

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.

Open License Society speaker at MP-SOC 2008, June 23 - 27, 2008

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.

Open License Society speaker at the Industry day of Formal Methods 2008, May 26 - 30, 2008

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

Come and see our presentation at rts EMBEDDED SYSTEMS in Paris on 2-3 April

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 releases OpenComRTOS with innovative Visual Programming Environment

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:

First release of OpenSpecs

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.

OpenComRTOS Win32 1.0.0

Download: OpenComRTOS_Win32_1_0_0.ize
Size: 24.19 MB
md5_file hash: 4f4eaf3db084b3e8d84ae5fbe42bcfdc
First released: Fri, 2008/01/18 - 17:12
Last updated: Tue, 2008/01/15 - 17:12

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

Following limitations apply:

OpenSpecs 1.0.0-012008

Download: OpenSpecs_1.0.2.ize
Size: 184.19 KB
md5_file hash: 28670c41904c27c368bebd6e1cfa37b7
First released: Thu, 2008/01/17 - 16:14
Last updated: Thu, 2008/01/17 - 16:14

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.

Wishes for a new pebble on the beach of Ostend 2008

What can I wish you for the next year? More power and gold? Or should I say more of a real life of your own Work and freedom? Less taxes comes to mind. The world is accelerating at a brisk pace. Turbulence all over the bloody place, to be taken literally. The balance is delicate. Shall we all perish in the rush or shall we find nirvana in peace? Maybe we need the turbulence to be reminded how peaceful it could be if we all just did all we could to reach for it. If you ask me, last year was bad enough although history has seen worse. In any case, I wish you all a better 2008. It helps to keep repeating the same wishes every year.

To download the poem as jpg file, click here.

To download the wishes from 1992 to 2008, click here.

Syndicate content