About: Reliability analysis in component-based development via probabilistic model checking

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Reliability analysis in component-based development via probabilistic model checking Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Engineering of highly reliable systems requires support of sophisticated design methods allowing software architects to competently decide between various design alternatives already early in the development process. Architecture-based reliability prediction provides such capability. The formalisms and analytical methods employed by existing approaches are however often limited to a single reliability measure (the probability of failure on demand) and consideration of behavioural uncertainty (focusing on the uncertainty in model parameters, not the behaviour itself). This paper presents a formal reliability assessment approach for component-based systems based on the probabilistic model checking of various reliability-related properties specified in probabilistic linear temporal logic (PLTL). Engineering of highly reliable systems requires support of sophisticated design methods allowing software architects to competently decide between various design alternatives already early in the development process. Architecture-based reliability prediction provides such capability. The formalisms and analytical methods employed by existing approaches are however often limited to a single reliability measure (the probability of failure on demand) and consideration of behavioural uncertainty (focusing on the uncertainty in model parameters, not the behaviour itself). This paper presents a formal reliability assessment approach for component-based systems based on the probabilistic model checking of various reliability-related properties specified in probabilistic linear temporal logic (PLTL). (en)
Title	Reliability analysis in component-based development via probabilistic model checking Reliability analysis in component-based development via probabilistic model checking (en)
skos:prefLabel	Reliability analysis in component-based development via probabilistic model checking Reliability analysis in component-based development via probabilistic model checking (en)
skos:notation	RIV/00216224:14330/12:00057593!RIV13-GA0-14330___
http://linked.open...avai/predkladatel	Fakulta informatiky
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(GAP202/11/0312), P(GD102/09/H042), P(LA09016), S
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Beneš, Nikola Černá, Ivana Ošlejšek, Radek Bühnová, Barbora
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	164900
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/12:00057593
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Reliability; component-based systems; probabilistic model checking; Markov decision processes (MDP) (en)
http://linked.open.../riv/klicoveSlovo	Reliability component-based systems Markov decision processes (MDP) probabilistic model checking
http://linked.open...ontrolniKodProRIV	[6B5BA54449DD]
http://linked.open...v/mistoKonaniAkce	Bertinoro, Italy
http://linked.open...i/riv/mistoVydani	New York, NY, USA
http://linked.open...i/riv/nazevZdroje	Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE '12)
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	4 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...vavai/riv/projekt	Software Components in Embedded Systems: Development and Verification Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems Czech Republic membership in the European Research Consortium for Informatics and Mathematics (ERCIM)
http://linked.open...UplatneniVysledku	2012
http://linked.open...iv/tvurceVysledku	Beneš, Nikola Ošlejšek, Radek Černá, Ivana Bühnová, Barbora
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2012-06-25 (xsd:date)
number of pages	10 (xsd:int)
http://bibframe.org/vocab/doi	10.1145/2304736.2304752
http://purl.org/ne...btex#hasPublisher	ACM
https://schema.org/isbn	9781450313452
http://localhost/t...ganizacniJednotka	14330
is http://linked.open...avai/riv/vysledek of	Reliability analysis in component-based development via probabilistic model checking

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software