Matches in SemOpenAlex for { <https://semopenalex.org/work/W2275405912> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2275405912 abstract "Computerised systems appear in almost all aspects of our daily lives, often in safety-critical scenarios such as embedded control systems in cars and aircraftor medical devices such as pacemakers and sensors. We are thus increasingly reliant on these systems working correctly, despite often operating in unpredictable or unreliable environments. Designers of such devices need ways to guarantee that they will operate in a reliable and efficient manner.Quantitative verification is a technique for analysing quantitative aspects of a system's design, such as timeliness, reliability or performance. It applies formal methods, based on a rigorous analysis of a mathematical model of the system, to automatically prove certain precisely specified properties, e.g. ``the airbag will always deploy within 20 milliseconds after a crash'' or ``the probability of both sensors failing simultaneously is less than 0.001''.The ability to formally guarantee quantitative properties of this kind is beneficial across a wide range of application domains. For example, in safety-critical systems, it may be essential to establish credible bounds on the probability with which certain failures or combinations of failures can occur. In embedded control systems, it is often important to comply with strict constraints on timing or resources. More generally, being able to derive guarantees on precisely specified levels of performance or efficiency is a valuable tool in the design of, for example, wireless networking protocols, robotic systems or power management algorithms, to name but a few.This report gives a short introduction to quantitative verification, focusing in particular on a widely used technique called model checking, and its generalisation to the analysis of quantitative aspects of a system such as timing, probabilistic behaviour or resource usage.The intended audience is industrial designers and developers of systems such as those highlighted above who could benefit from the application of quantitative verification,but lack expertise in formal verification or modelling." @default.
- W2275405912 created "2016-06-24" @default.
- W2275405912 creator A5036097359 @default.
- W2275405912 creator A5067544120 @default.
- W2275405912 date "2014-01-01" @default.
- W2275405912 modified "2023-10-01" @default.
- W2275405912 title "Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance" @default.
- W2275405912 hasPublicationYear "2014" @default.
- W2275405912 type Work @default.
- W2275405912 sameAs 2275405912 @default.
- W2275405912 citedByCount "6" @default.
- W2275405912 countsByYear W22754059122015 @default.
- W2275405912 countsByYear W22754059122016 @default.
- W2275405912 countsByYear W22754059122017 @default.
- W2275405912 countsByYear W22754059122018 @default.
- W2275405912 crossrefType "journal-article" @default.
- W2275405912 hasAuthorship W2275405912A5036097359 @default.
- W2275405912 hasAuthorship W2275405912A5067544120 @default.
- W2275405912 hasConcept C110251889 @default.
- W2275405912 hasConcept C111498074 @default.
- W2275405912 hasConcept C11413529 @default.
- W2275405912 hasConcept C115903868 @default.
- W2275405912 hasConcept C120314980 @default.
- W2275405912 hasConcept C121332964 @default.
- W2275405912 hasConcept C127413603 @default.
- W2275405912 hasConcept C154945302 @default.
- W2275405912 hasConcept C163258240 @default.
- W2275405912 hasConcept C183469790 @default.
- W2275405912 hasConcept C199360897 @default.
- W2275405912 hasConcept C200601418 @default.
- W2275405912 hasConcept C2775924081 @default.
- W2275405912 hasConcept C41008148 @default.
- W2275405912 hasConcept C43214815 @default.
- W2275405912 hasConcept C62520636 @default.
- W2275405912 hasConcept C75606506 @default.
- W2275405912 hasConceptScore W2275405912C110251889 @default.
- W2275405912 hasConceptScore W2275405912C111498074 @default.
- W2275405912 hasConceptScore W2275405912C11413529 @default.
- W2275405912 hasConceptScore W2275405912C115903868 @default.
- W2275405912 hasConceptScore W2275405912C120314980 @default.
- W2275405912 hasConceptScore W2275405912C121332964 @default.
- W2275405912 hasConceptScore W2275405912C127413603 @default.
- W2275405912 hasConceptScore W2275405912C154945302 @default.
- W2275405912 hasConceptScore W2275405912C163258240 @default.
- W2275405912 hasConceptScore W2275405912C183469790 @default.
- W2275405912 hasConceptScore W2275405912C199360897 @default.
- W2275405912 hasConceptScore W2275405912C200601418 @default.
- W2275405912 hasConceptScore W2275405912C2775924081 @default.
- W2275405912 hasConceptScore W2275405912C41008148 @default.
- W2275405912 hasConceptScore W2275405912C43214815 @default.
- W2275405912 hasConceptScore W2275405912C62520636 @default.
- W2275405912 hasConceptScore W2275405912C75606506 @default.
- W2275405912 hasLocation W22754059121 @default.
- W2275405912 hasOpenAccess W2275405912 @default.
- W2275405912 hasPrimaryLocation W22754059121 @default.
- W2275405912 hasRelatedWork W149936107 @default.
- W2275405912 hasRelatedWork W1510950427 @default.
- W2275405912 hasRelatedWork W1516256348 @default.
- W2275405912 hasRelatedWork W181538956 @default.
- W2275405912 hasRelatedWork W1862398452 @default.
- W2275405912 hasRelatedWork W2028622255 @default.
- W2275405912 hasRelatedWork W2131647177 @default.
- W2275405912 hasRelatedWork W2156134369 @default.
- W2275405912 hasRelatedWork W2158162968 @default.
- W2275405912 hasRelatedWork W2340584311 @default.
- W2275405912 hasRelatedWork W2612270411 @default.
- W2275405912 hasRelatedWork W2772397064 @default.
- W2275405912 hasRelatedWork W2782082370 @default.
- W2275405912 hasRelatedWork W2896068337 @default.
- W2275405912 hasRelatedWork W2948443596 @default.
- W2275405912 hasRelatedWork W2968733887 @default.
- W2275405912 hasRelatedWork W3013132045 @default.
- W2275405912 hasRelatedWork W3172962027 @default.
- W2275405912 hasRelatedWork W769304792 @default.
- W2275405912 hasRelatedWork W99778302 @default.
- W2275405912 isParatext "false" @default.
- W2275405912 isRetracted "false" @default.
- W2275405912 magId "2275405912" @default.
- W2275405912 workType "article" @default.