RTOS Trace

Chi utilizza un sistema operativo sa quanto sia difficile identificare un problema di funzionamento del kernel senza conoscere nel dettaglio come esso evolva nel tempo. Percepio ha risolto il problema creando Trace Alyzer, un innovativo tool di trace per FreeRTOS, Arm Keil RTX5, Linux, Wittenstein SafeRTOS, Azure RTOS ThreadX, Micrium µC/OS-III, On Time RTOS-32,OpenVX – Synopsys EV6x, Wind River VxWorks.      
Leggi tutto

Sicurezza

Questa sezione del sito è dedicata alla sicurezza dei sistemi embedded. La sicurezza di un sistema embedded è una questione che ha impatto su vari aspetti dello sviluppo. Segger ha rilasciato due versioni speciali del sistema operativo embOS: embOS-MPU (per l'architettura Cortex-M, gestisce task privilegiati che hanno accesso a tutte le aree di memoria e task che invece subiscono delle restrizioni in tal senso) e embOS-Safe, una versione speciale di embOS certificata per lo sviluppo di applicazioni Safety-Critical sino al livello SIL3.

Segger ha anche sviluppato un'intera libreria crittografica (emCrypt) e alcuni protocolli di rete a livello applicativo (SSL/TLS e SSH).  A completare la soluzione il prodotto emSECURE che offre protezione sul target rispetto ai tentativi di reverse engineering del firmware,  clonazione e produzione fraudolenta.

emCrypt PRO (libreria crittografica)

Libreria crittografica avanzata con cifrari simmetrici, asimmetrici, hashing

  • Tutti i cifrari (AES, XTS-AES, DES, TripleDES, ARIA, SEED, Camellia, Blowfish, Twofish, IDEA)
  • Algoritmi di hash (MD5, RIPEMD-160, SHA-1, SHA-2 family, SHA-3 family, SM3)
  • Algortmi MAC (HMAC, CMAC, GMAC, KMAC, Michael)
  • Algoritmi di Key Derivation (KDF1, KDF2, HKDF, PBKDF2, X9.63 KDF)
  • All key agreement protocols (DH, ECDH, X25519, X448)
  • All digital signature protocols (RSASSA-PSS, RSASSA-PKCS1, DSA, ECDSA, Ed25519, Ed448)
  • All key generation algorithms, probabilistic and proven primes, for RSA and DSA
  • All random bit generators (Fortuna, Hash_DRBG, HMAC_DRBG, CTR_DRBG)
  • All extendable output functions (SHAKE128, SHAKE256, cSHAKE128, cSHAKE256)
  • All key encapsulation functions (RSAES-OAEP, AESKW, Camellia-KW, ARIA-KW, SEED-KW, Twofish-KW)
  • All NIST prime curves (P-192, P-224, P-256, P-384, P-521)
  • All Brainpool curves and twisted curves (brainpoolP160r1 through brainpoolP512r1)
  • All self-tests
emCrypt BASE (libreria crittografica)

 Libreria crittografica di base con algoritmi simmetrici e di hashing

  • AES-128, AES-192, AES-256
  • DES
  • TripleDES (also known as 3DES or TDES) with all keying options
  • MD5
  • RIPEMD-160
  • SHA-1
  • SHA-224, SHA-256. SHA-384, SHA-512, SHA-512/224, SHA-512/256
Leggi tutto

RTOS

Segger propone il sistema operativo hard real-time embOS, potente e funzionale, ora disponibile in tre versioni:

embOS: il kernel general-purpose.

Kernel ultra-compatto (1.5KB di codice) disponibile per tutte le maggiori architetture di microcontrollore.  E' dotato di funzionalità di trace funzionale (tramite il tool SystemView) e dotato di un ricco middleware:

  • emNet (stack TCP/IP)
  • emWin (GUI a colori)
  • emUSB (stack USB Host e Device)
  • emFile (file system embedded)
  • emLoad (bootloader embedded)
  • emModbus (stack Modbus Master & Slave)
  • emCrypt (libreria crittografica avanzata)

embOS-MPU

Il kernel per Cortex-M con supporto per la MPU (Memory Protection Unit) che garantisce maggiore sicurezza gestendo task privilegiati e task confinati in zone specifiche della memoria. E' dotato di funzionalità di trace funzionale (tramite il tool SystemView) e di un ricco middleware, come embOS standard.

embOS-SAFE: il kernel per applicazioni safety-critical

embOS-Safe: versione certificata sino al livello SIL3 per applicazioni Safety-Critical. Questo kernel supporta al momento l'architettura Cortex-M.

Da poco è anche disponibile il bundle emPack, il sistema operativo Segger che include il kernel embOS completo di un moderno middleware.

Bundle embOS+Middleware Segger

emPack Bundle

Cerca un sistema operativo con un middleware veramente completo e in codice sorgente? Segger presenta emPack un bundle che comprende i senguenti moduli: embOS, emNet PRO, emCompress, emCrypt PRO, emFile PRO, emModbus, emSecure, emSSH, emSSL, emUSB Device PRO, emUSB-Host PRO, emWeb emWin PRO, IoT Toolkit

SeggerLogo200

Embedded Studio PRO

Cerca un ambiente di sviluppo completo per Cortex-M dotato di un ambiente IDE (Embedded Studio), di una sistema operativo precompilato, del debugger J-Link e di una scheda di valutazione della Segger basata su NXP K66 (Cortex-M4)? La soluzione è Embedded Studio PRO

Leggi tutto

IAR Systems

IAR Systems è una società svedese indipendente con oltre 30 anni di esperienza nel campo dei compilatori C per microcontrollori.  L’offerta tecnica di IAR oggi comprende:

  • L’ambiente di Sviluppo IAR Embedded Workbench che supporta numerose architetture di microcontrollore a 8/16/32 bit con una toolchain C/C++ conosciuta per l’affidabilità e il livello di ottimizzazione.
  • Toolchain certificate  IEC 61508 (per le architetture: ARM, RL78, RH850, RX, STM8).
  • Add-on per Embedded Workbench: Analisi Statica (C-STAT) e di Analisi Dinamica (C-RUN) professionali.
  • Debugger hardware con supporto per ARM e DSP TMS-C2000 di TI.
  • VisualSTATE, tool di sviluppo visuale che genera codice C/C++ a partire da una descrizione dell’applicazione tramite delle macchine a stati.
  • Embedded Trust: tecnologie anticlonazione e antifalsificazione del firmware basate su meccanismi crittografici.

Leggi tutto

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

Il punto tecnico: prestazioni del compilatore IAR per ARM

Quale criterio si può utilizzare per comparare le prestazioni di un microcontrollore oppure di una toolchain con prodotti concorrenti?  L’azienda CoreMark è specializzata nella creazione di programmi per il benchmarking.  Nel seguito sono riportati i risultati ottenuti da varie release della toolchain IAR per ARM.  Numeri CoreMark più grandi indicano prestazioni migliori; si può notare la progressione straordinaria della toolchain IAR chiamata a compilare delle applicazioni di benchmarking per varie architture ARM: (altro…)

Leggi tutto

Chi siamo

Dal 1996 Italsoft S.r.l. distribuisce tool (hardware + software) per lo sviluppo di sistemi embedded. Qui potete trovare informazioni sulle nostre proposte, selezionate tra quanto di meglio sia disponibile sul mercato. Per richiedere informazioni oppure una quotazione è possibile cliccare in alto su “Contatto Rapido” e lasciare un messaggio

Leggi tutto

emWeb Server

Questo modulo implementa una interfaccia utente basata su HTML accessibile da qualsiasi luogo.
Il webserver integrato consente di creare un’interfaccia utente indipendente dal sistema operativo (UI). Questa può essere implementata con vari livelli di complessità, da una semplice GUI per l’applicativo a un sistema basato su tecnologie quali JavaScript, AJAX, SSE, WebSockets, ecc.

Questa tecnologia è integrabile non solo in sistemi embedded dotati di connettività ethernet o WiFi, ma anche in sistemi che ne sono privi: grazie alla tecnologia IP-over-USB, Segger supporta la connettività del target a un host tramite la porta USB usando i protocolli della famiglia TCP/IP.

Leggi tutto

ELFLib

Segger ELFLib è una libreria che consente di estrarre informazioni da file in formato ELF, siano esse informazioni relative al formato ELF (es. informazioni sulle sezioni), oppure informazioni di debug specifiche del compilatore (variabili, funzioni, i loro tipi, indirizzi, ecc.). (altro…)

Leggi tutto

PTP (Precision Time Protocol)

Segger ha rilasciato il modulo PTP (Precise Time Protocol) come add-on allo stack TCP/IP embOS/IP.
Il modulo PRP implementa il protocollo “Precision Time Protocol” (PTP) secondo lo standard IEEE 1588v2 (anche noto come: IEEE 1588-2008) per sicronizzare un clock ordinario (un clock slave sultarget) con una sorgente di clock esterna attraverso una connessione ethernet.

Una sicronizzazione di questo tipo è richiesta in tutte quelle applicazioni in cui sorgenti di dati oppure sensori scambino dati sulla base del tempo. Esempi di applicazioni di questo genere si incontrano nell’ambito dell’elaborazione  oppure del riconoscimento di immagini, in applicazioni audio, in applicazioni multimediali oppure nell’automazione industriale.

PTP può essere usato con oppure senza un supporto hardware dedicato. Il protocollo stesso è in grado di gestire una sincronizzazione precisa al di sotto di un millisecondo usando timer software.
La presenza di un supporto hardware per PTP a livello di interfaccia ethernet può tuttavia consentire di migliorare l’accuratezza con precisione intorno a 100ns tra il target (clock ordinario) e il clock di riferimento (grandmaster clock).

L’implementazione di Segger di PTP è stata pensata per sistemi embedded con risorse hardware limitate. E’ ottimizzato per misure deterministiche del tempo (senza problemi di latenza) e ha un ridotto footprint in memoria. Il supporto hardware per PTP non è richiesto, ma può essere utilizzato se presente per garantire la massima precisione di misura. Driver per specifici hardware sono disponibili.

Leggi tutto