Список операционных систем разрабатываемых на Ада.

MaRTE

http://marte.unican.es/
Minimal Real Time Operating System for Embedded Applications
Лицензия: GPL v.2
Ведущий разработчик: University of Cantabria

Main characteristics of MaRTE OS kernel:

  • Supports mixed language applications in Ada, C and C++ (experimental support for Java as well).
  • Offers the services defined in POSIX.13: pthreads, mutexes, condvars, ...
  • All services have a time-bounded response (including dynamic memory allocation with TLSF).
  • Single memory address space shared by the multi-thread application and MaRTE OS.
  • Available under the GNU General Public License 2.
  • Based on the AdaCore GNU toolchain.
  • Implements the Ada2005 Real-Time Annex

Список мертвых операционных систем разработанных на Ада

AdaOs

http://web.archive.org/web/20070625172800rn_2/adaos.net/home-2004-12-23/
http://sourceforge.net/projects/bachar
Сайт недоступен. Вроде как это не только OS была, но ещё и компилятор к ней свой ECLAT ( http://sourceforge.net/projects/eclat/ )

BiiN

http://en.wikipedia.org/wiki/BiiN
Billions Invested In Nothing
Попытка создать отказоустойчивые компьютеры с собственным дизайном процессора. Операционая система и все программные компоненты были написаны на Ада. Компания закрыта в 1989 году.

Lovelace

http://lovelace.fr/
Амбициозная попытка написать OS на Ада 2005 на базе L4 микроядра (которое написано на C). Последняя новость на сайте от 2008-01-01. Проект вероятно мертв.

ORK

http://web.archive.org/web/20031123045214/http://openravenscar.org/
openravenscar, открытая реализация Ravenscar Profile, работала на ERC32 и PC-i386, на голом железе либо поверх ОС. Погибло в недрах AdaCore.

RTEMS

http://www.rtems.com/
Real-Time Operating System for Multiprocessor Systems
Лицензия: GM GPL http://www.rtems.com/license/index.html
Изначально разрабатывалось параллельно два эквивалентных ядра на Ада и С. Впоследствии от развития ядра на Ада отказались, но оставили полную поддержку языка Ада для написания RT приложений.