Matches in SemOpenAlex for { <https://semopenalex.org/work/W209085883> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W209085883 endingPage "372" @default.
- W209085883 startingPage "357" @default.
- W209085883 abstract "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 satellites. SHM for these systems must be able to handle unexpected situations and adapt specifications quickly during flight testing between closely-timed consecutive missions, not mid-mission, necessitating fast reconfiguration. They must enable more advanced probabilistic reasoning for diagnostics and prognostics while running aboard limited hardware without affecting the certified on-board software. We define and prove correct translations of two real-time projections of Linear Temporal Logic to two types of efficient observer algorithms to continuously assess the status of the system. A synchronous observer yields an instant abstraction of the satisfaction check, whereas an asynchronous observer concretizes this abstraction at a later, a priori known, time. By feeding the system’s real-time status into a statistical reasoning unit, e.g., based on Bayesian networks, we enable advanced health estimation and diagnosis. We experimentally demonstrate our novel framework on real flight data from NASA’s Swift UAS. By on-boarding rt-R2U2 aboard an existing FPGA already built into the standard UAS design and seamlessly intercepting sensor values through read-only observations of the system bus, we avoid system integration problems of software instrumentation or added hardware. The flexibility of our approach with regard to changes in the monitored specification is not due to the reconfigurability offered by FPGAs; it is a benefit of the modularity of our observers and would also be available on non-reconfigurable hardware platforms such as ASICs." @default.
- W209085883 created "2016-06-24" @default.
- W209085883 creator A5049964874 @default.
- W209085883 creator A5086772516 @default.
- W209085883 creator A5088933573 @default.
- W209085883 date "2014-01-01" @default.
- W209085883 modified "2023-10-15" @default.
- W209085883 title "Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems" @default.
- W209085883 cites W1470776573 @default.
- W209085883 cites W1491593738 @default.
- W209085883 cites W1494737186 @default.
- W209085883 cites W1535430927 @default.
- W209085883 cites W1538818040 @default.
- W209085883 cites W1552908270 @default.
- W209085883 cites W1574125125 @default.
- W209085883 cites W1580868377 @default.
- W209085883 cites W16991763 @default.
- W209085883 cites W1975880855 @default.
- W209085883 cites W1994039465 @default.
- W209085883 cites W2007177299 @default.
- W209085883 cites W2027769154 @default.
- W209085883 cites W2144919771 @default.
- W209085883 cites W2158457802 @default.
- W209085883 cites W2166778115 @default.
- W209085883 cites W2166915430 @default.
- W209085883 cites W2485655368 @default.
- W209085883 cites W4206398538 @default.
- W209085883 cites W4245034461 @default.
- W209085883 cites W2129517366 @default.
- W209085883 doi "https://doi.org/10.1007/978-3-642-54862-8_24" @default.
- W209085883 hasPublicationYear "2014" @default.
- W209085883 type Work @default.
- W209085883 sameAs 209085883 @default.
- W209085883 citedByCount "89" @default.
- W209085883 countsByYear W2090858832014 @default.
- W209085883 countsByYear W2090858832015 @default.
- W209085883 countsByYear W2090858832016 @default.
- W209085883 countsByYear W2090858832017 @default.
- W209085883 countsByYear W2090858832018 @default.
- W209085883 countsByYear W2090858832019 @default.
- W209085883 countsByYear W2090858832020 @default.
- W209085883 countsByYear W2090858832021 @default.
- W209085883 countsByYear W2090858832022 @default.
- W209085883 countsByYear W2090858832023 @default.
- W209085883 crossrefType "book-chapter" @default.
- W209085883 hasAuthorship W209085883A5049964874 @default.
- W209085883 hasAuthorship W209085883A5086772516 @default.
- W209085883 hasAuthorship W209085883A5088933573 @default.
- W209085883 hasBestOaLocation W2090858831 @default.
- W209085883 hasConcept C119701452 @default.
- W209085883 hasConcept C121332964 @default.
- W209085883 hasConcept C149635348 @default.
- W209085883 hasConcept C199360897 @default.
- W209085883 hasConcept C25016198 @default.
- W209085883 hasConcept C2777904410 @default.
- W209085883 hasConcept C2780149590 @default.
- W209085883 hasConcept C2780704645 @default.
- W209085883 hasConcept C41008148 @default.
- W209085883 hasConcept C42935608 @default.
- W209085883 hasConcept C62520636 @default.
- W209085883 hasConcept C76155785 @default.
- W209085883 hasConcept C79403827 @default.
- W209085883 hasConceptScore W209085883C119701452 @default.
- W209085883 hasConceptScore W209085883C121332964 @default.
- W209085883 hasConceptScore W209085883C149635348 @default.
- W209085883 hasConceptScore W209085883C199360897 @default.
- W209085883 hasConceptScore W209085883C25016198 @default.
- W209085883 hasConceptScore W209085883C2777904410 @default.
- W209085883 hasConceptScore W209085883C2780149590 @default.
- W209085883 hasConceptScore W209085883C2780704645 @default.
- W209085883 hasConceptScore W209085883C41008148 @default.
- W209085883 hasConceptScore W209085883C42935608 @default.
- W209085883 hasConceptScore W209085883C62520636 @default.
- W209085883 hasConceptScore W209085883C76155785 @default.
- W209085883 hasConceptScore W209085883C79403827 @default.
- W209085883 hasLocation W2090858831 @default.
- W209085883 hasOpenAccess W209085883 @default.
- W209085883 hasPrimaryLocation W2090858831 @default.
- W209085883 hasRelatedWork W1895654053 @default.
- W209085883 hasRelatedWork W1966868317 @default.
- W209085883 hasRelatedWork W1986989907 @default.
- W209085883 hasRelatedWork W2038220260 @default.
- W209085883 hasRelatedWork W2121303892 @default.
- W209085883 hasRelatedWork W2150194641 @default.
- W209085883 hasRelatedWork W2160019493 @default.
- W209085883 hasRelatedWork W2169423330 @default.
- W209085883 hasRelatedWork W4281927116 @default.
- W209085883 hasRelatedWork W2042850549 @default.
- W209085883 isParatext "false" @default.
- W209085883 isRetracted "false" @default.
- W209085883 magId "209085883" @default.
- W209085883 workType "book-chapter" @default.