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 »

Demonstration in Oxford about our model based test case generation tool

The prototype of our model based test case generation tool is available, what we have demonstrated to MOGENTES partners in Oxford at the quarterly technical project meeting on May 27-28, 2010. We have also presented our improved ontology based model checking tool and the traceability component of our tool integration framework. The university was represented by Dr. András Pataricza and Dr. Balázs Polgár. Read more »

Participation in the SecureChange General Assembly in Trento

During 10-12 May 2010 Dániel Varró and Gábor Bergmann participated in a meeting of the SecureChange research project held in Trento, Italy. 23 members of 12 partner institutions were present. The discussion ranged from presenting and overviewing recent progress and reflecting to reviewers' comments to integration plans between work packages.

e-Freight platform meeting (Athens, Greece)

WP2 of the e-Freight project held its meeting in Athens, Greece. The objective of the gathering was to concretize the requirements, understand the operating environment and outline the overall functionality of the e-Freight platform. During the two day meeting the partners presetented their requirements and discussions were conducted on the development methodology and the possible functionalities of the platform.

Succesfull MOGENTES review

Prof. Dr. András Pataricza represented BME at the actual review meeting of the MOGENTES FP7 research project. He presented the main contributions of BME: an ontology based model syntax check engine, the SOA-based tool integration framework, the qualitative abstraction based high level test generator and the UPPAAL model checker based ATPG approach. Read more »

MOGENTES project is on the right way

The MOGENTES consortium presented the results of the last year to officers and reviewers of the Europian Union in Vienna on March 11, 2010. The officers welcomed the achievements. Our university was represented by Prof. András Pataricza. Read more »

FTSRG leads the specification of the MDD, validation and verification and monitoring technology in e-Freight

The e-Freight project supported by the transport framework of the EU aims at the standardization and pilot implementation of an all-European co-modal electronic transportation organizational and optimization framework.

The activities of the all together 30 project partners cover the entire process of transportation, organization and execution ranging from design of IT systems, optimization through specialists in railway, road and maritime transportation to key administrative regulators. Read more »

Our Tool Integration Framework presented in Graz

Balazs Polgar, PhD presented the newest components of our tool integration framework to MOGENTES partners in Graz on February 16-17, 2010. He also helped partners to integrate their tools to the framework. The main goal of the meeting was the overview of the project status, the integration of the related tools, and the preparation for the review meeting to be held in March. Read more »

Succesful final review of SENSORIA FP6 project

Dániel Varró and László Gönczy participated at the final review of SENSORIA EU projetc (22-24 February 2010). EU reviewers gave good-to-excellent score to the project where BME was responsible for tool integraiton and cross-cutting deliverables on the model driven SENSORIA approach. The meeting was hosted by the coordinator Ludwig-Maximilians Universitat München. 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