Scholarlink

The frequency of construction-related disruptions has increased in recent years. Many infrastructures, such as buildings, bridges, and airports, experience unplanned collapses, which possess major risks to public safety. Daily commutes put people's lives in danger, and even residents of high-rise buildings or nearby areas remain vulnerable to accidents. Addressing this critical issue, the construction industry is adopting advanced monitoring systems to enhance safety. We propose a model named CONSTRUCTION HEALTH MONITORING SYSTEM (CHMS) in response to this need to ensure the reliability and efficiency of infrastructure projects. This study presents a monitoring system model developed on the Rodin platform using Event-B. Real-time monitoring of critical characteristics like sensor performance, load carrying capability, and structural integrity is made possible by the system architecture. Formal methodologies are incorporated into the suggested solution to improve accuracy and reliability in identifying structural problems and producing timely notifications. This essay addresses the advantages of formal verification in construction monitoring as well as the system's architecture and operational structure.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Structural Integrity: A Smart Model for Construction Health Monitoring Based on Event-B

  • 会议论文

  • 发表日期：

    2026年

查看全文
  • Rahul Karmakar,
  • Aditi Chatterjee

摘要

The frequency of construction-related disruptions has increased in recent years. Many infrastructures, such as buildings, bridges, and airports, experience unplanned collapses, which possess major risks to public safety. Daily commutes put people's lives in danger, and even residents of high-rise buildings or nearby areas remain vulnerable to accidents. Addressing this critical issue, the construction industry is adopting advanced monitoring systems to enhance safety. We propose a model named CONSTRUCTION HEALTH MONITORING SYSTEM (CHMS) in response to this need to ensure the reliability and efficiency of infrastructure projects. This study presents a monitoring system model developed on the Rodin platform using Event-B. Real-time monitoring of critical characteristics like sensor performance, load carrying capability, and structural integrity is made possible by the system architecture. Formal methodologies are incorporated into the suggested solution to improve accuracy and reliability in identifying structural problems and producing timely notifications. This essay addresses the advantages of formal verification in construction monitoring as well as the system's architecture and operational structure.