Home   >   Prodotti   >   LDRA e Green Hills: strumenti avanzati per sviluppo e sicurezza applicazioni multicore

LDRA e Green Hills: strumenti avanzati per sviluppo e sicurezza applicazioni multicore

Pubblicato il 13 luglio 2015

LDRA ha collaborato con Green Hills Software per la realizzazione di un ambiente di sviluppo di applicazioni a elevata sicurezza su piattaforme multicore destinate ai mercati safety e security critical.

La tecnologia di tracciatura sviluppata da LDRA è in grado di catturare in modo efficiente il comportamento dinamico del software runtime sui diversi nuclei di elaborazione di un processore multicore. Di conseguenza, è possibile effettuare analisi di copertura su applicazioni safety e security critital in modo aggregato senza degradare le prestazioni runtime e senza sacrificare l’integrità dell’ambiente applicativo multicore di Green Hills Software. La tecnologia di tracciatura LDRA è stata integrata con la tool chain di sviluppo di Green Hills Software, per offrire una capacità di analisi e debug senza precedenti.

Per il mercato delle applicazioni multicore safety e security critical, Green Hills Software offre il sistema operativo in tempo reale (RTOS) INTEGRITY-178 tuMP (time-variant unified multiprocessing). INTEGRITY-178 tuMP offre agli sviluppatori di sistemi e applicazioni la massima flessibilità per la schedulazione concorrente su più nuclei di elaborazione e tra le diverse applicazioni attive. Grazie al partizionamento garantito dal sistema operativo in tempo reale, le applicazioni che richiedono diversi livelli di sicurezza possono essere eseguite contemporaneamente su una stessa piattaforma multicore. L’ambiente di sviluppo integrato IDE MULTI  di Green Hills supporta la programmazione nei linguaggi C, C++ e Ada. La collaborazione tra le due aziende ha permesso di integrare la soluzione per la copertura strutturale di LDRA con l’ambiente di sviluppo MULTI IDE, unificando così lo gestione delle attività di sviluppo, debug e verifica di applicazioni multicore.

Con il supporto della strumentazione multicore di LDRA, l’analisi di copertura strutturale può essere catturata a livello di singolo core oppure aggregata per ottenere una visione complessiva del comportamento a livello di sistema. I risultati vengono rappresentati graficamente, dando modo agli sviluppatori di seguire il flusso del codice eseguito e di valutare il comportamento delle applicazioni a livello di singolo core o a livello di sistema. Con l’analisi di copertura strutturale che si spinge fino al livello di codice-oggetto ed è disponibile sia sulle piattaforme host, sia sulle piattaforme target, la soluzione di LDRA supporta la verifica della conformità ai più alti livelli degli standard safety-creitical. I report automatici catturano l’analisi e le tecniche adottate nei test di verifica riducendo potenzialmente di centinaia di ore il lavoro altrimenti necessario per predisporre la documentazione indispensabile per ottenere la conformità.

Iscriviti alle newsletter »


Contenuti correlati

  • Piattaforma di comunicazione “in vehicle” configurabile

    Questa soluzione, frutto di un accordo tra Green Hills Software, STMicroelectronics e Cetitec, gestisce la comunicazione per il consolidamento delle ECU (unità di controllo elettronico) nei controllori di zona, elementi critici delle architetture SDV (Software-Defined Vehicle) di...

  • Green Hills Software
    Soluzioni Green Hills Software per i processori i.MX 93 e i.MX 95 di NXP

    Green Hills Software ha annunciato il supporto per la serie di processori applicativi i.MX 9 di NXP Semiconductors. Si tratta di una piattaforma integrata basata sul software sicuro e protetto di Green Hills Software, che comprende sistemi...

  • Green hills software
    INTEGRITY-178 tuMP RTOS per le soluzioni di volo autonomo di Merlin

    Merlin, azienda specializzata nello sviluppo di tecnologie di volo autonomo, ha scelto il sistema operativo safety-critical in tempo reale (RTOS) INTEGRITY-178 tuMP di Green Hills Software, per la sua soluzione di volo autonomo. INTEGRITY-178 tuMP verrà eseguito...

  • MathWorks e Green Hills Software collaborano per lo sviluppo con AURIX TC4x

    MathWorks e Green Hills Software, per aiutare lo sviluppo e progettazione applicazioni di sicurezza per la famiglia di microcontrollori Infineon AURIX TC4x per il settore automobilistico utilizzando Simulink, hanno annunciato l’integrazione dei loro prodotti. Gli ingegneri che...

  • Green Hills Software: supporto per i processori NXP S32G3

    Green Hills Software ha annunciato il supporto per S32G3, il nuovo processore di rete veicolare di NXP Semiconductors. Questo supporto, focalizzato alla produzione dei veicoli Software-Defined sicuri, combina il middleware per auto connesse con il software di...

  • Green Hills Software a Embedded World 2023

    Green Hills Software presenterà a Embedded World 2023 una nuova serie di soluzioni dimostrative e condividerà la propria esperienza attraverso una serie di presentazioni nel forum degli espositori, aperto a tutti i visitatori, e durante le lezioni...

  • 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  

  • Migrazione della piattaforma microcontrollore: alcuni consigli utili

    Le aziende manifatturiere sono ancora esposte a notevoli rischi e vulnerabilità nelle loro catene di fornitura dei componenti, e questo induce molti team a rielaborare gli attuali progetti dei prodotti Leggi l’articolo completo su Embedded 87

  • Sistemi operativi embedded, la forza del modello open source

    La possibilità di accedere al codice sorgente di un sistema operativo, di utilizzarlo e modificarlo secondo le proprie esigenze, fornisce vantaggi e opportunità d’innovazione rispetto ai sistemi operativi proprietari. Il paradigma open source può estendersi anche all’ambito...

  • Green Hills Software amplia l’offerta automotive con gli RTOS per zonal e domain controller

    Green Hills Software ha introdotto importanti aggiornamenti al suo sistema operativo real-time (RTOS) µ-velOSity per supportare i nuovi microcontrollori sempre più diffusi nell’elettronica dei veicoli. µ-velOSity è stato aggiornato con nuove funzionalità specifiche, oltre che con funzionalità...

Scopri le novità scelte per te x

Elettronica Plus è un network di Quine.
Quine srl
Direzione, amministrazione, redazione, pubblicità
Via Spadolini 7 - 20141 Milano
Tel. +39 02 864105 | Fax +39 02 72016740 | P.I.: 13002100157
Contatti: media.quine.it | www.quine.it | quineformazione.it
Privacy
Copyright 2024 - Tutti i diritti riservati