A formal methods-based Rule Verification Framework for end-user programming in campus Building Automation Systems

2020 ◽  
Vol 181 ◽  
pp. 106983
Author(s):  
Hamada Ibrhim ◽  
Sherif Khattab ◽  
Khaled Elsayed ◽  
Amr Badr ◽  
Emad Nabil
Keyword(s):  
Formal Methods ◽  
Building Automation ◽  
End User ◽  
End User Programming ◽  
Automation Systems ◽  
Campus Building

scholarly journals Architecture For Automation System Metrics Collection, Visualization and Data Engineering – HAMK Sheet Metal Center Building Automation Case Study

2019 ◽  
Vol 9 (1) ◽  
pp. 561-570
Author(s):  
Khoa Dang ◽  
Igor Trotskii
Keyword(s):  
System Integration ◽  
Data Analytics ◽  
Building Energy ◽  
Facility Management ◽  
Automation System ◽  
Building Energy Efficiency ◽  
Building Automation ◽  
Automation Systems ◽  
Integration Data

AbstractEver growing building energy consumption requires advanced automation and monitoring solutions in order to improve building energy efficiency. Furthermore, aggregation of building automation data, similarly to industrial scenarios allows for condition monitoring and fault diagnostics of the Heating, Ventilations and Air Conditioning (HVAC) system. For existing buildings, the commissioned SCADA solutions provide historical trends, alarms management and setpoint curve adjustments, which are essential features for facility management personnel. The development in Internet of Things (IoT) and Industry 4.0, as well as software microservices enables higher system integration, data analytics and rich visualization to be integrated into the existing infrastructure. This paper presents the implementation of a technology stack, which can be used as a framework for improving existing and new building automation systems by increasing interconnection and integrating data analytics solutions. The implementation solution is realized and evaluated for a nearly zero energy building, as a case study.

Modeling framework for IoT integration of building automation systems

2017 ◽  
Vol 65 (9) ◽  
Author(s):  
Daniel Schachinger ◽  
Andreas Fernbach ◽  
Wolfgang Kastner
Keyword(s):  
Web Services ◽  
Web Service ◽  
Building Automation ◽  
Modeling Framework ◽  
Seamless Integration ◽  
Automation Systems ◽  
Wide Range ◽  
Machine To Machine Communication ◽  
Machine Communication ◽  
The Internet Of Things

AbstractAdvancements within the Internet of Things are leading to a pervasive integration of different domains including also building automation systems. As a result, device functionality becomes available to a wide range of applications and users outside of the building automation domain. In this context, Web services are identified as suitable solution for machine-to-machine communication. However, a major requirement to provide necessary interoperability is the consideration of underlying semantics. Thus, this work presents a universal framework for tag-based semantic modeling and seamless integration of building automation systems via Web service-based technologies. Using the example of the KNX Web services specification, the applicability of this approach is pointed out.

scholarly journals Building Automation and the Contextualization of Information Technology: The Journey of a Midwestern Community College in the U.S.

2018 ◽  
Vol 6 (2) ◽  
pp. 149
Author(s):  
Neal Grandgenett ◽  
Pam Perry ◽  
Thomas Pensabene ◽  
Karen Wegner ◽  
Robert Nirenberg ◽  
...  
Keyword(s):  
United States ◽  
Community College ◽  
Information Technology ◽  
Curriculum Design ◽  
The United States ◽  
Lessons Learned ◽  
Building Automation ◽  
Technological Education ◽  
It Workforce ◽  
Automation Systems

The buildings in which people work, live, and spend their leisure time are increasingly embedded with sophisticated information technology (IT). This article describes the approach of Metropolitan Community College (MCC) in Omaha, Nebraska of the United States to provide an occupational context to some of their IT coursework by organizing IT instruction around the context of building automation systems (BAS). This contextualization allows IT students not only to study IT as a standalone discipline but also to study its integrated use within a specific occupational context. The article also describes MCC’s focused curriculum design efforts funded by the National Science Foundation’s Advanced Technological Education program. These efforts toward BAS-contextualization of the IT curriculum have become a catalyst for systematic contextualization of IT instruction at MCC and support the institution’s broader efforts to become a national model in IT instruction and interdisciplinary engagement within the United States. The research-based approach, activities, and outcomes of this project are all described here, as well as the lessons learned by one community college seeking to make their IT program increasingly relevant to their students and the IT workforce of today.

Sign in / Sign up

Export Citation Format

Share Document