Thesis supervisor: Imre Kocsis
Location of studies (in Hungarian): Department of Measurement and Information Systems Abbreviation of location of studies: MIT
Description of the research topic:
Blockchain-based distributed ledger technologies (DLT) are emerging as a high-integrity, but low-criticality system element in critical systems and are themselves increasingly complex systems.
However, their real application potential is currently only partially exploited, in particular in the context of cyber-physical systems (e.g., as digital twin implementation technologies). Important reasons for this are that their handling in critical systems design processes, their design and run-time validation and verification methods, and their fault containment and error mitigation approaches are not well developed yet.
Meanwhile, requirements-driven system design methodologies are now applicable to these systems, especially for cross-enterprise DLTs, where network configuration, consensus, and failure mode aware smart-contract logic are all highly customizable. Moreover, emerging cross-blockchain integration protocols and "Layer 2" techniques not only pose additional challenges, but also enable novel failure propagation avoidance approaches.
Accordingly, the main research tasks of the candidate will be the following.
- Integration of the handling of DLT elements into the requirements-driven design process of critical systems. Particularly important aspects will be standards-based system quality modelling for DLTs, their requirements management, and the systematic assessment of requirement compliance assurance approaches.
- The extension of design-time Error Propagation Analysis/Failure Propagation Analysis to blockchain-based solutions in such a way that, through qualitative abstractions, analysis for cyber-physical use cases can take into account the physical world indirectly observed or influenced.
- Design and implementation flaws in smart contracts constitute common mode faults for many DLTs. As a specific problem, to complement already existing runtime verification and validation approaches, the candidate will have to assess and evaluate the options for introducing smart contract implementation redundancy, with an emphasis on algorithmic (low expert effort) solutions.
A working knowledge of the English language is essential for this research.
The research is closely linked to a departmental EU project
Required language skills: english Number of students who can be accepted: 1
Deadline for application: 2023-01-10
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).
Login
