Attività
Skytechnology opera dal 2004, sviluppando prodotti e offrendo servizi di consulenza e progettazione chiavi in mano a clienti posizionati nei mercati ad alto contenuto tecnologico: aerospazio, difesa, telecomunicazioni, automotive, ferroviario e biomedicale. L’azienda è in grado di fornire soluzioni progettuali complete organizzando le sue attività nelle seguenti line operative che progettano e sviluppano:
- applicazioni SW per l’utilizzo di sistemi programmabili quali computer, centraline, schede elettroniche e sistemi elettronici in genere (strumentazione di misura, interfacce ecc.);
- sistemi di test funzionali e automatici per la validazione di sistemi elettronici programmabili o meno stimolandole le interfacce in tutte le modalità di funzionamento previste dall’oggetto sotto esame;
- schede elettroniche analogico-digitali che operano anche ad alta velocità e utilizzano sistemi programmabili quali microprocessori, microcontrollori, FPGA;
- servizi di verifica trasversali (di processo) e verticali (applicativi), volti al controllo della rispondenza e adeguatezza delle varie fasi di sviluppo e del contenuto tecnico associato alle normative di settore (DO-178, IEC6150, DO-254, EN50128, ecc.) o regole interne aziendali.
Esperienze e metodologie di lavoro
Operando in mercati intrinsecamente sensibili alle tematiche di sicurezza (aerospazio, automobilistico, ferroviario, biomedicale), il processo di sviluppo aziendale è molto improntato al rispetto delle linee guida dettate dalle normative di settore; in particolare le attività SW e HW svolte in ambito aerospaziale sono a volte soggette strettamente alle normative DO-178, DO-254, ECSS.
Per questo motivo l’azienda si è dotata di alcuni tool di V&V presenti sul mercato (VectorCast e Cantata), e delle competenze tecniche che hanno permesso di operare su vari progetti di validazione del SW sia con approcci Requirements Based Testing, in cui viene verificato con tecniche black box e white box che i moduli SW rispettino i requisiti dichiarati, sia con approcci in cui il codice sorgente viene validato facendo attenzione alla copertura delle condizioni che le normative impongono in funzione del livello di sicurezza da raggiungere (es. statement, branch, path, MC/DC, coverage …)
Alle attività di validazione sono affiancate quelle di verifica, durante le quali le checklist e le attività di analisi sono applicate ai piani di sviluppo e di test e alla documentazione di progetto. È inoltre da rimarcare che Skytechnology opera in congiunzione con alcuni partner per organizzare corsi rivolti alle aziende in merito alle normative DO-178x e DO-254.
Attività di ricerca in ambito metodologico
Nell’ambito di un progressivo ampliamento ed evoluzione dei servizi erogati, Skytechnology ha avviato un’attività di ricerca orientata a studiare un nuovo approccio per progettare e verificare applicazioni SW, applicabile anche in contesti normati. Si vuole studiare e valutare l’efficacia di una metodologia innovativa, tale che i team di progettazione, sviluppo e di test collaborino sinergicamente a realizzare applicazioni SW durante tutte le fasi di progetto, definendo un approccio basato sui seguenti principi:
- scrittura dei test già in fase di progettazione;
- requisiti analizzati e affinati tramite la scrittura dei test SW;
- continuous testing;
- approccio procedurale parallelo tra le varie fasi di sviluppo.
