Projects

Verification of UML-based models Vezető: András Pataricza

The main objective of the proposed research is the development of a methodology for the automatic validation and verification of dependable systems described by means of UML. The framework of the...

Virtual Research Laboratory Vezető: Gábor Péceli

A new COPERNICUS Project 977133 (Microelectronics Virtual Laboratory for Cooperating in Research and Knowledge Transfer) VILAB has been set up to create a Virtual Laboratory for cooperation in...

Watchdog processor for PC Vezető: István Majzik

In the recent years - especially in medical or industrial applications - the demand for dependable systems is increasing. One method of failure recognition is to make a subsystem which monitors...

© 2010-2020 BME MIT