Trace32 supporta la nuova versione di PikeOS di Sysgo

PikeOS si basa sulla tecnologia SSV (Safe & Secure Virtualization), certificabile secondo standard di sicurezza come DO178B, IEC61508, EN 50128 e ISO26262. L’awareness di PikeOS è compresa in tutte le nuove release del software Trace32 per PowerPC; le altre architetture saranno presto supportate.

Con Trace32 le prestazioni di debug si applicano a molti componenti software diversi, dal codice di bootstrap alle routine di interrupt, ai driver. L’awareness di PikeOS permette un accesso facile alle sue risorse, come le partizioni, i processi e i thread. Poiché PikeOS è anche una piattaforma di virtualizzazione è importante essere in grado di debuggare ogni applicazione, a prescindere dalla partizione o dal tipo di partizione (chiamato Personality) a cui l’applicazione appartiene.

Si può eseguire un’analisi di performance sui thread, mostrando quando e quale thread era in esecuzione, quanto tempo ha impiegato ogni thread e quanto spesso ha subìto preemption. Trace32 raccoglie tutte queste informazioni in real-time e in modo non intrusivo, quindi senza impatto sulle applicazioni dell’utente. Analogamente al pieno supporto MMU di PikeOS, anche Trace32 fornisce un pieno supporto all’MMU, cosicché l’utente è in grado di debuggare contemporaneamente task diversi in diverse partizioni PikeOS, senza preoccuparsi di quale partizione sia attualmente in esecuzione nella Cpu. In tal modo Trace32 garantisce un accesso completo all’intero sistema in ogni istante.

Dal momento che PikeOS è usato principalmente in sistemi con requisiti di sicurezza, di protezione e strategici, è assolutamente indispensabile il debug di componenti software come il codice di bootstrap, la fase di inizializzazione, le routine di interrupt, i driver e il kernel. L’hardware del debugger Trace32 rende possibili queste funzionalità.

Tutte le prestazioni che il debugger Trace32 fornisce per l’RTOS PikeOS sono realizzate senza modifiche alle applicazioni o al kernel. Non ci sono patch, hooks o strumentazione aggiuntiva al codice. Fa parte della filosofia Lauterbach far sì che Trace32 permetta il debug esattamente dello stesso codice che sarà rilasciato nel prodotto finale. Questo è l’unico modo per garantire con certezza che l’applicazione originale sia verificata e giri correttamente.

PikeOS abilita interfacce multiple di sistema operativo, chiamate Personalities, per lavorare in ambienti separati di risorse nella stessa macchina. Esempi di Personalities includono Linux, POSIX, Android, RTEMS, ARINC-653 e molti altri. Una Personality Windows è attualmente in corso di sviluppo. In seguito alla separazione delle risorse gestita dal microkernel PikeOS, più applicazioni con diversi requisiti di sicurezza e protezione, e appartenenti a diverse Personalities, sono in grado di coesistere sulla stessa piattaforma hardware. L’architettura del microkernel PikeOS permette di utilizzarlo su dispositivi economici, con poche risorse, così come su sistemi grandi e complessi. PikeOS supporta molte diverse architetture di processore, single e multicore, come x86, PowerPC, MIPS, ARM, SPARC o SH. Il supporto multicore permette un approccio flessibile per l’utente, che può scegliere un modello di esecuzione che va dal puro AMP (Asymmetric Multi Processing) al completo SMP (Symmetric Multi Processing). PikeOS è certificabile rispetto a standard di sicurezza come DO-178B, IEC 61508 o EN 50128, è MILS compliant ed è attualmente oggetto di vari progetti di certificazione di standard di sicurezza CC EAL.

Per saperne di più: www.lauterbach.com/rtospikeos.html

Sysgo AG: www.sysgo.com

Contenuti correlati

• 
  Virtualizzazione e monitoraggio remoto: un valido approccio per affrontare i problemi nella catena di approvvigionamento

  DevAlert Sandbox di Percepio è un esempio di come la virtualizzazione e l’emulazione hardware possano essere integrate in un package compatto, consentendo alle aziende che sviluppano prodotti edge/IoT di continuare a farlo senza dover attendere la disponibilità...
• 
  Infineon e TrustSEC insieme per una piattaforma per smart card

  TrustSEC, azienda specializzata in sicurezza delle informazioni e nelle smart card, ha presentato, in collaborazione con Infineon Technologies, il suo nuovo sistema operativo avanzato per smart card BIO-SLCOS. Il sistema operativo utilizza il recente SLC38 Secure Element...
• 
  Tecnologia unikernel ai nastri di partenza

  Unikernel è una tecnologia che potenzialmente combina i vantaggi della virtualizzazione e della containerizzazione, offrendo un elevato grado di sicurezza, migliori prestazioni e un ingombro ridotto Leggi l’articolo completo su Embedded 87  
• 
  eSOL aggiunge una nuova funzione di virtualizzazione per l’RTOS eMCOS

  eSOL ha annunciato la disponibilità di eMCOS Hypervisor, una funzione di virtualizzazione integrata nel sistema operativo in tempo reale (RTOS) scalabile eMCOS dell’azienda. eMCOS Hypervisor semplifica l’integrazione in tempo reale di applicazioni critiche su RTOS e di...
• 
  Thecus: NAS per infrastrutture da 10 GbE

  Thecus ha ampliato le proprie linee di NAS (network attached server) SMB e Enterprise con i modelli N7710 e N8810U 10 GbE Ready con caratteristiche hardware e prestazioni identiche alle versioni N7710-G e N8810U-G, rispetto alla quali...
• 
  Motorola Wlan: virtualizzazione e accesso unificato

  Motorola Solutions ha di recente arricchito arricchito il proprio portafoglio di soluzioni Wlan con tre nuovi prodotti. “La nostra nuova suite di soluzioni – ha detto Daniele Schinelli (nella foto), amministratore delegato Motorola Solutions Italia nel corso...
• Actel Europe: Unison, sistema operativo Linux compatibile

  Actel e RoweBots hanno comunicato l’immediata disponibilità di Unison, un sistema operativo ‘ultra-tiny’ (vale a dire piccolissime dimensioni in inglese) Linux compatibile. Gli sviluppatori che adottano gli Fpga a segnali misti ‘intelligenti’ della serie SmartFusion hanno ora...
• Mercato embedded e trend: la parola agli operatori

   Le schede industriali diventano piccole come una carta di credito ma migliorano in versatilità e permettono di implementare periferiche mirate alle applicazioniPer gli intervistati, i moduli e schede di piccolo formato e le architetture multicore con molteplici...
• 
  Accordo tra Contradata e Real Time Systems

  “Siamo molto soddisfatti di aver concluso questo accordo con un’azienda prestigiosa come Real Time Systems. Oltre a essere membro della Intel Embedded and Communication Alliance (Intel ECA) e Windows Embedded Silver Partner, Real Time Systems ha una...
• EMBEDDED – La virtualizzazione per il mercato embedded

  Autore: Mark Hermeling, senior product manager per la divisione Multicore e Virtualizzazione, Wind River Le differenze sostanziali tra la virtualizzazione per il mercato aziendale e quello embedded