naa a22 4500 510791182 CHVBK 20180411083320.0 cr unu---uuuuu 180411e20131201xx s 000 0 eng 10.1007/s11334-013-0223-x doi (NATIONALLICENCE)springer-10.1007/s11334-013-0223-x Copilot: monitoring embedded systems [Elektronische Daten] [Lee Pike, Nis Wegmann, Sebastian Niller, Alwyn Goodloe] Runtime verification (RV) is a natural fit for ultra-critical systems that require correct software behavior. Due to the low reliability of commodity hardware and the adversity of operational environments, it is common in ultra-critical systems to replicate processing units (and their hosted software) and incorporate fault-tolerant algorithms to compare the outputs, even if the software is considered to be fault-free. In this paper, we investigate the use of software monitoring in distributed fault-tolerant systems and the implementation of fault-tolerance mechanisms using RV techniques. We describe the Copilot language and compiler that generates monitors for distributed real-time systems, and we discuss two case-studies in which Copilot-generated monitors were used to detect onboard software and hardware faults and monitor air-ground data link messaging protocols. Springer-Verlag London, 2013 Runtime verification nationallicence Monitoring nationallicence Real-time systems nationallicence Distributed systems nationallicence Pike Lee Galois, Inc., Portland, USA aut Wegmann Nis University of Copenhagen, Copenhagen, Denmark aut Niller Sebastian Evertz Microsystems, Burlington, Canada aut Goodloe Alwyn NASA, Hampton, USA aut Innovations in Systems and Software Engineering Springer London 9/4(2013-12-01), 235-255 1614-5046 9:4<235 2013 9 11334 https://doi.org/10.1007/s11334-013-0223-x text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/s11334-013-0223-x text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Pike Lee Galois, Inc., Portland, USA aut NATIONALLICENCE 700 1- Wegmann Nis University of Copenhagen, Copenhagen, Denmark aut NATIONALLICENCE 700 1- Niller Sebastian Evertz Microsystems, Burlington, Canada aut NATIONALLICENCE 700 1- Goodloe Alwyn NASA, Hampton, USA aut NATIONALLICENCE 773 0- Innovations in Systems and Software Engineering Springer London 9/4(2013-12-01), 235-255 1614-5046 9:4<235 2013 9 11334 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer