ftsrg — Critical Systems Research Group

Research

Forging technology from science

HomeResearch

R&D projects

In the last 25 years, our research group participated in more than 30 EU cooperative research projects (FP4-Horizon) 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

EDGE-Skills

European Dataspace for Growth and Education - Skills

The EDGE-Skills project's objectives are to develop and deploy innovative cloud to edge services for the educations and skills data space, and make accessible the data space to public and private organisations.

VAMPIR

Verifiable AI/ML techniques for PNT applications

The ESA-funded VAMPIR project develops a verification engine for AI-enhanced Positioning, Navigation, and Timing (PNT) application using graph reasoning. The verification engine is demonstrated on improving the performance of advanced driver assistance systems.

DOSS

Secure-By-Design IoT Operation With Supply Chain Control

The DOSS project aims to create a secure-by-design methodology for improving the security and reliability of IoT operations by introducing an integrated monitoring and validation framework to IoT Supply Chains. FTSRG works on an impact assessment solution for generating security test targets from the aspect of system dependability.

DOSS

Secure-By-Design IoT Operation With Supply Chain Control

Publications

Full publication list |Datasets |Slides

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).

Networcat: applying analysis techniques of shared memory software on message-passing distributed systems

We presented a novel way of modeling communication in distributed systems by using a language for shared-memory concurrency in software, thus bridging the two domains.

To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines

We analysed the semantic details of doActivities in UML state machines and proposed practical patterns to highlight potential issues in models.

Transaction Conflict Control in Hyperledger Fabric - A Taxonomy, Gaps, and Design for Conflict Prevention

The paper highlights how model-based methods can be used in the performance optimization of cross-organizational blockchains.

Tools

Gamma statechart composition framework

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

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.

Refinery graph solver

Refinery is an efficient graph solver for generating diverse, well-formed domain-specific models using partial modeling techniques.

Hungarian Young Academy

Zoltan Micskei was elected a member of the HYA

The Hungarian Young Academy aims to support junior scientists and to get their voices heard by decision-makers. The Academy elects 12 members every year under the age of 40 based on scientific excellence and the activity planned.

Youth Award of the Hungarian Academy

Academy Youth Award for Oszkár Semeráth

Oszkár Semeráth received the Academy Youth Award from the Hungarian Academy of Sciences (MTA) in 2021 for his work on graph-based reasoning and verification. Every year 22 young researchers receive the award from all fields.