Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108721869> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2108721869 abstract "Real-time software runs over real-time operating systems, and guaranteeing qualities is difficult. As timing constraints and resource allocations are strict, it is necessary to verify schedulability, safety and liveness properties. In this paper, we formally specify real-time software using hybrid automata and verify its schedulability using both deductive refinement theory and scheduling theory. In this case, the above real-time software consists of periodic processes and a fixed-priority preemptive scheduling policy on one CPU. Using our proposed methods, we can uniformally and easily specify real-time software and verify its schedulability based on hybrid automata. Moreover, we can verify its schedulability at design stage." @default.
- W2108721869 created "2016-06-24" @default.
- W2108721869 creator A5003753318 @default.
- W2108721869 date "2004-03-02" @default.
- W2108721869 modified "2023-10-18" @default.
- W2108721869 title "Deductive schedulability verification methodology of real-time software using both refinement verification and hybrid automata" @default.
- W2108721869 cites W1550099218 @default.
- W2108721869 cites W1767198946 @default.
- W2108721869 cites W1823037702 @default.
- W2108721869 cites W2063163522 @default.
- W2108721869 cites W2066403336 @default.
- W2108721869 cites W2124778357 @default.
- W2108721869 cites W2132107743 @default.
- W2108721869 cites W2166440675 @default.
- W2108721869 doi "https://doi.org/10.1109/cmpsac.2003.1245390" @default.
- W2108721869 hasPublicationYear "2004" @default.
- W2108721869 type Work @default.
- W2108721869 sameAs 2108721869 @default.
- W2108721869 citedByCount "1" @default.
- W2108721869 crossrefType "proceedings-article" @default.
- W2108721869 hasAuthorship W2108721869A5003753318 @default.
- W2108721869 hasBestOaLocation W21087218692 @default.
- W2108721869 hasConcept C110251889 @default.
- W2108721869 hasConcept C111498074 @default.
- W2108721869 hasConcept C112505250 @default.
- W2108721869 hasConcept C120314980 @default.
- W2108721869 hasConcept C126255220 @default.
- W2108721869 hasConcept C149635348 @default.
- W2108721869 hasConcept C154488198 @default.
- W2108721869 hasConcept C15569618 @default.
- W2108721869 hasConcept C199360897 @default.
- W2108721869 hasConcept C200130814 @default.
- W2108721869 hasConcept C206729178 @default.
- W2108721869 hasConcept C2777904410 @default.
- W2108721869 hasConcept C28472234 @default.
- W2108721869 hasConcept C2989134064 @default.
- W2108721869 hasConcept C33923547 @default.
- W2108721869 hasConcept C41008148 @default.
- W2108721869 hasConcept C79403827 @default.
- W2108721869 hasConcept C80444323 @default.
- W2108721869 hasConceptScore W2108721869C110251889 @default.
- W2108721869 hasConceptScore W2108721869C111498074 @default.
- W2108721869 hasConceptScore W2108721869C112505250 @default.
- W2108721869 hasConceptScore W2108721869C120314980 @default.
- W2108721869 hasConceptScore W2108721869C126255220 @default.
- W2108721869 hasConceptScore W2108721869C149635348 @default.
- W2108721869 hasConceptScore W2108721869C154488198 @default.
- W2108721869 hasConceptScore W2108721869C15569618 @default.
- W2108721869 hasConceptScore W2108721869C199360897 @default.
- W2108721869 hasConceptScore W2108721869C200130814 @default.
- W2108721869 hasConceptScore W2108721869C206729178 @default.
- W2108721869 hasConceptScore W2108721869C2777904410 @default.
- W2108721869 hasConceptScore W2108721869C28472234 @default.
- W2108721869 hasConceptScore W2108721869C2989134064 @default.
- W2108721869 hasConceptScore W2108721869C33923547 @default.
- W2108721869 hasConceptScore W2108721869C41008148 @default.
- W2108721869 hasConceptScore W2108721869C79403827 @default.
- W2108721869 hasConceptScore W2108721869C80444323 @default.
- W2108721869 hasLocation W21087218691 @default.
- W2108721869 hasLocation W21087218692 @default.
- W2108721869 hasOpenAccess W2108721869 @default.
- W2108721869 hasPrimaryLocation W21087218691 @default.
- W2108721869 hasRelatedWork W1976738965 @default.
- W2108721869 hasRelatedWork W1990895645 @default.
- W2108721869 hasRelatedWork W2081995564 @default.
- W2108721869 hasRelatedWork W2091051415 @default.
- W2108721869 hasRelatedWork W2091946694 @default.
- W2108721869 hasRelatedWork W2108721869 @default.
- W2108721869 hasRelatedWork W2119925465 @default.
- W2108721869 hasRelatedWork W2508564296 @default.
- W2108721869 hasRelatedWork W256372521 @default.
- W2108721869 hasRelatedWork W2517823917 @default.
- W2108721869 isParatext "false" @default.
- W2108721869 isRetracted "false" @default.
- W2108721869 magId "2108721869" @default.
- W2108721869 workType "article" @default.