Presentation at the 29th AIAA & IEEE DASC conference in Salt Lake City

Presentation at the 29th AIAA & IEEE DASC conference in Salt Lake City

Ákos Horváth, research associate, presented the results of the DIANA project at the 29th AIAA & IEEE Digital Avionics Systems Conference (DASC) conference in Salt Lake City (USA) between October 3. and 7. in 2010. The presented paper deals with model-based development of ARINC653 real-time operating system configuration files with support for end-to-end traceability.