Amazon technologies, inc. (20240403186). IoT Event Detector Correctness Verification

IoT Event Detector Correctness Verification

Organization Name

amazon technologies, inc.

Inventor(s)

Vaibhav Bhushan Sharma of Cupertino CA (US)

Andrew Jude Gacek of Maple Grove MN (US)

Michael William Whalen of Edina MN (US)

Saswat Padhi of Cambridge MA (US)

Andrew Apicelli of Seatte WA (US)

Raveesh Yadav of Redmond WA (US)

Samuel Bayless of Seattle WA (US)

Roman Pruzhanskiy of Kent WA (US)

Rajat Gupta of Seattle WA (US)

Harshil Rajeshkumar Shah of Seattle WA (US)

Fernando Dias Pauer of Lynwood WA (US)

Ankush Das of San Jose CA (US)

Dhivashini Jaganathan of Seattle WA (US)

IoT Event Detector Correctness Verification

This abstract first appeared for US patent application 20240403186 titled 'IoT Event Detector Correctness Verification

Original Abstract Submitted

system and methods for iot event detector correctness verification. detector models (e.g., state-based models including variables, states, transitions and actions) take iot device data as input and detect, based on the data, events that triggers actions. to verify a correctness of the models prior to deploying the models at scale, an event detector model correctness checker obtains a representation of a definition of the model, verifies, based on analysis of the model definition, whether the model complies with correctness properties, and generates a report indicating whether the model complies. example correctness properties include a reachability correctness property that indicates that respective states or actions are reachable according to the definition of the event detector model. the analysis may be accessed via an interface element and may result in generation of a report that identifies a location of non-compliance within the model definition.