Coppertree Analytics Ltd.

Coopertree Analytics Ltd.

Buildpulse, Inc.

Jason Burt

Brice Kosnik

Robert Clark McIver

Computer systems, devices, and associated methods of verifying reliability of instructions for a device are disclosed herein. In one embodiment, a method includes identifying a reliability requirement associated with instructions for a device and receiving, from a user, an assertion in relation to the reliability requirement. The method includes generating a cryptographic assertion tracer (CAT) based at least in part on the received assertion. The method includes receiving assertion-related instructions in association with the CAT and generating a first code verification encrypted reproducible record based at least in part on the CAT and the received assertion-related instructions. The method then includes reporting that the reliability requirement is addressed.

Verification of the reliability of software and devices against assertions and guarantees

A building automation space facility or building automation facility comprising systems and methods for classifying and standardizing sensors and sensor data using time-series data and/or meta data, such as data and meta information available in a control network or hardware is disclosed. The disclosed system and methods provide techniques to rapidly identify and classify sensors using analysis of time-series data (e.g., data collected from a sensor such as by polling the sensor every second, minute, hour, day, month, and so on) and/or meta data (e.g., label names, group names, associated equipment, and so on) from these sensors and associated control systems. In this manner, the disclosed techniques greatly improve the extent to which a building automation facility or system monitors, manages, and reports on various elements within a building or group of buildings.

Advanced identification and classification of sensors and other points in a building automation system

A facility providing systems and methods for demand control ventilation for a building, or a portion/portions thereof, using a combination of scheduling and environment sensors for fallback is disclosed. The facility for demand control ventilation modulates the volume exchange of outside air into an enclosed space (i.e., air that is external to the enclosed space) by mechanical air conditioning equipment or ventilation system, such as a fan, a Heating, Ventilation, and Air Conditioning (HVAC) system, and so on. Demand control ventilation is used not only to ensure that people within buildings have an allotted amount of fresh air but also to provide a cost savings to users, as a lower amount of airflow can reduce energy use and, therefore, energy costs.

Growing community of inventors

Seattle, WA, United States of America

Jason Burt