Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Thomas Reinbacher"'
Autor:
Johann Schumann, Kristin Y. Rozier, Thomas Reinbacher, Ole J. Mengshoel, Timmy Mbaya, Corey Ippolito
Publikováno v:
International Journal of Prognostics and Health Management, Vol 6, Iss 1 (2015)
For unmanned aerial systems (UAS) to be successfully deployed and integrated within the national airspace, it is imperative that they possess the capability to effectively complete their missions without compromising the safety of other aircraft, as
Externí odkaz:
https://doaj.org/article/97e1c496ac9842668bdd50daf84cf000
Publikováno v:
Science of Computer Programming. 80:109-129
Runtime verification bridges the gap between formal verification and testing by providing techniques and tools that connect executions of a software to its specification without trying to prove the absence of errors. This article presents a framework
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a433e3a6e0554383b10384ea60960efc
https://doi.org/10.1016/j.scico.2012.10.015
https://doi.org/10.1016/j.scico.2012.10.015
Publikováno v:
Formal Methods in System Design
We present a runtime verification framework that allows on-line monitoring of past-time Metric Temporal Logic (ptMTL) specifications in a discrete time setting. We design observer algorithms for the time-bounded modalities of ptMTL, which take advant
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::967f635f4e51f368dc7546a4942687f3
https://pubmed.ncbi.nlm.nih.gov/26752679
https://pubmed.ncbi.nlm.nih.gov/26752679
Autor:
Corey A. Ippolito, Timmy Mbaya, Thomas Reinbacher, Johann Schumann, Ole J. Mengshoel, Kristin Yvonne Rozier
Publikováno v:
International Journal of Prognostics and Health Management, Vol 6, Iss 1 (2015)
For unmanned aerial systems (UAS) to be successfully deployed and integrated within the national airspace, it is imperative that they possess the capability to effectively complete their missions without compromising the safety of other aircraft, as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db56978f9d40f5666e7ac826e3af028e
https://papers.phmsociety.org/index.php/ijphm/article/view/2243
https://papers.phmsociety.org/index.php/ijphm/article/view/2243
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783642548611
TACAS
TACAS
We propose a real-time, Realizable, Responsive, Unobtrusive Unit (rt-R2U2) to meet the emerging needs for System Health Management (SHM) of new safety-critical embedded systems like automated vehicles, Unmanned Aerial Systems (UAS), or small satellit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1362cbc58759b66b691f701ba807d27c
https://doi.org/10.1007/978-3-642-54862-8_24
https://doi.org/10.1007/978-3-642-54862-8_24
Publikováno v:
Runtime Verification ISBN: 9783642356315
RV
RV
We present an algorithmic framework that allows on-line monitoring of past-time MTL specifications in a discrete time setting. The algorithms allow to be synthesized into efficient observer hardware blocks, which take advantage of the highly-parallel
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::700099e508266ad91ad419dde22b1a50
https://doi.org/10.1007/978-3-642-35632-2_13
https://doi.org/10.1007/978-3-642-35632-2_13
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642408458
HAIS
HAIS
In the robotics domain, the state of the world may change in unexpected ways during execution of a task. From a planning perspective, these discrepancies may render the currently executed plan invalid and thus need to be detected as soon as possible.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::df5f929c50965123f75dbe6908f64bb6
https://doi.org/10.1007/978-3-642-40846-5_45
https://doi.org/10.1007/978-3-642-40846-5_45
Publikováno v:
Proceedings of 2012 IEEE/ASME 8th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications.
We present a framework for parallel, non-intrusive runtime verification of past-time linear temporal logic (ptLTL) specifications that follows the trend of contemporary hardware designs which favors an increasing number of computing cores instead of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::320f26dab7c81a9dd69feb742425eb2f
https://doi.org/10.1109/mesa.2012.6275566
https://doi.org/10.1109/mesa.2012.6275566
Publikováno v:
Runtime Verification ISBN: 9783642298592
RV
RV
This paper presents a non-intrusive framework for runtime verification of executable microcontroller code. A dedicated hardware unit is attached to a microcontroller, which executes the program under scrutiny, to track atomic propositions stated as a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6c92f539adcb7bc7bb745b8ee86719aa
https://doi.org/10.1007/978-3-642-29860-8_18
https://doi.org/10.1007/978-3-642-29860-8_18
Autor:
Jörg Brauer, Thomas Reinbacher
Publikováno v:
EMSOFT
This paper presents a SAT-based method for control flow graph reconstruction from executable code. The key idea of the technique is to express the semantics of each basic block in a program using Boolean logic, followed by inferring pre- and postcond
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bf7b5d16b0a0ebb0a79e72702396b153
https://doi.org/10.1145/2038642.2038662
https://doi.org/10.1145/2038642.2038662