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é (author)
Outros Autores: Sousa Pinto, Jorge (author), Pereira, David (author), Pinho, Luis 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/12548
País:Portugal
Oai:oai:recipp.ipp.pt:10400.22/12548

Texto Completo

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

Registros relacionados