Scalable Modelling and Model Management on the Cloud (MONDO)

2014
2016
Contact: 
Benedek Izsó
Contact: 
István Ráth
Contact: 
Gábor Szárnyas
Contact: 
Dániel Varró

The aim of MONDO is to tackle the increasingly important challenge of scalability in MDE by developing the theoretical foundations and an open-source cloud-based platform for scalable modeling and model management. Achieving scalability in modeling and MDE involves being able to construct large models and domain specific languages in a systematic manner, enabling teams of modelers to construct and refine large models in a collaborative manner, advancing the state-of-the-art in model querying and transformations tools so that they can cope with large models (of the scale of millions of model elements), and providing an infrastructure for efficient storage, indexing and retrieval of large models.

To address these challenges, MONDO brings together academic partners with a long track record of performing internationally-leading research on software modeling and MDE and delivering research results in the form of robust, widely-used and sustainable open-source software, industrial partners active in the wind-turbine control, soft- ware modernization, construction and modeling tool development domains, an advisory board of world-class experts in the fields of modeling and software engineering, and a global consortium including more than 300 organizations from all sectors of IT. Read more »

CErtification of CRItical Systems (CECRIS)

2013
2016
Contact: 
Ábel Hegedüs
Contact: 
András Pataricza

The project aims at taking a step forward in the growing field of development, verification and validation and certification of critical systems.

The project focuses on the more difficult/important points of (safety, efficiency, business, …) of critical system development, verification and validation and certification process. The scientific objectives of the project are study both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems. Moreover the project aims at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these type of activities, whose cost-quality achievements are well-predictable in order to tie costs of application of techniques to the RAMS attributes level achieved by the product being tested. The project will draw-up guidelines to support engineers during the planning of the verification & validation phases.

According to the nature of an PEOPLE-IAPP project, the researchers involved will have the opportunity to move from their company and university to partners’ offices in a different country in order to share their expertise and absorb new knowledge in the field of the Certification of HW and SW Systems, develop new competences and integrate their new know-how back to their home companies and universities.

This synergic approach will define novel approaches and methods bringing together scientific and industrial knowledge that is currently fragmented and resides in different organizations and researchers. Read more »

Guaranteed Component Assembly with Round Trip Analysis systems for Energy (CONCERTO)

2013
2016
Contact: 
Ákos Horváth
Contact: 
András Pataricza
Contact: 
Dániel Varró

Emerging embedded systems platforms harnessing new heterogeneous, multicore architectures to enable the next generation of powerful mission-critical applications are demanding across-the-board advances in all areas of design and development to fulfil their promise. The integration of component-based design with model-drivendevelopment creates a potent combination especially capable of mastering the complexity of these new systems.

CONCERTO will deliver a reference multi-domain architectural framework for complex, highly concurrent, and multi-core systems, where non-functional properties (including real-time, dependability, and energy management) will be established for individual components, derived for the overall system at design time, andpreserved by construction and monitoring at run-time.
  Read more »

Study and Development of Model Transformation Methods Applied to the Design of Integrated Modular Avionics Systems (Trans-IMA)

2012
2014
Contact: 
Ákos Horváth
Contact: 
Ábel Hegedüs
Contact: 
István Ráth
Contact: 
Dániel Varró

Trans-IMA aims at defining a model-driven approach for the synthesis of complex, integrated Matlab Simulink models capable of simulating the software and hardware architecture of an airplane. It has two main goals: (i) define a model-driven development process for allocating software functions captured as Simulink models over different hardware architectures and (ii) develop its
supporting tooling platform for executing the defined process.

The tooling for Trans-IMA is based on the Eclipse platform and heavily relies on the EMF-IncQuery and its related query based technologies.

  Read more »

Design and Analysis Techniques for Certifiable Model Transformations (CertiMoT)

2010
2014
Contact: 
Ákos Horváth
Contact: 
Gábor Bergmann
Contact: 
Ábel Hegedüs
Contact: 
István Ráth
Contact: 
Zoltán Ujhelyi
Contact: 
Dániel Varró

The main objective of the CERTIMOT project is to enable certification for model transformations used in critical systems and service design. Novel models, languages, techniques and tools will be developed to systematically design, generate, verify and trace model transformation artifacts required in a certification process. As a long term vision, CERTIMOT results will significantly reduce efforts required to certify model transformations and qualify model transformation and code generation tools.

  • Requirements analysis techniques and tools for transformations. Specification and analysis techniques and tools for capturing high-level MT requirements and detecting conflicting requirements will be proposed. As a long-term vision, transformation requirements can be precisely stated and traced during transformation design.
  • Automated generation techniques for runtime model transformation programs. Automatic program synthesis techniques will be developed for the generation of runtime transformation plugins. As a long term vision, efficient model transformation programs of guaranteed will be available for multiple target platforms.
  • Verification and validation techniques and tools for model transformations. A systematic approach will be proposed for verification activities for model transformations using formal methods and testing as analysis means. Innovative tools will be developed to support verification and validation of model transformations. In our long-term vision, these tools enable the efficient development of high-quality model transformations.

e-Freight - Eurpoean e-Freight capabilities for Co-modal transport

2010
2013
Contact: 
András Kövi
Contact: 
András Pataricza
Contact: 
Dániel Varró

The e-Freight project will facilitate the use of different transport modes on their own and in combination to obtain an optimal and sustainable utilisation of European freight transport resources.

With the help of e-Freight:

  • Transport users (shippers, freight forwarders, etc) will be able to identify and use direct or combined transport services most suited for their purpose.
  • Transport service providers in all modes will provide information about their service offerings and exchange information electronically with all relevant actors through planning, executing and completing transport operations.
  • Transport infrastructure providers will be able to facilitate the best possible use of the complete transport infrastructure and support transport users by providing relevant information about the available transport infrastructure and how to use it.
  • Transport regulators will be able to obtain in the simplest possible way the required information for monitoring compliance with applicable regulations, and to exchange information with other authorities for collaboration in security and environmental risk management.

The project will provide an e-Freight platform supporting the design, development, deployment and maintenance of e-Freight Solutions which will be validated in business cases and pilots involving representatives from all relevant stakeholders in surface transport including large and small businesses and authorities. Read more »

Resilient Reasoning Robotic Co-operating Systems (R3-COP)

2010
2013
Contact: 
István Majzik
Contact: 
Balázs Polgár
Contact: 
Zoltán Szatmári
Contact: 
András Vörös

Autonomous systems are one of the important instantiations of embedded systems in middle-range future, simply because the application domains are extremely manifold, from household to transportation and manufacturing, etc. Consequently, Autonomous Systems were identified as one of the targets of the ARTEMIS SRA.

Today a large number of different approaches and platforms exist, rendering an economic realisation of such systems currently inefficient (besides the manufacturing domain, where robots are already industrially exploited). Simultaneously, as such systems increasingly share environment and even closely cooperate with humans, there is an urgent need for providing any possible means and measures to assert and guarantee the dependability (in particular safety and robustness) of intelligent autonomuos systems. The project aims at the elaboration of intelligent computing platform and such testing and verification methods that can be effectively used in case of complex autonomous systems. Read more »

Security Engineering for lifelong Evolvable Systems (SecureChange)

2009
2012
Contact: 
Gábor Bergmann
Contact: 
Ábel Hegedüs
Contact: 
István Ráth
Contact: 
Dániel Varró

There is growing demand to continuously evolve systems to meet changing business needs, new regulations and policies, novel technologies and computing infrastructures. Unfortunately, the pace of required change affects our ability to ascertain and maintain the quality of a system. Our objective is thus to develop techniques and tools that ensure "lifelong" compliance to security, privacy and dependability requirements for a long-running evolving software system. This is challenging because these requirements are not necessarily preserved by system evolution. The project will develop processes and tools that support design techniques for evolution, testing, verification, re-configuration and local analysis of evolving software. Our focus is on mobile devices and homes, which offer both great research challenges and long-term business opportunities. Read more »

Model-based Generation of Tests for Dependable Embedded Systems (MOGENTES)

2008
2010
Contact: 
István Majzik
Contact: 
Balázs Polgár
Contact: 
István Ráth

MOGENTES aims at significantly enhancing testing and verification of dependable embedded systems by means of automated generation of test cases relying on development of new approaches as well as innovative integration of state-of-the-art techniques. Driven by the needs of its industrial partners, it will address both testing of non-functional issues like reliability, e.g. by system stress and overload tests, and functional safety tests, meeting the requirements of standards such as IEC 61508, ISO WD 26262, or AUTOSAR. MOGENTES will demonstrate that different domains with a wide variety of requirements can significantly benefit from a common model-based approach for achieving automated generation of efficient test cases and for verifying system safety correctness using formal methods and fault injection, as this approach increases system development productivity while achieving predictable system dependability properties. For that purpose, proof-of-concept demonstrations will show the applicability of the developed technologies in two application domains: railway and automotive.
In particular, MOGENTES aims at the application of these technologies in large industrial systems, simultaneously enabling application domain experts (with rather little knowledge and experience in usage of formal methods) to use them with minimal learning effort. All in all, MOGENTES will increase knowledge and develop new techniques and tools in the area of verification and validation of dependable embedded systems which can be applied in model-based development processes also by non-experts in formal methods. Read more »

Distributed, equipment Independent environment for Advanced avioNic Applications (DIANA)

2006
2010
Contact: 
Ákos Horváth
Contact: 
Dániel Varró

The DIANA Project is the first step for the implementation of an enhanced avionics platform, named AIDA (Architecture for Independent Distributed Avionics), providing secure distribution and execution on virtual machines to avionics applications. Along with this objective, DIANA also aims at contributing to the definition and standardization of the development and certification means needed to support this novel platform.
The introduction of the DIANA concepts is expected to bring a significant development cost and time reduction when compared to the situation where each aircraft electronic program has to develop a set of specific hardware and software. The usage of very promising technologies, such as CORBA and JAVA implementations in real time environment, and the update of standards will provide new opportunities to create the future IME architectures for the next generation of aircraft. Read more »