Matches in SemOpenAlex for { <https://semopenalex.org/work/W2793303056> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2793303056 endingPage "493" @default.
- W2793303056 startingPage "481" @default.
- W2793303056 abstract "This paper proposes a novel approach to modeling and verifying real-time systems for high reliability. To do so, we first extend projection temporal logic to timed projection temporal logic. Further, we define a timed modeling, simulation, and verification language (TMSVL) for real-time systems. As a result, both systems and desired properties can be expressed in TMSVL. In particular, real-time behaviors such as delay, timeout, and interrupt can be formalized. Compared with commonly used property specification language, TMSVL is capable of specifying more sophisticated properties such as quantitative timing properties, interval-related properties, and periodically repeated properties. Moreover, the unified model checking approach to verifying real-time systems via dynamical program execution is implemented. In addition, a case study for modeling and verifying a $mu$ C/OS-III multitask system with interrupt is conducted to demonstrate how the proposed approach works." @default.
- W2793303056 created "2018-03-29" @default.
- W2793303056 creator A5003990194 @default.
- W2793303056 creator A5021982099 @default.
- W2793303056 creator A5077298638 @default.
- W2793303056 date "2018-06-01" @default.
- W2793303056 modified "2023-10-18" @default.
- W2793303056 title "A Novel Approach to Modeling and Verifying Real-Time Systems for High Reliability" @default.
- W2793303056 cites W1548132545 @default.
- W2793303056 cites W1756958128 @default.
- W2793303056 cites W1835747325 @default.
- W2793303056 cites W1905380539 @default.
- W2793303056 cites W1987340323 @default.
- W2793303056 cites W2000466805 @default.
- W2793303056 cites W2020639449 @default.
- W2793303056 cites W2024529502 @default.
- W2793303056 cites W2026629052 @default.
- W2793303056 cites W2030263557 @default.
- W2793303056 cites W2036750908 @default.
- W2793303056 cites W2047923159 @default.
- W2793303056 cites W2060795628 @default.
- W2793303056 cites W2068031356 @default.
- W2793303056 cites W2081306301 @default.
- W2793303056 cites W2084412853 @default.
- W2793303056 cites W2089546907 @default.
- W2793303056 cites W2093832730 @default.
- W2793303056 cites W2101508170 @default.
- W2793303056 cites W2115309705 @default.
- W2793303056 cites W2143791611 @default.
- W2793303056 cites W2157927392 @default.
- W2793303056 cites W2167694722 @default.
- W2793303056 cites W2168049849 @default.
- W2793303056 cites W2294578947 @default.
- W2793303056 cites W2296518237 @default.
- W2793303056 cites W2314127109 @default.
- W2793303056 cites W2334793245 @default.
- W2793303056 cites W2343496192 @default.
- W2793303056 cites W2512415869 @default.
- W2793303056 cites W2513308511 @default.
- W2793303056 cites W2530261561 @default.
- W2793303056 cites W2535640593 @default.
- W2793303056 cites W2555956765 @default.
- W2793303056 cites W2618805227 @default.
- W2793303056 cites W2620922766 @default.
- W2793303056 cites W2766597550 @default.
- W2793303056 doi "https://doi.org/10.1109/tr.2018.2806349" @default.
- W2793303056 hasPublicationYear "2018" @default.
- W2793303056 type Work @default.
- W2793303056 sameAs 2793303056 @default.
- W2793303056 citedByCount "18" @default.
- W2793303056 countsByYear W27933030562018 @default.
- W2793303056 countsByYear W27933030562019 @default.
- W2793303056 countsByYear W27933030562020 @default.
- W2793303056 countsByYear W27933030562021 @default.
- W2793303056 countsByYear W27933030562022 @default.
- W2793303056 countsByYear W27933030562023 @default.
- W2793303056 crossrefType "journal-article" @default.
- W2793303056 hasAuthorship W2793303056A5003990194 @default.
- W2793303056 hasAuthorship W2793303056A5021982099 @default.
- W2793303056 hasAuthorship W2793303056A5077298638 @default.
- W2793303056 hasConcept C121332964 @default.
- W2793303056 hasConcept C127413603 @default.
- W2793303056 hasConcept C163164238 @default.
- W2793303056 hasConcept C163258240 @default.
- W2793303056 hasConcept C200601418 @default.
- W2793303056 hasConcept C201729545 @default.
- W2793303056 hasConcept C41008148 @default.
- W2793303056 hasConcept C43214815 @default.
- W2793303056 hasConcept C62520636 @default.
- W2793303056 hasConceptScore W2793303056C121332964 @default.
- W2793303056 hasConceptScore W2793303056C127413603 @default.
- W2793303056 hasConceptScore W2793303056C163164238 @default.
- W2793303056 hasConceptScore W2793303056C163258240 @default.
- W2793303056 hasConceptScore W2793303056C200601418 @default.
- W2793303056 hasConceptScore W2793303056C201729545 @default.
- W2793303056 hasConceptScore W2793303056C41008148 @default.
- W2793303056 hasConceptScore W2793303056C43214815 @default.
- W2793303056 hasConceptScore W2793303056C62520636 @default.
- W2793303056 hasFunder F4320321001 @default.
- W2793303056 hasIssue "2" @default.
- W2793303056 hasLocation W27933030561 @default.
- W2793303056 hasOpenAccess W2793303056 @default.
- W2793303056 hasPrimaryLocation W27933030561 @default.
- W2793303056 hasRelatedWork W1750567916 @default.
- W2793303056 hasRelatedWork W1969919541 @default.
- W2793303056 hasRelatedWork W2021717084 @default.
- W2793303056 hasRelatedWork W2051226416 @default.
- W2793303056 hasRelatedWork W2059165337 @default.
- W2793303056 hasRelatedWork W2130868914 @default.
- W2793303056 hasRelatedWork W2143130796 @default.
- W2793303056 hasRelatedWork W2149335246 @default.
- W2793303056 hasRelatedWork W2349621666 @default.
- W2793303056 hasRelatedWork W3022561886 @default.
- W2793303056 hasVolume "67" @default.
- W2793303056 isParatext "false" @default.
- W2793303056 isRetracted "false" @default.
- W2793303056 magId "2793303056" @default.
- W2793303056 workType "article" @default.