Brochure

Mercato Ferroviario
Profilo della Società
Intecs SpA è una società privata di medie
dimensioni che opera nel mercato “dell’Information
Technology”. La società è localizzata su quattro
sedi: Roma, Pisa, Napoli e Tolosa (F).
Circa il 30% del giro di affari globale appartiene al
settore ferroviario. Più dell’ 80% degli impiegati ha
un titolo di tipo universitario, generalmente in
Ingegneria, Scienze Informatiche e altre discipline.
Nel Dicembre 1994 Intecs ha superato il controllo
formale per ISO 9001 e nel 2003 per VISIO 2000.
Questo fatto posiziona Intecs tra le prime società
certificate in Italia. Il certificato è applicabile per
qualsiasi tipo di sviluppo software nel dominio
Civile, Spaziale e Difesa. Intecs è una società
certificata CMM livello 3 ed è in corso la
certificazione per CMMI livello 3. Nel Maggio 2005
Intecs è stata qualificata, dagli enti notificati
SCIROTÜV e TÜV Rheinland Berlin Branderburg,
per le attività di valutazione software in sicurezza
rispetto alle norme Cenelec EN 50128. La società
opera nel settore dell’Information Technology
applicata ai mercati dei Trasporti, Spazio, Difesa e
Verifica e Validazione (Software e Sistema). Intecs
fornisce servizi e consulenze alle maggiori società
nazionali e internazionali su sistemi “high tech” e
sviluppo di prodotti “chiavi in mano”. Di seguito è
riportata una breve descrizione delle attività
focalizzate al mercato ferroviario.
Sviluppo di Software in Sicurezza per
Applicazioni di Segnalamento Ferroviario
Dal 1997 Intecs sviluppa software “fail safe” per
applicazioni di segnalamento ferroviario in
conformità alle normative applicabili (Cenelec EN
50128),
A titolo di esempio riportiamo alcuni Sw che sono
stati sviluppati:
• Progettazione, sviluppo e
test del software comune
usato su di una piattaforma
standard basata sulla
famiglia di processori
Motorola MC68xxx ed
utilizzata per realizzare
apparati di bordo e di terra.
• Progettazione, sviluppo e test dello stack
software Euroradio. Lo stack di comunicazione
Euroradio permette la comunicazione fra apparati
di terra e di bordo del sistema europeo di gestione
del traffico ferroviario ERTMS. Lo stack di
comunicazione è strutturato secondo lo standard
ISO-OSI.
• Progettazione, sviluppo e test del software
applicativo e specifico del sotto sistema MMI (Man
Machine Interface) montato a bordo dei rotabili.
Intecs è coinvolta nello sviluppo di alcuni tool di
ausilio alla progettazione e generazione dei
telegrammi di bits utilizzati dagli apparati di
segnalamento ferroviario (SCMT, ERTMS). Inoltre
Intecs progetta e sviluppa simulatori di sistemi
ferroviari per le attività di test di integrazione e di
sistema.
I linguaggi più comunemente usati sono: ANSI C,
C++, Assembler, ADA 83, ADA 95.
Attività di “Reverse Engineering Sw”
I sistemi ferroviari prodotti per svolgere compiti in
sicurezza intrinseca devono dimostrare di avere
seguito un processo di sviluppo aderente alle
normative di settore applicabili (Cenelec). Perchè
questo sia possibile spesso si rende necessario
svolgere attività di “reverse engineering” per
ricostruire, a partire dal codice sviluppato (già
secondo la norma applicabile), la documentazione
prevista dalle norme (es architettura software,
architettura di dettaglio, requisiti software, ecc).
Intecs possiede le competenze e i tool necessari per
svolgere questa attività.
Intecs opera correntemente su linguaggi ANSI C,
C++, Assembler ed utilizza tool appropriati per la
gestione dei requisiti, la compilazione delle
architetture. Se non diversamente specificato dal
cliente il ciclo di vita adottato è quello a “V”.
I documenti che vengono prodotti sono strettamente
conformi alle normative Cenelec per il SIL (Safety
Integrity Level) applicabile.
Verifica Software, Test di Integrazione
Hardware/Software
Intecs svolge attività di Sw testing, verifica del
software e test di integrazione hardware/software, di
sistemi utilizzati per il segnalamento ferroviario, in
maniera conforme alle normative Cenelec EN 50128
e EN 50126. Lo scopo è quello di verificare per il
SIL richiesto, tramite prove, che il software di una
determinata fase sia stato sviluppato in maniera
corretta e consistente con i requisiti di ingresso per
quella fase. Inoltre deve essere dimostrato che il Sw
e l’Hw interagiscono correttamente per eseguire le
loro funzioni
Allo scopo viene prodotto il Piano di Verifica del
Software e il Piano di Test del software . Dopo ogni
verifica viene prodotto il Rapporto di Verifica con lo
scopo di dimostrare che il software ha superato la
prova o meno. La verifica viene svolta da un team
indipendente dallo sviluppo nella misura in cui è
richiesto dal SIL.
Le tipologie di test che Intecs effettua sul Sw sono:
• Test di Modulo, con i quali si verificano i requisiti
dell’architettura di dettaglio. Questi test vengono
eseguiti sia su Host PC che su target;
• Test di Integrazione Software, con i quali si
verificano i requisiti dell’architettura software.
Questi test sono preparati su host PC ed eseguiti
su target. Metodologia: Black-Box e classi di
equivalenza;
• Test di Integrazione Hw/Sw, con i quali si
verificano i requisiti di architettura che descrivono
l’interazione del Sw con l’eventuale Hw sottostante.
Metodologia: Black-Box, classi di equivalenza e
ispezione manuale.
Per l’esecuzione di questi test Intecs utilizza: (i)
Cantata (IPL) per i test di modulo, (ii) Logiscope e/o
SPLINT per l’analisi statica e (ii) tool sviluppati ad hoc
per i test di integrazione.
Per i test di integrazione Hw/Sw Intecs prepara il Piano
dei test di Integrazione Hw/Sw e il Rapporto di prova
dell’integrazione Hw/Sw. Tutti i test effettuati sono
tracciati rispetto ai requisiti applicabili.
Validazione del sistema
Specifica dell’architettura di
sistema
Test di integrazione SS
Validazione del SW
Specifica dei requisiti
HW
Test di integrazione
HW/SW
Specifica dell’architettura
del SW
• Preliminary Hazard Analysis con l’utilizzo della
tecnica HAZOP (HAZard and Operability study);
• Hazard Analysis per mezzo della tecnica FMECA
(Failure Mode Effect and Criticality Analysis) e della
tecnica FTA (Fault Tree Analysis);
Definizione dei Requisiti RAM e calcolo dei
parametri (es. MTBF, MTTR, etc.):
• Verifica e Validazione a livello sistema;
• Produzione di documentazione di
conformemente allo standard CENELEC
progetto
• Verifica di documentazione di progetto;
EN50126 – EN50128
Specifica dei requisiti di
sistema
Specifica dei requisiti
SW
Analisi in Sicurezza a livello Sistema:
• Produzione del Rapporto di Validazione e del Dossier
della Sicurezza (Safety Case).
Assessment di Software e Sistemi in
sicurezza
Test di integrazione del
SW
Specifica dell’architettura
di modulo
Test di modulo
Codifica
Validazione Indipendente di Software
Intecs svolge attività di validazione del software di
sistemi utilizzati nel segnalamento ferroviario, in modo
conforme alle normative Cenelec. Lo scopo è quello di
analizzare e testare il sistema Hw + Sw per verificare
la conformità con la specifica dei requisiti software con
particolare riferimento a quelli funzionali e a quelli di
sicurezza in funzione del SIL applicabile.
Per questa attività Intecs prepara il Piano di
Validazione del software e il Rapporto di Validazione
del software. L’attività viene svolta anche tramite
l’utilizzo di simulatori forniti dal cliente o sviluppati da
Intecs. Il simulatore consente di simulare un ambiente
reale, in genere ostile o di difficile reperibilità.
Tutti I test effettuati sono tracciati rispetto ai requisiti
Sw.
Tutti I test sono anche ripetibili nell’ambiente reale di
funzionamento del sistema.
La validazione del Sw viene svolta da un team
indipendente dallo sviluppo nella misura in cui è
richiesto dal SIL. In particolare per SIL4 il validatore e il
verificatore non possono rispondere allo stesso
responsabile.
Intecs, con la sua struttura di Verifica e Validazione è
in grado di garantire l’indipendenza tra i due ruoli sopra
descritti.
Attività RAMS (Reliability, Availability,
Maintainability, Safety) di Sistema
Intecs svolge questa attività conformemente alle
normative Cenelec EN 50126 relativamente al ciclo di
vita e agli aspetti RAMS (Reliability, Availability,
Maintenability and Safety). Per questa attività Intecs è
in grado di svolgere le seguenti attività:
Intecs svolge attività di assessment software in
sicurezza sviluppato per applicazioni di segnalamento
ferroviario. L’assessment è volto a dimostrare che il
sistema sia conforme alle normative di sicurezza
vigenti per la progettazione e messa in esercizio di
apparati ferroviari.
Sono valutati sia gli aspetti legati alla produzione del
sistema (prodotto generico) che quelli legati alla
preparazione dei dati utilizzati per l'installazione
(prodotto specifico) e l'esercizio dell'apparato. Sono
altresì valutati gli aspetti organizzativi e di gestione
della qualità e della sicurezza.
Attenzione specifica è rivolta alle attività di verifica e
validazione generalmente complementate da una
sessione di test, presso il fornitore, presenziata
dall'assessor. Le attività sono svolte tramite audit e
check list. Le norme di riferimento sono le Cenelec di
settore (es EN50128 per il sw, EN 50126 e 50129 per il
sistema).
Per questa attività Intecs è in possesso di un Attestato
di Qualifica Fornitori N. QF01/05 emesso dall’ente
notificato per l’interoperabilità ferroviaria secondo le
direttive europee 96/48/CE e 2001/16/CE, TÜV
Rheinland Berlin Branderburg.
Assessment Funzionale di Sistemi Ferroviari
I sistemi utilizzati per supportare il segnalamento
ferroviario sono in origine “applicazioni generiche” e
diventano “applicazioni specifiche” quando vengono
configurate
per
un o
specifico utilizzo. Le due
tipologie di applicazioni
nascono da Specifiche di
Sistem a (SRS-System
Requirement Specification)
che descrivono in forma di
requisiti l’applicazione in
oggetto.
Intecs ha acquisito una profonda conoscenza del
segnalamento ferroviario tramite corsi specifici e
“training on the job”. Inoltre ha un’ottima conoscenza
dei nuovi sistemi di segnalamento: (i) italiano per la
rete convenzionale (SCMT, SSC) e (ii) europeo per la
rete Alta Velocità (ERTMS/ETCS).
Con questi presupposti, Intecs ha svolto e sta
svolgendo attività di assessment funzionale di
applicazioni specifiche per vari tipi di segnalamento.
L’attività di assessment viene svolta analizzando la
documentazione di progetto fornita dal cliente rispetto
ai requisiti definiti nelle Specifiche di Sistema (SRS)
emesse sia dalle Agenzie Ferroviarie (es RFI SpA,
Trenitalia SpA) sia dagli organismi internazionali di
normazione (es. UNISIG, UIC, …).
L’attività viene svolta tramite check list e data base per
la tracciatura dei requisiti (SRS) sui documenti di
progetto. Durante l’attività vengono evidenziate
eventuali Non Conformità e/o Osservazioni che poi
vengono riportate sul Rapporto di Assessment
Funzionale.
Intecs, inoltre, ha svolto attività di rielaborazione delle
specifiche di sistema relativamente al sottosistema di
terra e sottosistema di bordo SCMT (Volume 2 e
Volume 3) rispetto ai System Requirements (Volume 1)
e rispetto agli elaborati dell’agenzia ferroviaria che
descrivono le modifiche apportate al sistema durante la
fase di esercizio.
Verifica
SCMT
degli
impianti
di
segnalamento
Intecs svolge attività di Verifica e Validazione di
impianti ferroviari configurati con il sistema di
segnalamento italiano SCMT.
A partire dai piani schematici SCMT e dalle varie
tabelle fornite dal cliente (tabella dati di impianto,
tabella delle distanze, delle pendenze, …) e dalla
documentazione dell’agenzia ferroviaria (piani
schematici del ferro, programmi di esercizio), Intecs
effettua le seguenti verifiche funzionali:
•
Verifica
della
documentazione;
•
Verifica delle regole di posa dei Punti Informativi
e delle pendenze;
consistenza
• Qualità del Software – ISO9000:2000;
• UML (Unified Modelling Language)
• Linguaggio ADA
Uffici
Roma— Headquarter
Salita del Poggio Laurentino 7
I—00144 Roma
Tel. +39 06 9727 9500
Fax. +39 06 9727 9558
Pisa
Via Umberto Forti Trav. A, N. 5
Polo di Attività Montacchiello, Loc. Ospedaletto
I—56121 Pisa
Tel. +39 050 9657411
Fax. +39 050 9657400
Bacoli (Napoli)
Via Giulio Cesare, 105
I-80070 Bacoli (NA)
Tel. +39 081 52 72 854
Fax. +39 081 52 72 828
Toulouse
55, Avenue Louis Breguet Bat. 7—Bureau 24
F-31400 Toulouse
Tel. +33 (0)5 612 03 299
Fax. +33 (0)5 612 03 297
E-mail : [email protected]
Web-Site : www.intecs.it
della
•
Verifica della distanze reciproche dei punti
informativi e gli enti.
Inoltre Intecs svolge attività di verifica sui telegrammi
inviati ai punti informativi.
Corsi di formazione
Relativam ente al settore
ferroviario Intecs può erogare
diverse tipologie di corsi di
formazione, tra i quali:
• Introduzione
EN50128;
allo
standard
• Introduzione
EN50129;
allo
standard
• Introduzione
EN50126;
allo
standard
• Principi di Software Engineering:
Concetti e Strumenti;
Riferimenti
Head of Independent Verification and Validation
Division
Enzo Bagagli
Via Umberto Forti Trav. A, N. 5
Polo di Attività Montacchiello, Loc. Ospedaletto
I—56121 Pisa
Tel: +39 050 9657507
Fax: +39 050 9657400
Mobile: +39 347 4952283
E-mail: [email protected]