Interval-Based Timing Constraints Their Satisfactions and Applications

Yu, Yue; Ren, Shangping

doi:10.1109/tc.2007.70807

Cited by 5 publications

(2 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The real-time community aims to add timing constraints to the event-condition-action model. For example, the Real-Time Logic (RTL)-based event model has been proposed with point-and interval-based timing constraints in [23,24,34], respectively. Timing constraints in RTL-based event models define the time point-based real-time relationships among the occurrence time of events.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

A concept lattice-based event model for Cyber-Physical Systems

Tan

Vuran

Goddard

et al. 2010

Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems

Self Cite

View full text Add to dashboard Cite

Cyber-Physical Systems (CPS) involve communication, computation, sensing, and actuating through heterogeneous and widely distributed physical devices and computational components. The close interactions of these systems with the physical world places events as the major building blocks for the realization of CPS. More specifically, the system components and design principles should be revisited with a strictly event-based approach. In this paper, a concept lattice-based event model for CPS is introduced. Under this model, a CPS event is uniformly represented by three components: event type, its internal attributes, and its external attributes. The internal and external attributes together characterize the type, spatiotemporal properties of the event as well as the components that observe it. A set of event composition rules are defined where the CPS event composition is based on a CPS concept lattice. The resulting event model can be used both as an offline analysis tool as well as a run-time implementation model due to its distributed nature. A real-life smart home example is used to illustrate the proposed event model. To this end, a CPS event simulator is implemented to evaluate the developed event model and compare with the existing Java implementation of the smart home application. The comparison result shows that the event model provides several advantages in terms of flexibility, QoS support, and complexity. The proposed event model lay the foundations of event-based system design in CPS.

show abstract

Section: Related Workmentioning

confidence: 99%

“…For example, (un)certainty associated with the timestamp of an event can be included as an internal attribute [34]. On the other hand, the external attributes of an event are application-independent and represent fixed properties that all CPS events have.…”

Section: Representation Of a Cps Event Instancementioning

confidence: 99%