Matches in SemOpenAlex for { <https://semopenalex.org/work/W2543578418> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2543578418 abstract "This paper begins the process of specifying a particular predictive maintenance (PM) software system using formal methods. Specifically, schema diagrams in formal Z notation are used to specify an integrated set of black box PM operations devoid of implementation details. The schema diagrams describe the input-output behavior of the PM operations and employ high-level abstract mathematical data types. In total, the PM operations serve as a framework upon which to base the implementation of a provably correct PM software system. This highly-assured system would add substantial value to automatic test equipment and test program sets by providing the capability to 1. detect anomalies and incipient failures and isolate existing/impending failures of a unit-under-test (UUT) based on system-level data, 2. forecast remaining useful life of a UUT based on system-level data, 3. reduce substantially the number of false alarms attributed to automatic test equipment and test program sets, and 4. Enable condition-based and prognostic-based maintenance and inventory process decision triggers based on the outcomes of 1-3. During implementation of the PM software system, Floyd-Hoare logics can be used to verify whether particular algorithms meet the finished black-box PM specifications. This paper also presents the state transition diagram that corresponds to the framework." @default.
- W2543578418 created "2016-11-04" @default.
- W2543578418 creator A5060774057 @default.
- W2543578418 date "2005-06-07" @default.
- W2543578418 modified "2023-09-26" @default.
- W2543578418 title "A formal framework for predictive maintenance" @default.
- W2543578418 cites W2127910987 @default.
- W2543578418 cites W2151038992 @default.
- W2543578418 cites W2996858006 @default.
- W2543578418 doi "https://doi.org/10.1109/autest.2004.1436938" @default.
- W2543578418 hasPublicationYear "2005" @default.
- W2543578418 type Work @default.
- W2543578418 sameAs 2543578418 @default.
- W2543578418 citedByCount "1" @default.
- W2543578418 countsByYear W25435784182016 @default.
- W2543578418 crossrefType "proceedings-article" @default.
- W2543578418 hasAuthorship W2543578418A5060774057 @default.
- W2543578418 hasConcept C101317890 @default.
- W2543578418 hasConcept C115903868 @default.
- W2543578418 hasConcept C116253237 @default.
- W2543578418 hasConcept C119857082 @default.
- W2543578418 hasConcept C127413603 @default.
- W2543578418 hasConcept C128942645 @default.
- W2543578418 hasConcept C149091818 @default.
- W2543578418 hasConcept C152877465 @default.
- W2543578418 hasConcept C162443782 @default.
- W2543578418 hasConcept C186846655 @default.
- W2543578418 hasConcept C199360897 @default.
- W2543578418 hasConcept C200601418 @default.
- W2543578418 hasConcept C2777904410 @default.
- W2543578418 hasConcept C2779639559 @default.
- W2543578418 hasConcept C41008148 @default.
- W2543578418 hasConcept C52146309 @default.
- W2543578418 hasConcept C75606506 @default.
- W2543578418 hasConceptScore W2543578418C101317890 @default.
- W2543578418 hasConceptScore W2543578418C115903868 @default.
- W2543578418 hasConceptScore W2543578418C116253237 @default.
- W2543578418 hasConceptScore W2543578418C119857082 @default.
- W2543578418 hasConceptScore W2543578418C127413603 @default.
- W2543578418 hasConceptScore W2543578418C128942645 @default.
- W2543578418 hasConceptScore W2543578418C149091818 @default.
- W2543578418 hasConceptScore W2543578418C152877465 @default.
- W2543578418 hasConceptScore W2543578418C162443782 @default.
- W2543578418 hasConceptScore W2543578418C186846655 @default.
- W2543578418 hasConceptScore W2543578418C199360897 @default.
- W2543578418 hasConceptScore W2543578418C200601418 @default.
- W2543578418 hasConceptScore W2543578418C2777904410 @default.
- W2543578418 hasConceptScore W2543578418C2779639559 @default.
- W2543578418 hasConceptScore W2543578418C41008148 @default.
- W2543578418 hasConceptScore W2543578418C52146309 @default.
- W2543578418 hasConceptScore W2543578418C75606506 @default.
- W2543578418 hasLocation W25435784181 @default.
- W2543578418 hasOpenAccess W2543578418 @default.
- W2543578418 hasPrimaryLocation W25435784181 @default.
- W2543578418 hasRelatedWork W1567147371 @default.
- W2543578418 hasRelatedWork W1647609750 @default.
- W2543578418 hasRelatedWork W1710922674 @default.
- W2543578418 hasRelatedWork W175408375 @default.
- W2543578418 hasRelatedWork W1978187713 @default.
- W2543578418 hasRelatedWork W2055647675 @default.
- W2543578418 hasRelatedWork W2097129606 @default.
- W2543578418 hasRelatedWork W2097895505 @default.
- W2543578418 hasRelatedWork W2109315538 @default.
- W2543578418 hasRelatedWork W2159120852 @default.
- W2543578418 hasRelatedWork W2185039079 @default.
- W2543578418 hasRelatedWork W2285621613 @default.
- W2543578418 hasRelatedWork W3033397011 @default.
- W2543578418 hasRelatedWork W3142089163 @default.
- W2543578418 hasRelatedWork W3150938959 @default.
- W2543578418 hasRelatedWork W3205625783 @default.
- W2543578418 hasRelatedWork W87879318 @default.
- W2543578418 hasRelatedWork W1589984898 @default.
- W2543578418 hasRelatedWork W2823734064 @default.
- W2543578418 hasRelatedWork W2878314805 @default.
- W2543578418 isParatext "false" @default.
- W2543578418 isRetracted "false" @default.
- W2543578418 magId "2543578418" @default.
- W2543578418 workType "article" @default.