KOPS - Das Institutionelle Repositorium der Universität Konstanz

Formal Performability Evaluation of Architectural Models of Critical Infrastructures

Formal Performability Evaluation of Architectural Models of Critical Infrastructures

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:d577f507b771d837fe0b9481250ec190

HAVERKORT, Boudewijn R., Matthias KUNTZ, Anne REMKE, Stephan ROOLVINK, 2010. Formal Performability Evaluation of Architectural Models of Critical Infrastructures. In: ALE, Ben J. M., ed. and others. Reliability, risk and safety : back to the future ; ESREL (European Safety and Reliability) ... annual conference. London:CRC Press, pp. 27-34. ISBN 978-0-415-60427-7

@inproceedings{Haverkort2010Forma-3025, title={Formal Performability Evaluation of Architectural Models of Critical Infrastructures}, year={2010}, isbn={978-0-415-60427-7}, address={London}, publisher={CRC Press}, booktitle={Reliability, risk and safety : back to the future ; ESREL (European Safety and Reliability) ... annual conference}, pages={27--34}, editor={Ale, Ben J. M.}, author={Haverkort, Boudewijn R. and Kuntz, Matthias and Remke, Anne and Roolvink, Stephan} }

<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/3025"> <dc:contributor>Roolvink, Stephan</dc:contributor> <dc:creator>Haverkort, Boudewijn R.</dc:creator> <dc:language>eng</dc:language> <dc:creator>Remke, Anne</dc:creator> <dc:contributor>Remke, Anne</dc:contributor> <dcterms:title>Formal Performability Evaluation of Architectural Models of Critical Infrastructures</dcterms:title> <dc:rights>deposit-license</dc:rights> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/3025"/> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103416863-3868037-7"/> <dcterms:abstract xml:lang="eng">In this paper, we introduce MIOA, a stochastic process algebra-like specification language with finite-domain datatypes, as well as the logic intSPDL, and its model checking algorithms. MIOA which stands for Markovian input/output automata language is an extension of Lynch s input/output automata with Markovian timed transitions. MIOA can serve both as a fully fledged stand-alone specification language and as the semantic model for the architectural dependability description language Arcade. The logic intSPDL is an extension of the stochastic logic SPDL, designed to deal with the specialties of MIOA. In the context of Arcade, intSPDL can be seen as the semantic model of abstract and complex dependability measures that can be defined in the Arcade framework. We define syntax and semantics of both MIOA and intSPDL, and present application examples of MIOA and intSPDL in the realm of dependability modelling with Arcade.</dcterms:abstract> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-23T10:15:49Z</dcterms:available> <dc:creator>Kuntz, Matthias</dc:creator> <dcterms:issued>2010</dcterms:issued> <dc:creator>Roolvink, Stephan</dc:creator> <dc:contributor>Haverkort, Boudewijn R.</dc:contributor> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-23T10:15:49Z</dc:date> <dc:contributor>Kuntz, Matthias</dc:contributor> <dcterms:bibliographicCitation>Reliability, risk and safety : back to the future ; ESREL (European Safety and Reliability) ... annual conference ; Island of Rhodes, [5 - 9 September 2010] / ed.: Ben J. M. Ale ...[Ed.]. - London : CRC Press, 2010. - pp. 27-34. - ISBN 978-0-415-60427-7</dcterms:bibliographicCitation> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Haverkort_128408.pdf 96

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto