Overview
Topic status: We're looking for students to study this topic.
While formal methods for design and verification of real-time and embedded systems have been well understood, there is still challenging to formally specify and verify real-time and embedded systems. The time sensitive nature of real-time systems and the hardware dependent characteristics of embedded systems bring difficulties into existing formal methods for system design and versification. Innovative technologies are to be developed to deal with these difficult issues for typical real-time and embedded system scenarios.
- Study level
- PhD, Masters, Honours
- Supervisors
- QUT
- Organisational unit
Science and Engineering Faculty
- Research area
- Contact
-
Please contact the supervisor.
Professor Glen Tian
