SMSSimulator : a verification tool for M-346 airborne software and equipment. Development and validation

The goal of this project is to develop a simulator running on a standard host work- station of the SMS system that is currently installed on the aircraft M-346, the new advanced trainer developed and produced by Alenia Aermacchi. This simulator (named SMSSimulator) will be used during verification activi- ties on software designed for airborne systems and equipments that needs to be accurately tested and certified before being installed on board. The simulator shall communicate with the other equipments (real or simulated) through mil-std 1553B avionic bus and a bus interface unit is provided on the host computer. SMSSimulator is a verification tool and it operates during an important phase of the airborne equipment software development: the verification activity. This is the reason why it shall comply with the DO-178B regulation that describes in details the main phases that shall be followed during software development. The norm is presented in this work in order to understand the main steps that lead to produce an avionic software (not necessarily a verification tool) and that have been followed during the SMSSimulator fullfillment. Moreover, analising the norm it is possible to point out the objective of the SMSSimulator activity during verification operations and the necessity of a precise and detailed documentation required to obtain the tool qualification. SMSSimulator has been realized starting from the software requirements that have been accurately analised before being implemented. Testing activities have been performed during development in order to correct possible errors, and global testing and analising operations conclude the development process.

L'obiettivo di questo progetto è lo sviluppo di un simulatore pc-based del sistema SMS attualmente installato sul velivolo M-346, il nuovo addestratore avanzato sviluppato e prodotto da Alenia Aermacchi. Questo simulatore (chiamato SMSSimulator) sarà usato durante le attività di verifica del software destinato ai sistemi avionici di bordo ed equipaggiamenti che devono essere accuratamente testati e certificati prima di essere installati a bordo. Il simulatore deve comunicare con gli altri dispositivi (reali o simulati) attraverso un bus avionico mil-std-1553B e una interfaccia bus è a disposizione sul computer host. SMSSimulator è un tool di verifica che opera durante un'importante fase dello sviluppo di software avionico: l'attività di verifica. Questa è la ragione per cui esso deve essere conforme alla normativa DO-178B che descrive in dettaglio le fasi principali da seguire durante lo sviluppo dell'applicativo. La normativa è presentata in questa tesi per capire le principali procedure che portano a produrre un software avionico (non necessariamente un tool di verifica) e che sono state seguite durante la realizzazione di SMSSimulator. Inoltre, analizzando la normativa è possibile evidenziare gli obiettivi del simulatore durante le operazioni di verifica e la necessità di una precisa e dettagliata documentazione richiesta per ottenere la sua qualifica. SMSSimulator è stato realizzato partendo dai requisiti software che sono stati accuratamente analizzati prima di essere implementati. L'attività di test è stata svolta durante lo sviluppo per poter correggere eventuali errori, e una fase di test ed analisi sul simulatore finito concludono il processo di realizzazione.