State-based model checking of event-driven system requirements

1991 ◽  
Author(s):  
Joanne Atlee ◽  
John Gannon
Keyword(s):  
Model Checking ◽  
Driven System ◽  
Event Driven ◽  
System Requirements

scholarly journals Stateless model checking of event-driven applications

2015 ◽  
Vol 50 (10) ◽  
pp. 57-73 ◽  
Author(s):  
Casper S. Jensen ◽  
Anders Møller ◽  
Veselin Raychev ◽  
Dimitar Dimitrov ◽  
Martin Vechev
Keyword(s):  
Model Checking ◽  
Event Driven

The care and feeding of the JWST on-board event-driven system

2010 ◽  
Author(s):  
Vicki Balzano ◽  
Dean Zak ◽  
William Whitman
Keyword(s):  
Driven System ◽  
Event Driven

An Event-Driven System-Level Noise Analysis Methodology for RF Systems

2021 ◽  
Author(s):  
Christoph Beyerstedt ◽  
Jonas Meier ◽  
Fabian Speicher ◽  
Ralf Wunderlich ◽  
Stefan Heinen
Keyword(s):  
Noise Analysis ◽  
System Level ◽  
Rf Systems ◽  
Analysis Methodology ◽  
Driven System ◽  
Event Driven

Piezoelectric PVDF film switch to activate event-driven system for chicken health monitoring

2014 ◽  
Author(s):  
Hirfoumi Nogami ◽  
Hironao Okada ◽  
Seiichi Takamatsu ◽  
Takeshi Kobayashi ◽  
Ryutaro Maeda ◽  
...  
Keyword(s):  
Health Monitoring ◽  
Pvdf Film ◽  
Driven System ◽  
Event Driven

Design and Application of Task Scheduling Module Based on Priority Table Query in Wireless Sensor Network Node

2014 ◽  
Vol 536-537 ◽  
pp. 731-734
Author(s):  
Kang Hong Duan ◽  
Li Ting Zhang ◽  
Long Ma ◽  
Hong Xin Zhang
Keyword(s):  
Wireless Sensor Network ◽  
Sensor Network ◽  
Task Scheduling ◽  
Wireless Sensor ◽  
Network Node ◽  
Driven Systems ◽  
Driven System ◽  
Event Driven ◽  
Time Critical ◽  
Priority Table

Event-driven systems and thread-driven systems are two major design philosophies of operating system in wireless sensor networks. Systems based on multi-threaded are more timeliness than the event-driven systems, which can meet the requirements of time-critical tasks by means of task preemption, while systems based on event-driven are more energy efficient.The article introduces a task scheduling module in event-driven system. The module takes a kind of priority table query method to choose the most important task with highest priority to schedule.It is seen that the module is suitable wireless sensor network.

Enhancing the Emergency Response Using an Event-Driven System

2015 ◽  
pp. 216-221
Author(s):  
Anne-Marie Barthe-Delanoë ◽  
Frédérick Bénaben ◽  
Matthieu Lauras ◽  
Sébastien Truptil
Keyword(s):  
Emergency Response ◽  
Driven System ◽  
Event Driven

Multimetric Event-Driven System for Long-Term Wireless Sensor Operation for SHM Applications

2020 ◽  
Vol 20 (10) ◽  
pp. 5350-5359
Author(s):  
Muhammad Zohaib Sarwar ◽  
Muhammad Rakeh Saleem ◽  
Jong-Woong Park ◽  
Do-Soo Moon ◽  
Dong Joo Kim
Keyword(s):  
Wireless Sensor ◽  
Driven System ◽  
Event Driven

The Relationship between the Internet and Replication with PIONY

2011 ◽  
Vol 460-461 ◽  
pp. 552-557
Author(s):  
Zhi Gang Zhou
Keyword(s):  
Artificial Intelligence ◽  
Model Checking ◽  
Web Services ◽  
Mesh Networks ◽  
Current Status ◽  
The Internet ◽  
Event Driven ◽  
The Relationship

Authenticated algorithms and 802.11 mesh networks have garnered limited interest from both systems engineers and system administrators in the last several years. Given the current status of event-driven modalities, theorists particularly desire the refinement of Web services, which embodies the confirmed principles of artificial intelligence. Here we concentrate our efforts on arguing that model checking can be made event-driven, permutable, and wearable.

Sign in / Sign up

Export Citation Format

Share Document