Para quem nunca ouviu falar, OSEK é uma especificação para sistemas operacionais automotivos.
As principais características de um OS OSEK são:
* suportar uma grande gama de microcontroladores (deste uC de 8 bits a uC de 32 bits);
* suporte a tempo real e tarefas com diferentes níveis de prioridades;
* tamanho reduzido, um dos requisistos é que o OS funcionem em uC sem a necessidade de componentes externos.
Mas será que existe uma versão open source que implemente a especificação OSEK? A resposta é sim, e não estou falando do openOSEK (que ainda está em estágio embrionário). Existe uma versão open source (GPL) chamada toppers-osek liberada pela empresa japonesa Witz-INC, que foi criado em parceria com a universidade de Nagoya. A implementação foi feita pelo professor Hiroaki Takada.
O desenvolvimento do Toppers-OSEK é fruto de 20 anos de pesquisa e desenvolvimento do ITRON (Ken Sakamura). O ITRON é nada menos que o sistema operacional mais usado no mundo, de CD Player a carros de luxo, mais informações: http://www.linuxinsider.com/story/31855.html
Estou dando uma olhada no código fonte, infelizmente os comentários estão todos escritos em kanji (ideograma japonês) e não existe nada em inglês, seria isto um bairrismo japonês? Acho que não.
Descrição em inglês:
http://www.toppers.jp/en/index.html
Para download do Toppers-OSEK:
http://www.toppers.jp/osek-download.html
Está compactado no formato lzh, então instale um descompactador (apt-get install lha).
Atualização: Hiroaki Takada trabalha junto com o professor Ken, e foi ele quem traduziu os manuais do ITRON e uITRON para o inglês: http://www.assoc.tron.org/