Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079037685> ?p ?o ?g. }
- W2079037685 abstract "In this paper we present a novel analysis for complex safety-critical real-time systems involving component-based design and abstraction models. The analysis combines deterministic and probabilistic models for component interfaces; based on the bounded curves (deter-ministically or probabilistically). These results, through the usage of probabilities, can offer different degrees of realtime guarantees (hard or soft), given the system the safety-requirement, and specification. This analysis framework has the flexibility to cope with the different levels of safety-requirement; by acting on the probabilistic bounds and exploring the trade-off between the accuracy of the model and system over-provisioning. Through a case-study we intend to show how the probabilistic abstraction can efficiently and effectively address different degrees of safety requirements in the safety-critical real-time systems." @default.
- W2079037685 created "2016-06-24" @default.
- W2079037685 creator A5004909830 @default.
- W2079037685 creator A5054286051 @default.
- W2079037685 creator A5083800155 @default.
- W2079037685 date "2012-06-01" @default.
- W2079037685 modified "2023-09-24" @default.
- W2079037685 title "Modeling uncertainties in safety-critical real-time systems: A probabilistic component-based analysis" @default.
- W2079037685 cites W1496516658 @default.
- W2079037685 cites W1553516948 @default.
- W2079037685 cites W1593051417 @default.
- W2079037685 cites W1756169151 @default.
- W2079037685 cites W1871610027 @default.
- W2079037685 cites W2012392630 @default.
- W2079037685 cites W2030988309 @default.
- W2079037685 cites W2050828922 @default.
- W2079037685 cites W2108605225 @default.
- W2079037685 cites W2109039029 @default.
- W2079037685 cites W2121738258 @default.
- W2079037685 cites W2121784623 @default.
- W2079037685 cites W2123497051 @default.
- W2079037685 cites W2124262702 @default.
- W2079037685 cites W2126878009 @default.
- W2079037685 cites W2132548797 @default.
- W2079037685 cites W2136608864 @default.
- W2079037685 cites W2136711971 @default.
- W2079037685 cites W2138364057 @default.
- W2079037685 cites W2140314025 @default.
- W2079037685 cites W2142310885 @default.
- W2079037685 cites W2142375808 @default.
- W2079037685 cites W2147206873 @default.
- W2079037685 cites W2147960195 @default.
- W2079037685 cites W2156009911 @default.
- W2079037685 cites W2156280459 @default.
- W2079037685 cites W2160743745 @default.
- W2079037685 cites W2166440675 @default.
- W2079037685 cites W2167564612 @default.
- W2079037685 cites W2167972204 @default.
- W2079037685 cites W2170600460 @default.
- W2079037685 cites W2216480386 @default.
- W2079037685 cites W3149994079 @default.
- W2079037685 doi "https://doi.org/10.1109/sies.2012.6356582" @default.
- W2079037685 hasPublicationYear "2012" @default.
- W2079037685 type Work @default.
- W2079037685 sameAs 2079037685 @default.
- W2079037685 citedByCount "1" @default.
- W2079037685 countsByYear W20790376852019 @default.
- W2079037685 crossrefType "proceedings-article" @default.
- W2079037685 hasAuthorship W2079037685A5004909830 @default.
- W2079037685 hasAuthorship W2079037685A5054286051 @default.
- W2079037685 hasAuthorship W2079037685A5083800155 @default.
- W2079037685 hasConcept C105795698 @default.
- W2079037685 hasConcept C111472728 @default.
- W2079037685 hasConcept C120314980 @default.
- W2079037685 hasConcept C121332964 @default.
- W2079037685 hasConcept C124304363 @default.
- W2079037685 hasConcept C127413603 @default.
- W2079037685 hasConcept C132835097 @default.
- W2079037685 hasConcept C134306372 @default.
- W2079037685 hasConcept C138885662 @default.
- W2079037685 hasConcept C154945302 @default.
- W2079037685 hasConcept C163707989 @default.
- W2079037685 hasConcept C168167062 @default.
- W2079037685 hasConcept C199360897 @default.
- W2079037685 hasConcept C200601418 @default.
- W2079037685 hasConcept C24404364 @default.
- W2079037685 hasConcept C2777904410 @default.
- W2079037685 hasConcept C2780598303 @default.
- W2079037685 hasConcept C33923547 @default.
- W2079037685 hasConcept C34388435 @default.
- W2079037685 hasConcept C41008148 @default.
- W2079037685 hasConcept C49937458 @default.
- W2079037685 hasConcept C52063229 @default.
- W2079037685 hasConcept C80444323 @default.
- W2079037685 hasConcept C97355855 @default.
- W2079037685 hasConceptScore W2079037685C105795698 @default.
- W2079037685 hasConceptScore W2079037685C111472728 @default.
- W2079037685 hasConceptScore W2079037685C120314980 @default.
- W2079037685 hasConceptScore W2079037685C121332964 @default.
- W2079037685 hasConceptScore W2079037685C124304363 @default.
- W2079037685 hasConceptScore W2079037685C127413603 @default.
- W2079037685 hasConceptScore W2079037685C132835097 @default.
- W2079037685 hasConceptScore W2079037685C134306372 @default.
- W2079037685 hasConceptScore W2079037685C138885662 @default.
- W2079037685 hasConceptScore W2079037685C154945302 @default.
- W2079037685 hasConceptScore W2079037685C163707989 @default.
- W2079037685 hasConceptScore W2079037685C168167062 @default.
- W2079037685 hasConceptScore W2079037685C199360897 @default.
- W2079037685 hasConceptScore W2079037685C200601418 @default.
- W2079037685 hasConceptScore W2079037685C24404364 @default.
- W2079037685 hasConceptScore W2079037685C2777904410 @default.
- W2079037685 hasConceptScore W2079037685C2780598303 @default.
- W2079037685 hasConceptScore W2079037685C33923547 @default.
- W2079037685 hasConceptScore W2079037685C34388435 @default.
- W2079037685 hasConceptScore W2079037685C41008148 @default.
- W2079037685 hasConceptScore W2079037685C49937458 @default.
- W2079037685 hasConceptScore W2079037685C52063229 @default.
- W2079037685 hasConceptScore W2079037685C80444323 @default.
- W2079037685 hasConceptScore W2079037685C97355855 @default.
- W2079037685 hasLocation W20790376851 @default.