loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Authors: Jalil Boudjadar and Simon Thrane Hansen

Affiliation: Department of Electrical and Computer Engineering, Aarhus University, Denmark

Keyword(s): Buildings Occupancy Analysis, State Estimation, Monitoring Software, Formal Verification.

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 validatio n: 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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 216.73.216.41

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

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

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

TY - CONF

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

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic