Preliminary Design and Validation of the Automation Logic Supervisor Module for an Integrated Mission Management System

This paper is focused on the design, implementation and validation, in the MATLAB/Simulink/Stateflow environment, of a software prototype, named Automation Logic Supervisor (ALS) module, for the internal execution logic automation of the various systems constituting an Integrated Mission Management System (IMMS). The Automation Logic Supervisor module has been developed by CIRA as a part of a thesis work within the international project COAST (Cost Optimized Avionics System), funded by the European Union in the framework of the Clean Sky 2 - Systems ITD Programme, in which CIRA is a core partner. In the paper, after an introduction about the operational framework and motivations of the ALS design, it is described the preliminary conceptual design of the module, emphasizing the various considered logical states and their connections and associated transition conditions. Then, the implementation of the ALS as preliminary software prototype in Matlab/Simulink/Stateflow nvironment is outlined. Finally, the numerical validation of the ALS model is described, by outlining the considered test scenarios, which have been on purpose defined to stimulate all the ALS finite state machine modelled transitions, and reporting the results of the numerical simulations that show the correct behavior of the ALS, whose development successfully reached TRL 3.