The DIANA project is accepted by the EC with flying colors

DIANA (Distributed, Equipment Independent ENvironment for Advanced AvioNics Applications) EU-FP6 project pushed forward the specification and design of the next generation Integrated Modular Avionics (IMA) platform by evaluating integrated formal methods, Model Driven Engineering and Safety Critical Java. FTSRG created a prototype Model Based tool chain for the design and development of Safety Critical Java applications over avionics ready Real Time Operating System based on the ARINC653 standard. Read more »

DIANA technical and management meeting in Sao Jose dos Campos, Brazil

Ákos Horváth participated at the technical and management meeting of DIANA EU FP6 at the headquaters of Embraer in Sao Jose dos Campos, Brazil.  Ákos demonstrated the 4th iteration of the DIANA PIM-PSM mapping editor and gave a presentation about our behavioral modeling approach.

Syndicate content