Categoria: Sistemi Operativi Real-Time

Sviluppare un’applicazione embedded sopra a un kernel real-time presenta molti vantaggi: il sistema può essere sviluppato in modo modulare, separando il dominio real-time da quello che non presenta vincoli temporali in risposta agli stimoli esterni. E’ l’ambiente naturale per introdurre stack di comunicazione come il TCP/IP e lo USB. Sin dall’inizio della propria storia, Segger ha sviluppato embOS, un kernel hard real-time che si distingue per efficienza e prestazioni. Nel corso degli anni sono state introdotte nuove versioni di embOS per applicazioni speciali: embOS-MPU (grazie alle Memory Protection Unit dei core Cortex-M, i dati dei task sono confinati in un proprio spazio di indirizzamento, con notevole aumento della sicurezza del sistema), embOS-SAFE (con certificazione per applicazioni functional-Safety IEC61508), embOS-ULTRA (tickless, per applicazioni a basso consumo).

SEGGER emPower

Il sistema operativo dotato di un middleware veramente completo, tutto fornito in codice sorgente. 

emPower è ottimizzato per ottenere alte prestazioni, con un utilizzo della memoria ridotto che gli permette di girare su gran parte delle famiglie di microcontrollori sul mercato.
Tutti i componenti di emPack sono scritti in C e possono essere compilati con un compilatore "C" ANSI/ISO.

Ecco la lista dei pacchetti inclusi:

embOS

Kernel hard real-time.

emNet PRO

emNet BASE IPv4 (7.01.00) oppure IPv4/v6 Dual Stack
emFTP (7.02.00)
emNet NetBIOS Name Service (7.03.01)
emNet (m)DNS/LLMNR/DNS-SD Server (7.03.02)
emWeb (7.05.00)
emNet DHCP Server (7.08.01)
emNet SNTP Client (7.14.00)
emNet SMTP Client (7.16.00)
emMQTT (7.19.00)
emNet CoAP Server / Client (7.22.00)
emNet NTP Client (7.23.00)
emNet WebSocket (7.40.00)
emNet device driver (7.01.xx/7.15.xx)

emCompress

Libreria per la compressione dei dati senza perdite.

I dati possono essere statici oppure trasmessi in uno stream.

emCrypt PRO

libreria crittografica che include: Block ciphers, hashes, MACs, public key encryption, key agreement, key derivation, digital signatures

emFile PRO

Comprende:

emFile FAT (2.00.01)
emFile FAT LFN Module (2.10.10). Il modulo LFN (=Long File Name) consente di superare il limite storico di FAT di 8+3 caratteri per nome del file ed estensione.
emFile device driver NAND universal (2.10.06)
emFile device driver CF/IDE (2.10.02)
emFile device driver SD/MMC (2.10.03)
emFile device driver NOR (2.10.04)

emModbus Master & Slave

Contenuto commutatore

emSecure

Libreria in codice sorgente che supporta la firma digitale del firmware, per garantire l'immutabilità e la genuinità del firmware.

emSSL

Libreria che implementa Secure Shell

NOTA [*]:  The software is classified as dual-use good according to Category 5, Part 2 "Information Security" of EU Regulation No 2021/821. Any export or transfer of the software with a destination outside the European Union requires an export permission (Art. 11 para 9 and Art. 27 para 4 EU-Dual-Use-VO).

emSSL

Libreria in codice sorgente che implementa lo strato secure socket layer  e TLS.

NOTA:  The software is classified as dual-use good according to Category 5, Part 2 "Information Security" of EU Regulation No 2021/821. Any export or transfer of the software with a destination outside the European Union requires an export permission (Art. 11 para 9 and Art. 27 para 4 EU-Dual-Use-VO).

emUSB Device PRO

Include:

emUSB-Device BASE (9.00.00)
emUSB-Device Bulk component (9.00.01)
emUSB-Device MSD Class (9.00.03)
emUSB-Device CDC Class (9.00.04)
emUSB-Device Printer Class (9.00.07)
emUSB-Device MTP Class (9.00.10)
emUSB-Device VirtualMSD Component (9.00.11)
emUSB-Device CCID Class (9.00.14)
Un driver (9.10.xx)

emUSB Host PRO

Comprende:

emUSB-Host BASE (9.30.00)
emUSB-Host Audio Class (9.35.08)
emUSB-Host CCID component (9.35.06)
emUSB-Host CDC Class (9.35.02)
emUSB-Host CP210x UART support (9.35.09)
emUSB-Host FTDI UART support (9.35.03)
emUSB-Host LAN component (9.37.10)
emUSB-Host MIDI component (9.35.07)
emUSB-Host MTP component (9.35.10)
emUSB-Host Printer component (9.35.00)
emUSB-Host Vendor component (9.35.04)
Un singolo driver (9.40.xx)

emWeb

HTTP Server embedded

Può supportare una connessione sicura se viene abbinato al prodotto emSSL.

emWin PRO

Libreria grafica in codice sorgente per display LCD che comprende:

emWin BASE color (3.00.01)
emWin WM/Widgets (3.01.00)
emWin AppWizard
emWin Memory devices (3.01.02)
emWin Antialiasing (3.01.03)
Un driver singolo per controller LCD (3.10.xx)

IoT Toolkit

Libreria in sorgente di vari pacchetti per l'implementazione di sistemi per l'Internet of Things.

Pacchetti di driver di periferica

Due pacchetti di driver per emPower, reclamabili durante il periodo di supporto e manutenzione

Leggi tutto
Crypto & Sicurezza, IoT, Middleware, RTOS, Segger, Sistemi Operativi Real-Time

SEGGER embOS-Safe

TÜV Süd Germany ha certificato il sistema operativo real-time embOS secondo gli standard EC 61508 SIL 3 e IEC 62304 Class C. IEC 61508 è lo standard per la sicurezza funzionale ed è il punto di riferimento per vari standard derivati in campi di applicazione differenti. Certificazioni di embOS rispetto ad altri standard come ISO 26262 possono essere facilmente conseguite. Il conseguimento della certificazione conferma la qualità dei processi di sviluppo di Segger e dimostra che embOS-Safe è un kernel perfetto per applicazioni di sicurezza. Nessuno sforzo è richiesto agli utilizzatori di embOS-Safe per conseguire la certificazione del kernel. embOS-Safe viene fornito con un kit di certificazione che contiene tutti i documenti necessari, compreso un manuale completo su la sicurezza con embOS.

functional_s3

Certificato di Sicurezza

STÜV Süd ha verificato il processo di sviluppo di embOS e conferma con un certificato che embOS-Safe è un componente ideale per lo sviluppo di applicazioni di sicurezza.

Kernel Real-Time

Stesse API di embOS

Le API di embOS-Safe rimangono l stesse di embOS perciò applicazioni scritte in passato possono essere riutilizzate senza modifiche. 

SeggerLogo200

Kit di Certificazione

Il kit di certificazione per embOS-Safe include tutti i documenti necessari, incluso un completo manuale di sulla sicurezza di embOS.

Leggi tutto
Functional-Safety, RTOS, Sistemi Operativi Real-Time

SEGGER embOS-MPU

Tecnologia

embOS-MPU offre un meccanismo di protezione della memoria per il kernel real-time embOS. Esso contribuisce in modo significativo ad aumentare la stabilità e la sicurezza delle Vostre applicazioni embedded semplificando i processi di certificazione. Il sistema operativo e tutti i task dichiarati privilegiati girano in zone di memoria protette e isolate rispetto ai task dichiarati non-privilegiati. La piena compatibilità delle API con quelle della versione standard di embOS consente di adattare l'applicazione con uno sforzo minimo.embOS-MPU può essere utilizzato in applicazioni alimentate a batteria, in sistemi single-chip in cui siano richiesti altra responsività, flessibilità e task multipli. Esempi di applicazioni per le quali embOS-MPU è adatto (l'elenco non esaurisce tutte le possibilità) sono: applicazioni medicali, automazione, sistemi avionici, applicazioni safety-critical, ecc.

 

Caratteristiche

  • Protezione avanzata della memoria
  • Task non privilegiati confinati al 100% in una sandbox.
  • Adatto per qualsiasi applicazione safety-critical.
  • Disponibile per qualsiasi microcontrollore dotato di un meccanismo di protezione hardware della memoria o di un'unità MMU (Memory Management Unit)
  • Semplice da configurare
  • Semplice da integrare in prodotti nuovi oppure già sviluppati.
  • Gestione dei driver dei dispositivi in modo da avere un pieno controllo dell'accesso alle periferiche.
  • Supporta un numero illimitato di task privilegiati.
  • Conforme alle specifiche MISRA-C:2012
Leggi tutto
IoT, RTOS

SEGGER embOS

embOS è il kernel hard real-time di Segger ad alte prestazioni, con supporto per le principali architetture di processore, senza royalties.

Caratteristiche Principali

Numero illimitato di mailbox (il limite è la memoria disponibile)
La dimensione e il numero di messaggi è configurabile
Numero illimitato di timer software (il limite è la memoria disponibile)
La risoluzione del tick di sistema è selezionabile (default è 1ms).
Misura temporali ad alta risoluzione (migliore del tick di sistema)
Power management: il tempo di CPU inutilizzato può essere speso in halt-mode.
La maggior parte delle funzioni di sistema possono essere chiamate dalle routine di interrupt.
Zero interrupt latency time.
Gli interrupts annidati sono permessi.
Build in debug mode permettono l’instrumentazione del sistema operativo per facilitare debug.
Task profile
Real time kernel viewer (embOSView) incluso (monitoraggio via seriale dello stato dei task)

Specifiche

kernel size (ROM) 1100 – 1600 byte *
kernel RAM usage 18 – 25 byte *
kernel CPU usage at 1 ms Interrupts with 10MHz M16C : less than .3%
RAM usage mailbox 9 – 15 byte *
RAM usage binary and counting semaphore 3 byte
RAM usage resource semaphore 4 – 5 byte *
RAM usage timer 9 – 11 byte *
RAM usage event 0
Basic time unit (One Tick) Default 1 ms, can be configured, Min. 100 µs (M16C@10MHz) *
task activation time independent of no. of tasks(e.g. typ. 12 us M16C@10MHz)
zero interrupt latency
No. of tasks : Unlimited (by available RAM only)
No. of mailboxes : Unlimited (by available RAM only)
No. of semaphores : Unlimited (by available RAM only)
No. of s/w timers : Unlimited (by available RAM only)
Max. no. of priorities : 255
Max. no. of tasks with identical priorities (Round robin scheduling) Unlimited

* Dipende dalla CPU, il compilatore e il modello di libreria utilizzato

Architetture Supportate

ARM 7/9/XScale
ARM Cortex M0/M3/M4
ARM Cortex A8
Atmel AVR
Atmel AVR32
Infineon C16x
Freescale Coldfire V1/V2/V3
National Semiconductors CR16C
Fujitsu F2MC-16LX,F2MC-16FX
Fujitsu FR30 / FR50 / FR70
Renesas H8 / H8S
Renesas M16C/R8C
Renesas M32C & M16C80
Texas Instruments MSP430 & MSP430x
NIOS 2
Microchip PIC18
Microchip PIC24F/PIC24H
Microchip dsPIC30F/dsPIC33F
Microchip PIC32
Renesas R32C
Renesas R32C
Renesas R8C
Renesas RL78
Renesas RX
Renesas SH2
Renesas SH2A
Freescale SO8
ST ST7
ST STM8
Toshiba TLCS900
Toshiba TMPZ84
NEC V25
NEC V850 / V850E / V850ES
AMD X86
Zilog Z180
Hitachi 64180
NEC 78K0/K0S/K0R
NEC 78K4
8051

Strumenti di Debug

Il kernel di embOS supporta un meccanismo di trace che consente di catturare informazioni dettagliate sullo stato di kernel e task con precise misure temporali relative a tutti gli eventi interni al kernel . La cattura del trace viene effettuata nella maggior parte dei casi in automatico utilizzando il J-Link della Segger.
Esistono vari tool per visualizzare le informazioni catturate da embOS:

Leggi tutto
RTOS, Sistemi Operativi Real-Time