Runtime Monitoring of Time Window Temporal Logic

Bonnah, Ernest; Hoque, Khaza Anuarul

doi:10.1109/lra.2022.3160592

Cited by 8 publications

(2 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…They showed how monitors can be combined with temporal planning not only to monitor assumptions but also to support mitigation and remediation in UAV missions. Bonnah et al [50] presented a rewriting-based algorithm for runtime monitoring of safety requirements expressed in TWTL for specifying time-bounded serial tasks.…”

Section: Runtime Verificationmentioning

confidence: 99%

Research on Drone Fault Detection Based on Failure Mode Databases

Hou

Song

et al. 2023

Drones

View full text Add to dashboard Cite

Drones are widely used in a number of key fields and are having a profound impact on all walks of life. Working out how to improve drone safety through fault detection is key to ensuring the smooth execution of tasks. At present, most research focuses on fault detection at the component level as it is not possible to locate faults quickly from the global system state of a UAV. Moreover, most methods are offline detection methods, which cannot achieve real-time monitoring of UAV faults. To remedy this, this paper proposes a fault detection method based on a fault mode database and runtime verification. Firstly, a large body of historical fault information is analyzed to generate a summary of fault modes, including fault modes at the system level. The key safety properties of UAVs during operation are further studied in terms of system-level fault modes. Next, a monitor generation algorithm and code instrumentation framework are designed to monitor whether a certain safety attribute is violated during the operation of a UAV in real time. The experimental results show that the fault detection method proposed in this paper can detect abnormal situations in a timely and accurate manner.

show abstract

Section: Runtime Verificationmentioning

confidence: 99%

Research on Drone Fault Detection Based on Failure Mode Databases

Hou

Song

et al. 2023

Drones

View full text Add to dashboard Cite

show abstract

“…Human actions can be produced repeatedly using specifications from LTL [16]. In [17], a runtime monitoring algorithm is presented that is generally used in robotics and automation tasks and motion planning. The algorithm uses time window temporal logic (TWTL) for the specification and decides whether the TWTL specification is satisfied or not.…”

Section: Introductionmentioning

confidence: 99%

Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems

Saad,

Fadel,

Alzamzami

et al. 2024

Computers

View full text Add to dashboard Cite

Today, various applications in different domains increasingly rely on high-performance computing (HPC) to accomplish computations swiftly. Integrating one or more programming models alongside the used programming language enhances system parallelism, thereby improving its performance. However, this integration can introduce runtime errors such as race conditions, deadlocks, or livelocks. Some of these errors may go undetected using conventional testing techniques, necessitating the exploration of additional methods for enhanced reliability. Formal methods, such as temporal logic, can be useful for detecting runtime errors since they have been widely used in real-time systems. Additionally, many software systems must adhere to temporal properties to ensure correct functionality. Temporal logics indeed serve as a formal frame that takes into account the temporal aspect when describing changes in elements or states over time. This paper proposes a temporal-logic-based testing tool utilizing instrumentation techniques designed for a dual-level programming model, namely, Message Passing Interface (MPI) and Open Multi-Processing (OpenMP), integrated with the C++ programming language. After a comprehensive study of temporal logic types, we found and proved that linear temporal logic is well suited as the foundation for our tool. Notably, while the tool is currently in development, our approach is poised to effectively address the highlighted examples of runtime errors by the proposed solution. This paper thoroughly explores various types and operators of temporal logic to inform the design of the testing tool based on temporal properties, aiming for a robust and reliable system.

show abstract

Model predictive monitoring of dynamical systems for signal temporal logic specifications

Yu,

Dong,

et al. 2024

Automatica

View full text Add to dashboard Cite

Runtime Monitoring of Time Window Temporal Logic

Cited by 8 publications

References 23 publications

Research on Drone Fault Detection Based on Failure Mode Databases

Research on Drone Fault Detection Based on Failure Mode Databases

Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems

Model predictive monitoring of dynamical systems for signal temporal logic specifications

Contact Info

Product

Resources

About