Projects

Robust object-oriented systems Vezető: István Majzik

Many computer-based services in our everyday life are implemented by distributed systems. The failure of these systems, especially in the area of electronic banking, e-commerce, health-care, and...

Safety-Critical Systems Vezető: András Pataricza

The purpose of the project is to develop an open methodology and framework for model analysis, which contributes to the increase of the quality of software for safety-critical embedded systems....

SecureChange-eng Vezető: Dániel Varró

There is growing demand to continuously evolve...

Self-calibrating methods Vezető: László Sujbert

This research connects two progressive branches of modern measurement. Digital signal processing and self-calibration are frequently used methods in the field of high-accuracy measurement. However...

Self-checking in programs Vezető: István Majzik

The dependability of the services provided by modern information systems heavily depends on the permanent design and implementation faults of the software and on the transient faults of the...

SENSUS 2009 Vezető: Dániel Varró

A Summer School teaching the topics surveyed and results obtained in the SENSORIA EU research project.

Signal processing architectures Vezető:

By today, the design of integrated circuits (ICs) has become an independent field of engineering which is separated from the IC production. The latest complex IC-s have been developed using the...

Software assessment Vezető: István Majzik

BME MIT prepares assessment reports for the Prolan Control Co. to support the MSZ EN 50128 based development of their railway control software systems.

Software diagnostics Vezető: István Majzik

In the case of environment- and data-dependent software bugs it is almost impossible to track down the error after the program stopped. Tracking the software on-line and storing its states for...

Steelconverter Vezető: Gábor Horváth

The objective of the project is to develop hybrid-neural intelligent technology to model and control complex industrial systems. The application field of the hybrid intelligent technology is...

TaltOS operating system Vezető: Csaba Tóth

Tha TaltOS project was started in the year of 2004 at the Budapest University of Technology and Economics at the Department of Measurement and Information Systems. The goal is to be able to...

Theory of Quantization Noise Vezető: István Kollár

Roundoff (or, in more general terms: quantization) occurs in every digital equipment. Quantities are represented by finite bit number words, so the true values need to be quantized. The...

Tracking marker trajectories Vezető: Ákos Jobbágy

The project is part of the MotAnal97 project. More information is available on that projects website:...

Training Courses Vezető: Csaba Tóth

Training courses for industry.

UML Based Process-modelling Vezető: András Pataricza

The aim of the project is harmonising the design process of embedded industrial control systems and the modern software engineering methods, as well as promoting the reliability of these systems...

Verification of FT systems Vezető: István Majzik

Computer systems with high safety requirements are extensively used in our everyday life (e.g. traffic control systems, power plants). The high level of dependability these systems require is hard...

© 2010-2020 BME MIT