Runtime verification of autopilot systems using a fragment of MTL- ∫

Current real-time embedded systems development frameworks lack support for the verification of properties using explicit time where counting time (i.e., durations) may play an important role in the development process. Focusing on the real-time constraints inherent to these systems, we present a fra...

Full description

Bibliographic Details
Main Author: Pedro, André de Matos (author)
Other Authors: Sousa Pinto, Jorge (author), Pereira, David (author), Pinho, Luís Miguel (author)
Format: article
Language:eng
Published: 2018
Subjects:
Runtime verification
Metric temporal logic
Durations
Resource model
Hard real time system
Polynomial inequality
Online Access:http://hdl.handle.net/10400.22/10761
Country:Portugal
Oai:oai:recipp.ipp.pt:10400.22/10761

Internet

http://hdl.handle.net/10400.22/10761

Similar Items