FreeRTOS: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
No2 (discussione | contributi) + chiarire |
|||
Riga 39:
* È ideale sia per gli hobbisti alle prime armi con i sistemi operativi che per gli sviluppatori professionisti che creano prodotti commerciali;
* Lo schedulatore può essere configurato sia per le operazioni preemptive che per le cooperative;
* Supporta le coroutine (la coroutine in FreeRTOS è molto semplice ed è formata da processi leggeri che hanno un limitato impatto d'uso dello {{chiarire|[[stack]]}})
* Supporto al tracing del programma, tramite macro generiche di traccia. Strumenti come Tracealyzer (cioè FreeRTOS + Trace, fornite dal partner Percepio di FreeRTOS) possono quindi registrare e visualizzare il comportamento di runtime dei sistemi basati su FreeRTOS. Ciò include la pianificazione delle attività e le chiamate del kernel per operazioni di [[Semaforo (informatica)|semaforo]] e [[Coda (informatica)|coda]]. Tracealyzer è uno strumento commerciale, ma è anche disponibile in una versione libera a funzionalità limitata. La versione completa ha un prezzo di 1066 € (US$1,200).
Riga 49:
SafeRTOS è stato sviluppato interamente in [[C (linguaggio)|C]], al fine di uniformarsi con i requisiti richiesti dalla [[certificazione]] [[IEC 61508]].<ref name="SafeRTOS">{{cita web|url=https://www.highintegritysystems.com/safertos/|titolo=Pre-Certified Safety RTOS |sito=HighIntegritySystems |lingua=EN |accesso=22 settembre 2019}}</ref>
SafeRTOS è conosciuto per la sua capacità, unica tra i sistemi operativi, di risiedere esclusivamente nella [[Read Only Memory|memoria di sola lettura]] nei chip di un microcontrollore, consentendo così la pre-certificazione di sistemi hardware e software completi all'[[IEC 61508]] o ad altri [[norma tecnica|standard]] operativi di sicurezza ed affidabilità. Quando poi viene implementato nella memoria hardware, il codice SafeRTOS può essere utilizzato solo nella sua configurazione originale, pertanto i test di certificazione delle applicazioni che utilizzano questo sistema operativo non devono riesaminare questa parte durante il processo di certificazione funzionale.
SafeRTOS è incluso nella [[Read Only Memory|ROM]] di alcuni microcontrollori Stellaris della [[Texas Instruments Incorporated|Texas Instruments]]. È possibile implementare SafeRTOS senza dover acquistare il codice sorgente. In questo campo di applicazione, per mappare le funzioni API nella loro posizione all'interno della ROM viene usato un semplice file ''header ''in [[C (linguaggio)|C]]. È consigliabile l'utilizzo della ROM perché il codice che contiene il file in questione non è modificabile - scartando la possibilità che un utente erroneamente acceda al codice e lo modifichi - e garantisce che la versione originale testata rimanga identica per tutto il periodo di utilizzo. Non sarà necessario riesaminare il codice dell'applicazione in modo che si evolva attorno ad esso. Il test del kernel complesso non più viene effettuato in quanto le prove di certificazione già approvate, inclusi il piano di prova, il codice e i risultati, possono essere acquistati "fuori dal piano".
|