software embedded integration testing - automotive spin · 2011-02-21 · 1. outsourcing delle...
TRANSCRIPT
![Page 1: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/1.jpg)
Software Embedded Integration Testing
Milano, 17 Febbraio 2011
Ing. Matteo Maglio
![Page 2: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/2.jpg)
Skytechnology Confidential 2
HW FW/SW TEST Quality
& RAMS
Avionico
Difesa Trasporti
Medicale
Medicale
Telecom Industria
Auto
V&V
Skytechnology è una società di ingegneria che opera nell’area dei
sistemi embedded aiutando i propri Clienti
• a sviluppare e testare dispositivi elettronici
• ad applicare a processi e prodotti le normative sulla Safety e sul
Miglioramento (es. ISO 26262, CMMI e Automotive SPICE, …).
Chi siamo
Automotive SPIN – Feb. 2011
![Page 3: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/3.jpg)
Skytechnology Confidential 3
Matteo Maglio
Responsabile per le soluzioni di Affidabilità e Sicurezza
Esperienze in ambito ferroviario e avionico
• Segnalamento ferroviario (Cenelec)
• Sistemi metro (Cenelec)
• Schede avioniche (DO 178B)
Il Relatore
Automotive SPIN – Feb. 2011
![Page 4: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/4.jpg)
Introduzione
Skytechnology Confidential 4
I prodotti di oggi sono caratterizzati da:
Automotive SPIN – Feb. 2011
• elevata complessità
• presenza di software a bordo
• realizzano funzioni che
possono richiedere alta
integrità
• REQUISITI formalizzati
Rqmt
![Page 5: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/5.jpg)
System Requirements Spec.
Hazard analysis e Risk Assessment
Safety Requirements Spec.
Hardware Design
Hardware Validation
Integration and Installation Tests
Quality management report
Safety management report
Technical safety report
Functional safety Tests / Validation
System Tests / Validation
Safety Functional Requirements
Safety Integrity Requirements
Sistematic failure Integrity
Random failure Integrity
Arc
hite
ctu
re V
erification
Desig
n V
erification
Test
Safety Validation
System Validation
Analisi &
Test
System Architecture Design
Software Validation
Software Design
Skytechnology Confidential 5 Automotive SPIN – Feb. 2011
Ciclo a V
© T
ake
n fro
m S
kyte
ch
no
logy C
EN
EL
EC
tra
inin
g
![Page 6: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/6.jpg)
Metodi di sviluppo per sw embedded
Skytechnology Confidential 6 Automotive SPIN – Feb. 2011
Rqmts
Design 80% Small releases
Automatic module test
Automatic integration test
Continuous integration
Traceability
TDD
Cfg Mngnt
![Page 7: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/7.jpg)
Skytechnology Confidential 7
Il risultato di uno studio di HSE
© Taken from Skytechnology CENELEC training
Automotive SPIN – Feb. 2011
![Page 8: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/8.jpg)
Metodi di sviluppo per sw embedded
Skytechnology Confidential 8
• Sviluppo incrementale (small releases), Agile
• TDD (Test Driven Development)
Automotive SPIN – Feb. 2011
• Prima si scrive il test e poi il codice che lo verifica
• Progettazione 80%
Risponde all’ esigenza di maggiore produttività
Modeling and Simulation
![Page 9: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/9.jpg)
Metodi di sviluppo per sw embedded
Skytechnology Confidential 9
• Integrazione continua + test statici
Automotive SPIN – Feb. 2011
Vantaggi:
1. Maggiore comprensione del problema (obbliga a pensare in modo
fortemente TELEOLOGICO); continua opportunità di refactoring
2. Eliminazione quasi completa dell’ uso del debugger
3. Non regressione dei moduli (e ripetibilità);
4. Riduzione dei tempi di test modulo (tempo mascherato),
5. Riduzione costi test modulo (25%, si testa a bassa complessità)
• Test di modulo automatici
• Prima si scrive il test e poi il codice che lo verifica
![Page 10: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/10.jpg)
Metodi di sviluppo per sw embedded
Skytechnology Confidential 10
• Integrazione continua + test statici
Automotive SPIN – Feb. 2011
• Test di integrazione automatici
• Test di modulo automatici
• Completa copertura requisiti
Test Automation
Analysis and Reporting Requirements Management
![Page 11: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/11.jpg)
Requirements Test Case Test Station Test Results
Test Description Test Result
UUT Description
Test Station
Process can be automated through
UUT
ATML Schemas
*ATML – Automatic Test Markup
Language
Test di sistema con Tools
Skytechnology Confidential 11 Automotive SPIN – Feb. 2011
![Page 12: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/12.jpg)
L’esperienza di Skytechnology nella Safety Assurance
Skytechnology Confidential 12
Lo scenario • Il mercato richiede una verifica/assessment formale della sicurezza di un sw
• Il cliente deve adattare il suo processo di sviluppo minimizzando l’impatto delle modifiche
I requisiti • Adeguamento del processo di sviluppo del software a SIL2
• Conformità allo standard EN 50128
• Architettura di test a più livelli: – Logico (model based)
– Elettronico (HIL)
– Fisico (mock up degli impianti)
• Supporto durante gli assessment di assessors internazionali
Adeguamento alle norme Cenelec di una sw factory
Automotive SPIN – Feb. 2011
![Page 13: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/13.jpg)
Skytechnology Confidential 13 Automotive SPIN – Feb. 2011
La risposta • L’intervento si è articolato nei seguenti ambiti:
– Gap analysis
– aggiornamento delle procedure per recepire i requisiti delle norme
– definizione del ciclo di vita del software
– sviluppo e integrazione dei tool di supporto alle fasi del ciclo di vita (tra cui STP per l’analisi dei requisiti e le soluzioni National Instruments per il Real Time Testing)
L’esperienza di Skytechnology nella Safety Assurance
Adeguamento alle norme Cenelec di una sw factory
![Page 14: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/14.jpg)
L’esperienza di Skytechnology nella Safety Assurance
Skytechnology Confidential 14 Automotive SPIN – Feb. 2011
Brick Brick Brick
Brick Brick
Brick Brick Brick
Brick Brick
Brick Brick
Supporto alla definizione e compliance di un’architettura
hw/sw modulare per applicazioni SIL4
La risposta • L’intervento si è articolato nei seguenti ambiti:
– Definizione del processo di sviluppo e validazione
– Stesura PHA, Safety Plan, Hazard analysis , Safety Case
– Indipendent V&V (anche con soluzioni HIL di National Instruments)
![Page 15: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/15.jpg)
Tipologie di Servizi Offerti
Sulla base della nostra esperienza in ambito safety, proponiamo il nostro know how mediante:
1. Outsourcing delle attività di compliance del software agli standard sulla Safety – Adeguamento del software embedded agli standard
– Tailoring dello standard
– Audit Support
2. Progetti chiavi in mano per la gestione dei requisiti di Safety, progettazione, implementazione, test e V&V
3. Consulenza di specialisti sulla Functional Safety
4. Integrazione di prodotti di terzi: STP, Doors, NI VeriStand, …
Skytechnology Confidential 15 Automotive SPIN – Feb. 2011
![Page 16: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/16.jpg)
Caretteristica Servizi Offerti
• Altri aspetti caratteristici del servizio di Outsourcing :
– Modello di lavoro improntato sulla flessibilità (modifiche continue, gestione urgenze ecc.. )
– Progetto chiavi in mano e riconciliazione degli extra-effort alla fine del progetto
– Report di Avanzamento Periodico (settimanale)
– Valutazione delle Lesson Learned con il Cliente per migliorare il modello di servizio
– Assessment indipendente
– Gestione della documentazione prodotta
– Estensione temporanea organizzazione Cliente
Skytechnology Confidential 16 Automotive SPIN – Feb. 2011
![Page 17: Software Embedded Integration Testing - Automotive SPIN · 2011-02-21 · 1. Outsourcing delle attività di compliance del software agli standard sulla Safety –Adeguamento del software](https://reader036.vdokument.com/reader036/viewer/2022070913/5fb478a0af850f3bd67965d8/html5/thumbnails/17.jpg)
Via Francesco Gonin, 55
20147 Milano
Tel. +39 02 370511
Fax. +39 02 37051226
Via Adolfo Ravà, 124
00100 Roma
Tel.: +39 06 45439361
Fax: +39 06 45439237
Corso Svizzera, 185
10149 Torino
Tel.: +39 011 7715774
Fax: +39 011 7419448