Je me demande si quelqu'un connaît une conception simple, mais un système d'exploitation très simple écrit dans Ada Ou si possible, donnez un exemple, merci.
4 Réponses :
Bien qu'il y ait eu un certain nombre de débuts optimistes, le seul système d'exploitation écrit à ADA, je suis au courant de celui qui a atteint un semblant de complétude est Marte OS , qui est conçu comme un" système d'exploitation en temps réel dur pour les applications intégrées ".
Eh bien, je connais en fait plusieurs personnalisés effectués pour de petits systèmes embarqués, mais aucun n'est disponible pour la visualisation du public. Malheureusement, beaucoup de bons travaux d'ADA ont été cachés du public en raison de la niche militaire / avionique, elle a été faite dans.
RTEMS a été disponible dans les formulaires de source ADA et C depuis le milieu des années 1990 .
Histoire des RTEEMS: rtems.com/ml/rtems-utilisateurs/ 2004 / Septembre / msg00064.html
Il y a aussi Tamp Tamp: https://github.com/lutructia/tamp
Mais ce n'est pas dans un statut que vous pourriez appeler IT OS.
Merci (:, ça m'aide beaucoup (:
Le système d'exploitation sécurisé de l'armée (ASOS) a été écrit presque entièrement à ADA. Il a été conçu pour rencontrer des exigences de protection Orange Book A1, prenant en charge les applications ADA plus directement et fonctionner sur une marchandise SUN3. Le logiciel total était de 55 000 lignes de code. Il avait même des points de contrôle / restauration et plus tard un SGDBR sécurisé.
http: //www.cs. washington.edu/research/projects/poirot3/oakland/sp/papers/00044288.pdf
Le lien est mort :(
Le meilleur travail sur la sécurité de la haute assurance de ce temps a parfois été publié dans ACM et IEEE avec des webwalls. Ce n'était qu'une copie gratuite du rapport final. Cependant, l'intro vous en dira beaucoup. Si vous avez accès, j'inclus également un lien vers celui avec les spécifications et la vérification.
Merci :-) Pour le papier!
Voir aussi ce thread .
... supposant que vous avez un compte Google.
Je vois que Trashgod a trouvé mon fil sur Google sur le même sujet!