news
|
 |
|
|
|
|
Modeling e generazione codice » Esterel Technologies
|
Esterel Technologies è l'unica società ad offrire oggi un ambiente completo per il modeling, il design, la simulazione e la generazione automatica di codice C e ADA certificato in accordo agli standard safety critical più diffusi come DO178B, IEC61508, EN50128
|
|
SCADE Suite è lo standard industriale per lo sviluppo di Software Embedded Safety-Critical in accordo a standard come DO178B fino a Livello A per il settore avionico/difesa, EN50128 (tutti i livelli SIL) per i sistemi ferroviari e IEC61508 (tutti i livelli SIL) per l'automotive, i trasporti pesanti, l'energia e gli impianti industriali.
|
|
SCADE Display è il tool di design e code generation orientato allo sviluppo di display per applicazioni Safety-Critical anche in accordo a DO178B fino a livello A. Automatizzando le fasi di specifica, design e implementazione di display grafici riduce grandemente i tempi di sviluppo e certificazione delle interfacce grafiche utilizzate in progetti complessi.
|
|
Validazione dei Timing, Stack Usage Analisys Worst-Case Execution Timing Analisys » AbsInt
|
AbsInt mette a disposizione tool per la validazione dei Timing (WCET; Worst-case Execution Timing), uso dello stack e ottimizzazione del codice prodotto che sono già stati utilizzati con successo in numerosi progetti Safty Critical, e supportano una pluralità di compilatori.
|
aiT Worst-Case Execution Time Analyzer
|
Consente, tramite analisi statica del codice oggetto, la determinazione del Worst-Case Execution Timing di software real-time, utilizzando un modello preciso di esecuzione del target processor di interesse, in cui vengono considerati tutti gli aspetti, compresi gli effetti di pipelining e cache.
Disponibile per varie CPU embedded coem ARM7, HC12/S12, PowerPC, Coldfire.
|
StackAnalyzer — Stack Usage Analysis
|
Determina la massima occupazione di stack per il task/codice oggetto dell'analisi, producendo report relativi al flusso di controllo all'interno del codice in oggetto o un call graph dettagliato. Supporta toolchain come IAR, Tasking, GNU, Comsic, Texas Instruments, etc.
|
|
Test, Verifica, Validazione » Geensys
|
Geensys è la società leader nella fornitura di soluzioni per il design e la verifica di software e hardware per l'Automazione Industriale, l'Avionica e lo Spazio, la Difesa e le applicazioni Automotive.
|
Reqtify
Tracciabilità dei Requisiti
Analisi Impatto Modifiche
Completa tracciabilità tra requisiti, codice e procedure di test. Supporto esteso alla Change Impact Analisys. Semplice applicazione del tool anche su progetti gia’ iniziati o compleati.
Qualificato DO-178B/DO-254 S .
|
SCB – Safety Checker Blockset
Verifica formale dei modelli Simulink
Soluzioni per la verifica formale di modelli Simulink sviluppati per sistemi embedded safety critical. Supera i limiti della solo simulazione, che può evidenziare la presenza di bachi ma non la loro completa assenza.
|
CosiMate
Cosimulazione meccatronica
Ambiente per la cosimulazione, che consente a simulatori eterogenei (Simulink, Saber, AMESim, C, VHDL) di operare insieme in modo sincronizzato in una architettura basata su bus software aperto.
|
RT-Builder
Modeling real-time distribuito
Una soluzione avanzata per il disegno, il modeling e l’analisi di sistemi real-time complessi, anche multiprocessor e multibus. Layer di simulazione per servizi ARINC653 (Integrated Modular Avionics), CAN, OSEK, FlexRay).
|
|
