Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions

Zudaire, Sebastián; Gorostiaga, Felipe; Sánchez, César; Schneider, Gerardo; Uchitel, Sebastián

doi:10.1109/icra48506.2021.9561671

Cited by 12 publications

(2 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To solve the complicated mathematical problem known as hash functions (i.e. hash functions), a nonce (target value) must be provided for each block in a sequence of transactions recorded in the current block [ 6 ]. The proof of work concept was developed for Ethereum to make block production computationally “hard” based on standard hash functions, thereby preventing the attackers from tampering with block information.…”

Section: Fundamental Aspectsmentioning

confidence: 99%

See 1 more Smart Citation

Distributed Blockchain-Based Platform for Unmanned Aerial Vehicles

Ahanger

Aldaej

Atiquzzaman

et al. 2022

Computational Intelligence and Neuroscience

View full text Add to dashboard Cite

Internet of Things (IoT)-inspired drone environment is having a greater influence on daily lives in the form of drone-based smart electricity monitoring, traffic routing, and personal healthcare. However, communication between drones and ground control systems must be protected to avoid potential vulnerabilities and improve coordination among scattered UAVs in the IoT context. In the current paper, a distributed UAV scheme is proposed that uses blockchain technology and a network topology similar to the IoT and cloud server to secure communications during data collection and transmission and reduce the likelihood of attack by maliciously manipulated UAVs. As an alternative to relying on a traditional blockchain approach, a unique, safe, and lightweight blockchain architecture is proposed that reduces computing and storage requirements while keeping privacy and security advantages. In addition, a unique reputation-based consensus protocol is built to assure the dependability of the decentralized network. Numerous types of transactions are established to characterize diverse data access. To validate the presented blockchain-based distributed system, performance evaluations are conducted to estimate the statistical effectiveness in the form of temporal delay, packet flow efficacy, precision, specificity, sensitivity, and security efficiency.

show abstract

Section: Fundamental Aspectsmentioning

confidence: 99%

“…UAV technology is seeing a growing trend of autonomy, driven by developments in batteries, charging techniques, and embedded software that uses machine learning algorithms to learn [ 6 ]. It is being created and tested; however, there are currently no permitted autonomous UAV systems that may be used.…”

Section: Introductionmentioning

confidence: 99%

Distributed Blockchain-Based Platform for Unmanned Aerial Vehicles

Ahanger

Aldaej

Atiquzzaman

et al. 2022

Computational Intelligence and Neuroscience

View full text Add to dashboard Cite

show abstract

Declarative Stream Runtime Verification (hLola)

Ceresa

Gorostiaga

Sánchez

2020

Lecture Notes in Computer Science

View full text Add to dashboard Cite

HLola: a Very Functional Tool for Extensible Stream Runtime Verification

Gorostiaga

Sánchez

2021

Tools and Algorithms for the Construction and Analysis of Systems

View full text Add to dashboard Cite

We present , an extensible Stream Runtime Verification (SRV) tool, that borrows from the functional language Haskell (1) rich types for data in events and verdicts; and (2) functional features for parametrization, libraries, high-order specification transformations, etc.SRV is a formal dynamic analysis technique that generalizes Runtime Verification (RV) algorithms from temporal logics like LTL to stream monitoring, allowing the computation of verdicts richer than Booleans (quantitative values and beyond). The keystone of SRV is the clean separation between temporal dependencies and data computations. However, in spite of this theoretical separation previous engines include hardwired implementations of just a few datatypes, requiring complex changes in the tool chain to incorporate new data types. Additionally, when previous tools implement features like parametrization these are implemented in an ad-hoc way. In contrast, is implemented as a Haskell embedded DSL, borrowing datatypes and functional aspects from Haskell, resulting in an extensible engine (The tool is available open-source at http://github.com/imdea-software/hlola). We illustrate through several examples, including a UAV monitoring infrastructure with predictive characteristics that has been validated in online runtime verification in real mission planning.

show abstract

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions

Cited by 12 publications

References 29 publications

Distributed Blockchain-Based Platform for Unmanned Aerial Vehicles

Distributed Blockchain-Based Platform for Unmanned Aerial Vehicles

Declarative Stream Runtime Verification (hLola)

HLola: a Very Functional Tool for Extensible Stream Runtime Verification

Contact Info

Product

Resources

About