Dynamic contracts for verification and enforcement of real-time systems properties

Autor: André de Matos Pedro

Externí odkaz: https://hdl.handle.net/10216/118511

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

Autor: Jorge Sousa Pinto, David Pereira, Luis Miguel Pinho, André de Matos Pedro

Publikováno v: Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP

First published online: 21 August 2017
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 developm

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a83a8ec768a9b1f97982170a9aff22e
https://hdl.handle.net/1822/51757

Logic-based schedulability analysis for compositional hard real-time embedded systems

Autor: André de Matos Pedro, Jorge Sousa Pinto, David Pereira, Luis Miguel Pinho

Publikováno v: Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP

This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in SIGBED Review, VOL.12, ISS.1, http://doi.acm.org/10.1145/2752801.2752808
Over

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ddc92924ffe78e8d69ae0e4ed7f6773
https://hdl.handle.net/10400.22/6816

Towards a Runtime Verification Framework for the Ada Programming Language

Autor: André de Matos Pedro, David Pereira, Jorge Sousa Pinto, Luis Miguel Pinho

Publikováno v: Reliable Software Technologies – Ada-Europe 2014 ISBN: 9783319083100
Ada-Europe

Runtime verification is an emerging discipline that investigates methods and tools to enable the verification of program properties during the execution of the application. The goal is to complement static analysis approaches, in particular when stat

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4cf70f817add63a577db3b9669f58cf4
https://doi.org/10.1007/978-3-319-08311-7_6

Learning Stochastic Timed Automata from Sample Executions

Autor: André de Matos Pedro, Paul Crocker, Simão Melo de Sousa

Publikováno v: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change ISBN: 9783642340253
ISoLA (1)

Generalized semi-Markov processes are an important class of stochastic systems which are generated by stochastic timed automata. In this paper we present a novel methodology to learn this type of stochastic timed automata from sample executions of a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f2360cd2ec527841351dc70e0a5bb50d
https://doi.org/10.1007/978-3-642-34026-0_38