Thesis supervisor: András Vörös
Location of studies (in Hungarian): Méréstechnika és Információs Rendszerek Tanszék Abbreviation of location of studies: MIT
Description of the research topic:
"Software and systems engineering faces more and more challenges due to the increasing complexity of recent systems, especially in the critical systems domain, such as Cyber-Physical Systems (CPS). Many techniques exist to combat complexity: high-level modelling languages provide the proper level of abstraction to capture the functionalities and code generator facilitate the implementation. Advanced IDE technologies help writing software and automates formal verification finds our software bugs. However, developing correct models and source code is still a tedious task.
Recent huge advancements in artificial intelligence and learning/synthesis techniques raised the question if these techniques could support the development of computer-based systems. Automata learning can extract state-based representation from traces. Synthesis techniques can write simple programs or extract specification from existing code bases. Learning-based algorithms create a high-level model or directly construct code from examples. Logic solvers are used to analyze models and directly the source code to find bugs. However, these techniques rarely support industrial applications in the critical systems domain yet.
Our goal at BME MIT FTSRG is to exploit this line of new research and integrate new techniques into the engineering and verification tools used in the domain of critical CPS. Special focus is put on challenges yielded by the component-based design of software intensive CPS.
The tasks of the candidate are the following:
- overview the AI literature with a special focus on automata learning and learning-by-example techniques,
- propose a learning-based AI approach that supports the component-based design of critical CPS
- extend the engineering and verification tools with new algorithms.
"
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
