ez itt az index

Critical systems – ftsrg

Activity of the research group:

Our main area is the design of resilient critical systems, processes and platforms, including cyber-physical and distributed ledger systems. Our main competencies are model-based design, analysis and verification.

• Developing critical systems: Methods, techniques and tools to develop model-based critical software and cyber-physical systems and application.
• Verification and testing: Applying formal methods and model-based testing to verify and certify functional, reliability, safety and performance requirements.
• Empirical system design: Empirical analysis, measurement and scaling of performance and reliability requirements based on qualitative models and fault modelling.

Recent results:

• Verification of critical systems: We developed efficient methods and open-source tools to verify the functional correctness of state machine-based models or source code. Industrial case studies include CERN, NASA JPL. See our tools on GitHub.
• Assessing blockchain systems: We benchmarked the performance of distributed ledgers, and developed methods to assess the reliability of blockchain systems using fault injection.
• Scalable graph generation: We created scalable methods and tools to generate diverse, consistent and realistic graph models. The tool can be used to test complex modeling environments or ADAS functions and autonomous vehicles. The method was presented at the ICSE conference, the most prestigious software engineering event.
• Safety and hazard analysis: We designed new algorithms and tools to analyze the safety of vehicle and railway control systems. We regularly perform standard based safety assessment of the development of railway control software.
• International awards: Our publications received the prestigious 10 Year Most Influential Paper Award of the software and systems modeling field in 2021, 2020 and 2014.
• Talent care: Our students perform exceptionally on the National Student Competition; 4 members of the group received the OTDT Master Teacher award; András Pataricza received the highest award of OTDT, the Honoris Causa Pro Scientia.

Recent projects:

EU Digital: EDGE-Skills • EU Digital: SME4DD • EIT Digital: ProtectME • ITEA4 EUREKA: OpenSCALING • H2020 RISE: ADVANCE • VKE: Prolan • MTA Lendület

International relations:

University of Firenze • Univ. Of Coimbra • NASA JPL • McGill University • Linköping University

Industrial partners:

thyssenkrupp • Ericsson • IncQuery Labs • Knorr-Bremse • Prolan

Control engineering and robotics

Activity of the research group:

Investigation, development and implementation of modelling, signal processing and control techniques used in robotics. Autonomous behaviour of robots and robot groups, navigation and trajectory planning algorithms, specification and implementation of intelligent functions based on these algorithms. Robot applications in real and virtual environments, robot control hardware and software architectures.

Recent results:

TODO

Special infrastructure:

Mitsubishi robotic arm • KUKA robotic arm

Recent projects:

VKE • H2020 • TKP/FIKP

International relations:

University of New South Wales • Kyungpook National University • University of New Hampshire • Griffith University

Industrial partners:

KUKA • Gamma digital • Knorr Bremse • ThyssenKrupp • Continental • Akytec • Emerson

Heterogenous Real-Time Distributed Embedded Systems

Activity of the research group:

The aim of the laboratory is to participate in research closely related to wired and wireless communication of embedded systems and their interfacing with information systems or even the Internet, real-time and safety-critical operations. The range of technologies used is broad, mostly involving microcontrollers or high-performance processors, system chips with heterogeneous architectures, embedded operating systems or general-purpose operating systems (mainly Linux), and mostly various network interfaces, sensors, interferers. Among the protocols used are Ethernet, Bluetooth, IEEE 802.11 and IEEE 802.15, TCP/IP, ZigBEE and 6LoWPAN, and the use of WEB technologies, etc. The group is also involved in research on Time Sensitive Networks, a topic that will become very important in the near future in the field of embedded systems, with a specific competence in high accuracy clock synchronisation. The laboratory is active in the field of automotive communications (CAN, LIN, FlexRay), sensor networks (smart home, smart building, industrial data acquisition and processing, IT assisted living, etc.), and embedded applications of Ethernet and TCP/IP. The lab has extensive experience in the application engineering of various microcontrollers (mainly ARM Cortex-M, Cortex-R) and embedded application processors (x86 and Cortex-A), including multi-core and heterogeneous architecture system chips, as well as operating systems (Linux, FreeRTOS, uCOS, BSD UNIX) for use on these processors. Applications include automotive, telecom, target specific manufacturing and transport systems, energy. In particular, we focus on diagnostic issues such as those arising in R&D, manufacturing, and operations (on-line diagnostics). In the diagnostic area, we have achievements in safety critical systems, including automotive and manufacturing, and energy applications (e.g. solar parks).

In FPGAs, the research group’s activities cover a very wide range of applications, from extreme high performance digital signal processing, image processing, real-time video applications, to complex application-specific reconfigurable multi- and multi-processor high performance computing systems, to embedded systems covering a wide range of applications, covering a wide range of common applications and meeting traditional requirements. The Open Architecture Systems research group uses mainly reconfigurable FPGA devices as system implementation platforms. Due to their flexibility, versatility and wide range of features, these devices can even be used in special application areas such as notoriously low-power radio sensor networks – if some useful pre-processing is required from the individual devices in addition to the usual life signals. In addition, the group has many years of R&D experience in the application of general-purpose computing with graphics processing units (GPGPUs) on PC and embedded platforms (including automotive), high-performance signal processing processors, embedded operating systems (mainly embedded Linux) and high-speed HW design.

Recent results:

• TETRAMAX (networking project), BRAINE (embedded edge cloud node, FPGA card design),
• SMART4ALL (networking project) H2020 EU projects
• Ericsson domestic R&D projects
• Clock synchronisation
• Ventilator

Special infrastructure:

R&S®RTO1014 oscilloscopes • CISCO IE4000 switches • Meinberg LANTIME M600 Grandmaster clock • Meinberg LANTIME M1000 Grandmaster clock • OTMC 100 PTP Grandmaster Clock

Recent projects:

TETRAMAX • BRAINE • SMART4ALL

Industrial partners:

Thyssenkrupp • Ericsson • Evopro Innovation • Silabs Hungary

Digital systems and applications

Activity of the research group:

Research and development of high-level logic synthesis algorithms and their practical applications for industrial control systems based on distributed logic (e.g. railway security equipments) and for the efficient implementation of signal processing algorithms. Research of efficient implementation methods for distributed microcontroller systems and their communications. Research of the systematic design of heterogeneous multiprocessing architectures. Researching intelligent building survey solutions.

Recent results:

• Moscow/Cairo/Kenya/Soul/Groupama/ stadions scoreboards, Oktogon advertising display, Building I reception display.
• Lake monitoring system – portable water quality measuring system, for fishing lakes: complete design and implementation
• Prolan Zrt. – railway security equipment with distributed logic

Special infrastructure:

oscilloscope • state analyzer

Recent projects:

TÁMOP • KMR • GOP • GINOP • KMOP • VKE • OTKA

Industrial partners:

Energofish Kft. • Prolan Irányítástechnika Zrt • Metripond • TÜV Rheiland

Embedded systems and robotics

Activity of the research group:

Our research is focused on robotics, which is a prominent field of application of embedded systems. We develop optimal control and intelligent navigation algorithms for robot manipulators and mobile robots (motion planning, mapping, cooperative control, computer vision, AI-based detection, and decision making). Beyond robotics, our research is aimed at connected embedded systems applications (IoT systems, 5G applications, etc.)

Recent results:

• Development of an „Immersive Remote Driving” scenario in cooperation with the TU Dresden 5G Lab. This is a 5G network-based augmented reality (AR) application for demonstrating the capabilities of 5G communication and self-driving vehicle functions. This demo has been showcased at many public events, from which the most important was ITU Telecom World in September 2019.
• Development of a “Digital Magic Cube” scenario in cooperation with Nokia Bell Labs. In 2019, we participated in several international exhibitions with this demo, the most important of which was CES 2019 in Las Vegas in January 2019.
• Sequential time-optimal trajectory tracking algorithm for robotic arms (IEEE TRO, ASME DSMC publications in 2019). It has also been used in the robots of a Japanese robotics company in an industrial environment.
• Organizing the RobonAUT student robot-building competition, which is also open to the public, between 2009 and 2022, 13 times so far. Each year, several reports are published about the event in the press.
• Development of the “Intelligent Control Solutions for Self-Driving Transport Vehicles” technology scenario for the Industry 4.0 Technology Center (2018)
• Development of a „5G Connected Cars” scenario in cooperation with the TU Dresden 5G Lab and Nokia Bell Labs for illustrating the capabilities of the 5G mobile network. We participated in several international exhibitions with this demo, the most important of which was Mobile World Congress 2016 in Barcelona.

Special infrastructure:

Mitsubishy RV-3SDB robotic arm in a robotic cell with controller and teaching pendant • KUKA KR 10 R1100-2 robotic arm with controller, technig pendant and camera • Metcal Scorpion rework station • Agilent oscilloscopes, multimeters, waveform generators, power supplies, welding stations

International relations:

TU Dresden • University of Parma

Industrial partners:

Nokia Bell Labs