Thibaut Le Guilly will defend his thesis:
"Statistical Model Checking of Rich Models and Properties"
The defence takes place on on Friday 18th of March 2016, 13:00, in room 0.2.13 at Department of Computer Science, Selma Lagerlöfs Vej 300, 9220 Aalborg East.
Smart Homes are equipped with a variety of devices that provide information and control, and
enable applications to improve comfort or energy consumption for example. Developing such
applications, running on embedded systems distributed in a physical environment raises a number
of issues. The thesis addresses some of them through five research questions.
The first question discusses the issue of heterogeneity of devices in Smart Home environments. A
service oriented architecture is proposed as a possible solution. This enables separation of
concerns between development of applications and the environment they are deployed. However,
ensuring the correctness of these applications once deployed is not an easy task. The second
research questions proposes a model based approach using time automata and model checking to
validate their correctness, and develops a toolchain facilitating the modeling, validation and
execution of applications, supported by a methodology. The next research questions looks into the
issue of component reliability and of their possible failures that can occur in a stochastic manner. A
methodology to analyze and ensure that such failures are acceptable is proposed. The reliability of
applications deployed in a Smart Home also has an impact on the daily life of the occupants.
Taking into account their wishes to constrain which actions applications should be able to perform
is thus essential to ensure user satisfaction. The fourth research question develops a user
interface abstracting the previously developed models to enable users to express such constraints.
The last research question proposes a model based testing approach to validate the consistency of
models with the concretely implemented and deployed components, on the behavioral,
synchronization and quality of service levels.
Members of the assessment committee:
Professor Zhiming Liu, Southwest University, Chongqing, China, Professor Eric Jul, University of Oslo, Norway, and Associate Professor Brian Nielsen, Aalborg University. Professor Anders P. Ravn and Associate Professor Arne Skou are Thibaut Le Guiily supervisors. Moderator Associate Professor Ulrik Nyman.
All interested parties are welcome. After the defense the department will be hosting a small reception in cluster 1.