Validating the Optimization of a Building Occupancy Monitoring Software System

Jalil Boudjadar, Simon Thrane Hansen

2025

Abstract

Real-time occupancy information is key to track and optimize the resource usage in buildings. With the ultimate goal to reduce energy consumption and improve indoor environment quality, different occupancy monitoring solutions have been introduced in the literature. However, these solutions can be part of the original problem due to its high energy consumption. This paper proposes the design and validation of a knowledgedriven energy-efficient system to monitor and analyze buildings occupancy. Such a system is in fact an optimization of the actual software solution (Office Master 3000) used to monitor buildings occupancy in an academic institution. The key contributions are: 1) Optimization of the actual solution: using the knowledge about the activity expected to take place, our system proactively identifies the minimal sensors data relevant to the actual state to confirm/deny such an activity by which non-substantial sensors are operated with loosened frequency; 2) Formal validation: using UPPAAL model checker we prove that the original functional and non-functional properties are maintained post-optimization. The proposed system is implemented in C++, tested and validated. The results demonstrate that our optimization reduces sensors energy consumption by up to 31% while maintaining high accuracy (84%) in identifying the occupancy states and activities.

Paper Citation

in Harvard Style

Boudjadar J. and Hansen S. (2025). Validating the Optimization of a Building Occupancy Monitoring Software System. In Proceedings of the 20th International Conference on Software Technologies - Volume 1: ICSOFT; ISBN 978-989-758-757-3, SciTePress, pages 155-166. DOI: 10.5220/0013559400003964

in Bibtex Style

@conference{icsoft25,
author={Jalil Boudjadar and Simon Hansen},
title={Validating the Optimization of a Building Occupancy Monitoring Software System},
booktitle={Proceedings of the 20th International Conference on Software Technologies - Volume 1: ICSOFT},
year={2025},
pages={155-166},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013559400003964},
isbn={978-989-758-757-3},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 20th International Conference on Software Technologies - Volume 1: ICSOFT
TI - Validating the Optimization of a Building Occupancy Monitoring Software System
SN - 978-989-758-757-3
AU - Boudjadar J.
AU - Hansen S.
PY - 2025
SP - 155
EP - 166
DO - 10.5220/0013559400003964
PB - SciTePress