FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1984761125> ?p ?o ?g. }

• W1984761125 startingPage "187" @default.
• W1984761125 abstract "Real-time systems are often guaranteed in terms of schedulability, which verifies whether or not all jobs meet their deadlines. However, such a guarantee can be insufficient in certain applications. In this paper, we propose a method to compute a language-based guarantee which provides a more detailed description of the deadline miss patterns of an observed task. The only requirement of our method is that the timing behavior of the real-time system be modelled by a network of timed automata. We compute the language-based guarantee by constructing an equivalent finite state automaton in an iterative manner, using a counter-example guided procedure. We illustrate the language-based guarantee for two applications: design of a networked control system and scheduling in a mixed criticality system. In both cases, we show that the language-based guarantee leads to a more efficient design than the schedulability guarantee." @default.
• W1984761125 created "2016-06-24" @default.
• W1984761125 creator A5027387636 @default.
• W1984761125 creator A5031718651 @default.
• W1984761125 creator A5060999697 @default.
• W1984761125 creator A5071550692 @default.
• W1984761125 date "2014-03-24" @default.
• W1984761125 modified "2023-09-28" @default.
• W1984761125 title "Computing a language-based guarantee for timing properties of cyber-physical systems" @default.
• W1984761125 cites W1536220597 @default.
• W1984761125 cites W1972097705 @default.
• W1984761125 cites W1984148114 @default.
• W1984761125 cites W1991659074 @default.
• W1984761125 cites W2000947342 @default.
• W1984761125 cites W2036772106 @default.
• W1984761125 cites W2052334067 @default.
• W1984761125 cites W2101508170 @default.
• W1984761125 cites W2122969894 @default.
• W1984761125 cites W2124262702 @default.
• W1984761125 cites W2128027218 @default.
• W1984761125 cites W2133620399 @default.
• W1984761125 cites W2145451976 @default.
• W1984761125 cites W2168337142 @default.
• W1984761125 doi "https://doi.org/10.5555/2616606.2616836" @default.
• W1984761125 hasPublicationYear "2014" @default.
• W1984761125 type Work @default.
• W1984761125 sameAs 1984761125 @default.
• W1984761125 citedByCount "1" @default.
• W1984761125 countsByYear W19847611252014 @default.
• W1984761125 crossrefType "proceedings-article" @default.
• W1984761125 hasAuthorship W1984761125A5027387636 @default.
• W1984761125 hasAuthorship W1984761125A5031718651 @default.
• W1984761125 hasAuthorship W1984761125A5060999697 @default.
• W1984761125 hasAuthorship W1984761125A5071550692 @default.
• W1984761125 hasConcept C111919701 @default.
• W1984761125 hasConcept C112505250 @default.
• W1984761125 hasConcept C11413529 @default.
• W1984761125 hasConcept C120314980 @default.
• W1984761125 hasConcept C121332964 @default.
• W1984761125 hasConcept C125611927 @default.
• W1984761125 hasConcept C126255220 @default.
• W1984761125 hasConcept C149635348 @default.
• W1984761125 hasConcept C162324750 @default.
• W1984761125 hasConcept C167822520 @default.
• W1984761125 hasConcept C179768478 @default.
• W1984761125 hasConcept C185544564 @default.
• W1984761125 hasConcept C187736073 @default.
• W1984761125 hasConcept C206345919 @default.
• W1984761125 hasConcept C206729178 @default.
• W1984761125 hasConcept C2780451532 @default.
• W1984761125 hasConcept C2781124451 @default.
• W1984761125 hasConcept C2984822820 @default.
• W1984761125 hasConcept C31258907 @default.
• W1984761125 hasConcept C33923547 @default.
• W1984761125 hasConcept C41008148 @default.
• W1984761125 hasConcept C48103436 @default.
• W1984761125 hasConcept C79403827 @default.
• W1984761125 hasConcept C80444323 @default.
• W1984761125 hasConceptScore W1984761125C111919701 @default.
• W1984761125 hasConceptScore W1984761125C112505250 @default.
• W1984761125 hasConceptScore W1984761125C11413529 @default.
• W1984761125 hasConceptScore W1984761125C120314980 @default.
• W1984761125 hasConceptScore W1984761125C121332964 @default.
• W1984761125 hasConceptScore W1984761125C125611927 @default.
• W1984761125 hasConceptScore W1984761125C126255220 @default.
• W1984761125 hasConceptScore W1984761125C149635348 @default.
• W1984761125 hasConceptScore W1984761125C162324750 @default.
• W1984761125 hasConceptScore W1984761125C167822520 @default.
• W1984761125 hasConceptScore W1984761125C179768478 @default.
• W1984761125 hasConceptScore W1984761125C185544564 @default.
• W1984761125 hasConceptScore W1984761125C187736073 @default.
• W1984761125 hasConceptScore W1984761125C206345919 @default.
• W1984761125 hasConceptScore W1984761125C206729178 @default.
• W1984761125 hasConceptScore W1984761125C2780451532 @default.
• W1984761125 hasConceptScore W1984761125C2781124451 @default.
• W1984761125 hasConceptScore W1984761125C2984822820 @default.
• W1984761125 hasConceptScore W1984761125C31258907 @default.
• W1984761125 hasConceptScore W1984761125C33923547 @default.
• W1984761125 hasConceptScore W1984761125C41008148 @default.
• W1984761125 hasConceptScore W1984761125C48103436 @default.
• W1984761125 hasConceptScore W1984761125C79403827 @default.
• W1984761125 hasConceptScore W1984761125C80444323 @default.
• W1984761125 hasLocation W19847611251 @default.
• W1984761125 hasOpenAccess W1984761125 @default.
• W1984761125 hasPrimaryLocation W19847611251 @default.
• W1984761125 hasRelatedWork W1562548608 @default.
• W1984761125 hasRelatedWork W1581325791 @default.
• W1984761125 hasRelatedWork W1658875433 @default.
• W1984761125 hasRelatedWork W2053635180 @default.
• W1984761125 hasRelatedWork W2075282326 @default.
• W1984761125 hasRelatedWork W2103779723 @default.
• W1984761125 hasRelatedWork W2117841287 @default.
• W1984761125 hasRelatedWork W2132239026 @default.
• W1984761125 hasRelatedWork W2144288236 @default.
• W1984761125 hasRelatedWork W2148955211 @default.
• W1984761125 hasRelatedWork W2152271744 @default.
• W1984761125 hasRelatedWork W2168337142 @default.
• W1984761125 hasRelatedWork W2170963126 @default.
• W1984761125 hasRelatedWork W2171093921 @default.

• next