Interactive Systems
[Closed]
Work description
- Development of a survey on conflict detection in sets of 'home automation' rules; - Development of an approach for modeling 'home automation' rule sets using modal action logic; - Development of an approach for detecting conflicts in sets of 'home automation' rules, using temporal logic; - Application of the IVY Workbench tool to the analysis of sets of 'home automation' rules using the previously defined approach; - Writing of the scholarship activity report.
Academic Qualifications
Enrollment in a master's course in Computer Engineering.
Minimum profile required
-Degree and master's classification equal to or greater than 16;-Knowledge of Human-Centered Design.
Preference factors
Previous experience in user interface modeling; Fluency in English and Portuguese (spoken and written)
Application Period
Since 08 Feb 2023 to 21 Feb 2023
[Closed]
Centre
High-Assurance Software