Formalizing model updates for wireless sensor networks in cognitive buildings

Betreuer/in:            Muhammad Ekbal Ahmad           
Dekanat/Institut:   B-1, Institute of Digital and Autonomous Construction           



Cognitive buildings are equipped with monitoring systems that use sensor networks to measure and improve the performance of the buildings. The current practice in modeling monitoring systems for cognitive buildings lacks an approach to formally model the systems, which change over time. In software engineering, formal methods and model transformations are approaches to obtain formal models of systems and to update the models based on algebraic techniques. This thesis focuses on using and integrating formal methods and model transformations for modeling monitoring systems of cognitive buildings equipped with wireless sensor networks and on providing a mechanism to automatically generate updated models.

Your tasks:

  • Requirements analysis and formal modeling of monitoring systems.
  • Updating of formal models of monitoring systems.
  • Interpretation and assessment of model changes.

Focus area: formal methods.

Related papers:

  • Ibanez, S., Fitz, T. & Smarsly., K., 2019. A semantic model for wireless sensor networks in cognitive buildings. In: Proceedings of the ASCE International Conference on Computing in Civil Engineering. Atlanta, GA, USA, 06/17/2019.
  • Dong, J. S., Sun, J., Sun, J., Taguchi, K., & Zhang, X., 2008. Specifying and verifying sensor networks: An experiment of formal methods. In: Proceedings of the 10th International Conference on Formal Engineering Methods. Kitakyushu-City, Japan, 10/27/2008.
  • Mahfoudh, M., Forestier, G., Thiry, L., & Hassenforder, M., 2015. Algebraic graph transformations for formalizing ontology changes and evolving ontologies. Knowledge-Based Systems, , pp. 212-226.


Muhammad Ekbal Ahmad, M.Sc.


Institute of Digital and Autonomous Construction.

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert