Sistemi complessi e architetture software per applicazioni safety critical
In questa serie scoprirete come MATLAB® e Simulink® vengono utilizzati per la progettazione dei veicoli di nuova generazione e dei loro sottosistemi.
Particolare enfasi sarà posta sull’approccio MathWorks alla gestione dei requisiti, al System Engineering, alla Functional Safety ISO 26262 e alla validazione virtuale dell’intero veicolo.
Verranno presentati i nuovi strumenti MathWorks per la gestione di sistemi complessi ed architetture software AUTOSAR, e si approfondirà il flusso di lavoro MathWorks per la progettazione, sviluppo, verifica e validazione del software di sistemi “safety critical” in accordo agli standard IEC 61508, ISO 26262, ISO 25119.
Sfide nella progettazione, implementazione e validazione di un sistema automotive.
Gestire i requisiti con Simulink Requirements.
System Composer come strumento essenziale nell'approccio Model-Based Design per la creazione di architetture.
System Composer for the Management of Complex Systems – Stereotypes, Views, and Analysis
System Composer per analizzare la complessità del sistema e visualizzare i risultati.
System Composer for the Design of Software Architectures and AUTOSAR Architectures
System Composer e AUTOSAR Blockset per la generazione di software.
Introduction to ISO 26262 and Model-Based Design Workflow for Safety Standards
Workflow e IEC Certification Kit per le fase di verifica e validazione per gli standard safety come ISO 26262.
Simulink Requirements per architetture software in linea con lo standard ISO 26262.
Simulink Tools for Testing and Traceability with Requirements
Simulink Test e Simulink Requirements per la creazione e gestione dei test.
Model Coverage, Automatic Test Generation, and Run-Time Error Detection
Simulink Coverage e Simulink Design Verifier per la copertura dei componenti software con la generazione automatica dei test.
Compliance with Guidelines, Standards, and Complexity Analysis
Simulink Check per la conformità agli standard di safety.
Code Generation, Software-in-the-Loop Testing, Code Coverage, and Code Traceability Requirements
Embedded Coder e Simulink Coverage per la generazione automatica del codice e l'analisi della copertura del codice.
Tools for Static Code Analysis
Polyspace Bug Finder e Polyspace Code Prover per un codice robusto e la conformità con standard Cybersecurity.
Processor-in-the-Loop and Execution Time Measurement and System-Level Testing
Embedded Coder e Simulink Test per il download e l'analisi del codice generato su microprocessori embedded.
Tool Qualification for ISO 26262 IEC Certification Kit Coverage on Hardware
IEC Certification Kit per classificare e qualificare i tool.
Summary of MathWorks Workflow for ISO 26262 and IEC Certification Kit Coverage
IEC Certification Kit e toolchain MathWorks per la copertura della ISO 26262 parte 6.
