9

I wonder if anyone know any simple design, but a very simple operating system written in Ada Or if possible, give an example, thank you.

Alexandre
  • 1,985
  • 5
  • 30
  • 55

4 Answers4

13

While there have been a number of hopeful starts, the only OS written in Ada I'm aware of that has achieved some semblance of completeness is MaRTE OS, which is designed as a "a Hard Real-Time Operating System for embedded applications".

Marc C
  • 8,664
  • 1
  • 24
  • 29
6

There is also TAMP: https://github.com/Lucretia/tamp

But it's not in a status that you could call it OS.

Rommudoh
  • 1,844
  • 10
  • 11
4

The Army Secure Operating System (ASOS) was written almost entirely in Ada. It was designed to meet Orange Book A1 protection requirements, support Ada applications more directly, and run on a commodity Sun3. The total software was 55,000 lines of code. It even had checkpointing/restore and later a secure RDBMS.

http://www.cs.washington.edu/research/projects/poirot3/Oakland/sp/PAPERS/00044288.PDF

Nick P
  • 1,477
  • 1
  • 11
  • 14
  • The link is dead :( – yO_ Mar 15 '17 at 16:57
  • The best work on high-assurance security of that time was sometimes published in ACM and IEEE with paywalls. That was only free copy of final report. However, the intro will tell you plenty. In case you have access, I also include a link to the one with specs & verification. – Nick P Mar 27 '17 at 16:20
  • Thanks :-) for the paper ! – yO_ Mar 28 '17 at 14:14
3

Well, I actually know of several custom ones done for small embedded systems, but none are available for public viewing. Sadly, a lot of good Ada work has been hidden away from the public due to the military/avionics niche it has been done in.

RTEMS has been available in both Ada and C source forms since the mid-1990s.

T.E.D.
  • 44,016
  • 10
  • 73
  • 134