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...

ver descrição completa

Detalhes bibliográficos
Autor principal: Pedro, André de Matos (author)
Outros Autores: Sousa Pinto, Jorge (author), Pereira, David (author), Pinho, Luís Miguel (author)
Formato: article
Idioma:eng
Publicado em: 2018
Assuntos:
Runtime verification
Metric temporal logic
Durations
Resource model
Hard real time system
Polynomial inequality
Texto completo:http://hdl.handle.net/10400.22/10761
País:Portugal
Oai:oai:recipp.ipp.pt:10400.22/10761

Texto Completo

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

Registros relacionados