Formal Methods for Pervasive Computing and Ambient Intelligence Applications

This research activity aims at defining formal methodologies for designing pervasive computing and ambient intelligence applications.

The activitity includes the following tasks:

  • Definition of formal methods for the specificaiton of AmI and Pervasive Computing applications
  • Development of visual tool for the specification
  • Definition of runtime verification mechanisms
  • Definition of specification and verification processes