5
Mi chiedo se qualcuno conosca un design semplice, ma un sistema operativo molto semplice scritto in Ada O se possibile, fare un esempio, grazie.Sistema operativo in Ada
A
risposta
5
C'è anche TAMP: https://github.com/Lucretia/tamp
Ma non è in uno stato che si può chiamare OS.
+0
Grazie (:, mi aiuta molto (: – Alexandre
10
Mentre ci sono state molte speranze di avvio, l'unico sistema operativo scritto in Ada mi rende conto che ha raggiunto una parvenza di completezza è MaRTE OS, che è stato progettato come un "sistema operativo in tempo reale difficile per embedded applicazioni".
3
Beh, in realtà conosco diversi tipi personalizzati per piccoli sistemi embedded, ma nessuno è disponibile per la visualizzazione pubblica. Purtroppo, molte delle buone opere di Ada sono state nascoste al pubblico a causa della postazione militare/avionica in cui è stato fatto.
RTEMS è disponibile in entrambi i moduli di fonte Ada e C since the mid-1990s.
+2
Storia di RTEMS: http://www.rtems.com/ml/rtems-users/2004/settembre/msg00064.html – user287424
1
Il sistema operativo sicuro dell'esercito (ASOS) è stato scritto quasi interamente in Ada. È stato progettato per soddisfare i requisiti di protezione di Orange Book A1, supportare le applicazioni Ada in modo più diretto e funzionare su un prodotto Sun3. Il software totale era 55.000 linee di codice. Aveva persino il checkpoint/ripristino e in seguito un RDBMS sicuro.
http://www.cs.washington.edu/research/projects/poirot3/Oakland/sp/PAPERS/00044288.PDF
+0
Il collegamento è morto :( –
+0
Il miglior lavoro sulla sicurezza ad alta sicurezza di quel tempo è stato a volte pubblicato in ACM e IEEE con paywall.Questa era solo una copia gratuita del rapporto finale.Tuttavia, l'introduzione ti dirà molto.Se hai accesso, includo anche un link a quello con specifiche e verifica –
+0
http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA340370&Location=U2&doc=GetTRDoc.pdf –
Problemi correlati
- 1. jQuery - rilevamento del sistema operativo e del sistema operativo versione
- 2. Rilevamento del sistema operativo CodeIgniter
- 3. Come determinare il sistema operativo
- 4. Esiste un sistema operativo LibC?
- 5. Ottieni eventi dal sistema operativo
- 6. App e sistema operativo WPF
- 7. Sviluppo di un sistema operativo
- 8. Impossibile determinare il sistema operativo
- 9. Haskell: Rileva l'attuale sistema operativo
- 10. Come rilevare il sistema operativo in esecuzione?
- 11. C# compilato in mono - Rileva sistema operativo
- 12. malloc in un sistema incorporato senza sistema operativo
- 13. Ada e assembly
- 14. Chiamate di sistema del sistema operativo da script bash
- 15. Identificare il sistema operativo del sistema tramite ID
- 16. stampa float in ada
- 17. database senza sistema operativo richiesto per il sistema integrato
- 18. Come creare un sistema operativo di base
- 19. Requisiti del sistema operativo per arc4random_uniform()
- 20. Come utilizzare Admob sul sistema operativo Android?
- 21. Libro dell'architettura del sistema operativo Windows
- 22. Rileva il sistema operativo dall'estensione di Firefox
- 23. Chiama al sistema operativo per aprire l'url?
- 24. Sniffer per localhost (sistema operativo Windows)
- 25. Un sistema operativo supportato da database
- 26. Miglior sistema operativo educativo per studio?
- 27. Scrittura di un sistema operativo con UEFI
- 28. Come rilevare il sistema operativo corrente Gradle
- 29. Come creare un sistema operativo estremamente semplice?
- 30. Sistema operativo consigliato per Visual Studio 2008
Vedi anche questa [thread] (http://groups.google.com/group/comp.lang.ada/browse_frm/thread/dea2d62ab1462538). – trashgod
... presumendo che tu abbia un account Google. –
Vedo che Trashgod ha trovato il mio thread su google sullo stesso argomento! – Shark8