In the model-driven security domain, access control systems provide an application for handling access of persons through controlled gates. A gate, such as a door, can have a lock mechanism for securing the area from unauthorized access. Most commercial solutions for access control management offer pre-packaged software systems where customization of the authorization logic is either not allowed or subject to payment. Moreover, cross-platform development is a barrier for solution providers due to the high cost of development and maintenance that it implies. To overcome these limitations and further optimize the entire access control systems development process, we propose a model-driven approach that supports automatic code generation to enable communication between an IoT infrastructure and platforms for Facility Access Management. Specifically, the approach combines the benefits of Near-Field Communication (NFC) and Tinkerforge (i.e., an open-source hardware platform) with model-driven techniques. This allows the approach to exploit both behavioral and structural models for the modeling and the consequent code generation of part of the authorization mechanism, thus providing complete coverage of the code generated for the whole system. We implemented and evaluated our approach in a real-world case study within the premises of a fitness center with an IoT infrastructure consisting of several heterogeneous sensors by showing its practical applicability. Experimental results demonstrate the effectiveness of our approach in supporting abstraction and automation concerning traditional code-centric development through code generation features. Consequently, our approach makes the whole development process less time-consuming and error-prone, thus reducing the system's time to market.
Download full-text PDF |
Source |
---|---|
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9913019 | PMC |
http://dx.doi.org/10.1007/s10009-023-00697-z | DOI Listing |
BMC Health Serv Res
January 2025
Centre for Infectious Disease Control, National Institute for Public Health and the Environment, P.O. Box 1, Bilthoven, 3720 BA, The Netherlands.
HIV self-sampling and -testing (HIVSS/ST) reduces testing barriers and potentially reaches populations who may not test otherwise. In the Netherlands, at-home HIV tests became commercially available around 2016, but data on user experiences are limited. This study aimed to explore characteristics of users and their experiences with HIVSS/ST.
View Article and Find Full Text PDFBMC Public Health
January 2025
School of Medicine and Health Management, Tongji Medical College, Huazhong University of Science and Technology, No.13, Hangkong Road, Qiaokou District, Wuhan City, 430030, China.
Objective: Understanding healthcare-seeking propensity is crucial for optimizing healthcare utilization, especially for patients with chronic conditions like hypertension or diabetes, given their substantial burden on healthcare systems globally. This study aims to evaluate hypertensive or diabetic patients' healthcare-seeking propensity based on the severity of symptoms, categorizing symptoms as either major or minor. It also explores factors influencing healthcare-seeking propensity and examines whether healthcare-seeking propensity affects healthcare utilization and preventable hospitalizations.
View Article and Find Full Text PDFBone Marrow Transplant
January 2025
Université de Franche-Comté, EFS, INSERM, UMR RIGHT, F-, 25000, Besançon, France.
The accessibility of CAR-T cells in centralized production models faces significant challenges, primarily stemming from logistical complexities and prohibitive costs. However, European Regulation EC No. 1394/2007 introduced a pivotal provision known as the hospital exemption.
View Article and Find Full Text PDFNat Commun
January 2025
Center for Advanced Radiation Sources, University of Chicago, Chicago, IL, USA.
Phase transitions in the mantle control its internal dynamics and structure. The post-spinel transition marks the upper-lower mantle boundary, where ringwoodite dissociates into bridgmanite plus ferropericlase, and its Clapeyron slope regulates mantle flow across it. This interaction has previously been assumed to have no lateral spatial variations, based on the assumption of a linear post-spinel boundary in pressure and temperature.
View Article and Find Full Text PDFISA Trans
January 2025
Toronto Metropolitan University, Toronto, Canada. Electronic address:
This research introduces an innovative approach to optimal control for a class of linear systems with input saturation. It leverages the synergy of Takagi-Sugeno (T-S) fuzzy models and reinforcement learning (RL) techniques. To enhance interpretability and analytical accessibility, our approach applies T-S models to approximate the value function and generate optimal control laws while incorporating prior knowledge.
View Article and Find Full Text PDFEnter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!