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é (author)
Other Authors: Sousa Pinto, Jorge (author), Pereira, David (author), Pinho, Luis 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/12548
Country:Portugal
Oai:oai:recipp.ipp.pt:10400.22/12548

Internet

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

Similar Items