Research

Forging technology from science

HomeResearch

R&D projects

In the last 25 years, our research group participated in more than 20 EU cooperative research projects (FP4-H2020) and more than 25 direct industry collaborations. In our R&D projects, we develop new, innovative software-based solutions that help engineers create better systems.

EU collaborative projects
Cooperation with industry
National and bilateral projects
...

ADVANCE

Addressing V&V Challenges in Future CPS

The “Addressing Verification and Validation Challenges in Future Cyber-Physical Systems” (ADVANCE) H2020 RISE research project has started this year with the participation of researchers from our research group working on the challenges of future cyber-physical systems. The project runs for 4 years, and its total budget is € 657 800.

Read more

...

Arrowhead Tools

European investment for Digitalisation Leadership

With the participation of BME TMIT and ftsrg, the „Arrowhead Tools” H2020 ECSEL project has started, which is the largest European industrial digitalization and automation R&D project. The project has more than 80 partners including AITIA, evopro Innovation and IncQuery Labs.

Read more

Publications

Full publication list |Datasets

Our research group regularly publishes papers in the leading venues of software engineering (TSE, IST, STTT), model-driven engineering (MODELS, SoSyM), formal verification (TACAS, JAR) and software testing (ICST, STVR).

Automated Generation of Consistent Graph Models with Multiplicity Reasoning

IEEE T Software Eng 2020

Automated Generation of Consistent Graph Models with Multiplicity Reasoning

We designed a new method to solve optimization problems during graph generations according to various object functions.

Read more

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts

IEEE Access 2020

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts

In a collaboration with University of Coimbra, we recommended a method to assess the dependability of blockchain systems.

Read more

Automated Isolation for White-box Test Generation

Inform Software Tech 2020

Automated Isolation for White-box Test Generation

We developed a tool and a method to automatically generate mock environments to isolate the tested model during code-based test generation.

Read more

Tools

Gamma statechart composition framework

The Gamma modeling toolset helps to design and formally verify component-based reactive systems and can generate implementations automatically.

Read more

Theta model checking framework

The Theta model checking framework is a collection of modern, abstraction refinement-based algorithms, which can be tailored to the give problem due to their configurability.

Read more

VIATRA Solver graphgenerator framework

VIATRA Solver is a framework, which can automatically and efficiently generate consistent and diverse graphs from domain-specific models.

Read more

Events and awards

...

SoSyM Most influential paper

10-year most influential paper in SoSyM journal

Zoltán Micskei and Hélène Waeselynck received the „10-Year Most Influential Paper” award for their paper „The many meanings of UML 2 Sequence Diagrams: a survey”, published ten years ago in SoSyM, the leading journal on model-based software and systems engineering.

Read more

...

Award of the Hungarian Academy

MTA Award for András Pataricza

The award cited the outstanding work on the theoretical foundations, design and development of critical IT infrastructure and cyber-physical systems; founding an internationally recognized group in the fault-tolerant community; and the achievements in talent care.

Read more

Micskei Zoltán

Questions not answered?

Contact Zoltán Micskei with questions related to our research group

Current version: https://github.com/ftsrg/ftsrg.github.io/commit/74001ef0ffed382553dbce8f96831a3ee4048847