Framework for the development and testing of dependable and safety-critical systems

2000
2002

Sponsors:

IKTA (Information and Communication Technologies and Applications, Hungarian Ministry of Education)

Period:

2000-2002

Participants: Read more »

UML Based Modelling and Design of Technological Processes

2000
2001

Hungarian-German researchers exchange program 2000-2001 (DAAD-MÖB)

Participants:

Friedrich-Alexander-University Erlangen-Nuremberg, Inst. of Computer Science (Computer Structures)
(Dr. M. Dal Cin, D. Kreische, C. Kosmidis)
Budapest University of Technology and Economics, Dept. of Measurement and Information Systems
(dr. Pataricza A., dr. Majzik I., dr. Csertán Gy., Jávorszky J. K., Szász Cs. D., Huszerl G.)

Objective: Read more »

Automated verification and validation of UML-based models of information systems

1999
2001

Sponsors:

OTKA (Hungarian National Scientific Research Fund)

Period:

1999-2001

Project leader:

András Pataricza, Ph.D.

Participants:

György Csertán, István Majzik, Gábor Huszerl, Judit Jávorszky, Csaba Szász, András Petri Jr., Károly Tilly

Project aim: Read more »

Object-oriented modelling and optimization of industrial processes

1999
2001

Sponsors:

FKFP (Foundation for the Hungarian Higher Education and Research)

Period:

1999 – 2001

Project leader:

András Pataricza, Ph.D.

Participants: Read more »

Formal verification of safety requirements in fault tolerant systems

1991
2001
Contact: 
Gábor Huszerl
Contact: 
István Majzik

Sponsors:

OTKA F030553 (Hungarian Scientific Research Fund)

Period:

Jan 1, 1999 – Dec 31, 2001

Participants:

István Majzik, Gábor Huszerl, Ph.D. students (Technical University of Budapest, Department of Measurement and Information Systems)

Project aim: Read more »

Reconfigurable elements in the design and validation of multiprocessors (ACCUSE)

1997
1999

Sponsors:

Hungarian-German Bilateral Scientific and Technology Development Cooperation Agreement

Period:

1997-1999

Participants:

Department of Computer Structures, University of Erlangen, Germany
Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary

Project aim: Read more »

High-level integrated design environment for dependability (HIDE)

1998
1998

Sponsors:

ESPRIT Open LTR 27439

Period:

1998

Participants:

Department of Computer Structures, University of Erlangen, Germany
Pisa Dependable Computing Centre, Italy
Department of Measurement and Information Systems, Budapest University of Technology and Economics, Hungary
Intecs Sistemi SpA, Italy
MID GmbH, Germany

Project aim: Read more »

Object-oriented fine programming of industrial production processes

1998
1998

Sponsors:

GE Lightning Co. (Industrial Project)

Period:

1998

Project leader:

András Pataricza, Ph.D.

Participants:

György Csertán, Gyula Román

Project aim: Read more »

Functional test generation and diagnosis (FUTEG)

1997
1997

Sponsors:

EC PECO Project #9624

Period:

1997

Participants: Read more »

Blockchain-related activities of BME MIT FTSRG

2016
Contact: 
Imre Kocsis

News

21/10/2020 - Our paper on "Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts" (Open Access) is being published in IEEE Access, a Q1 journal.