Publikation: Formal Performability Evaluation of Architectural Models of Critical Infrastructures
Lade...
Dateien
Datum
2010
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
Internationale Patentnummer
Link zur Lizenz
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published
Erschienen 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, 2010, pp. 27-34. ISBN 978-0-415-60427-7
Zusammenfassung
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.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690
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, 2010, pp. 27-34. ISBN 978-0-415-60427-7BibTex
@inproceedings{Haverkort2010Forma-3025,
year={2010},
title={Formal Performability Evaluation of Architectural Models of Critical Infrastructures},
isbn={978-0-415-60427-7},
publisher={CRC Press},
address={London},
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:RDF
xmlns:dcterms="http://purl.org/dc/terms/"
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:bibo="http://purl.org/ontology/bibo/"
xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
xmlns:foaf="http://xmlns.com/foaf/0.1/"
xmlns:void="http://rdfs.org/ns/void#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#" >
<rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/3025">
<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:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
<dc:creator>Haverkort, Boudewijn R.</dc:creator>
<dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/3025/1/Haverkort_128408.pdf"/>
<dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/3025/1/Haverkort_128408.pdf"/>
<dc:language>eng</dc:language>
<dc:rights>terms-of-use</dc:rights>
<dc:contributor>Haverkort, Boudewijn R.</dc:contributor>
<foaf:homepage rdf:resource="http://localhost:8080/"/>
<void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
<dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-23T10:15:49Z</dcterms:available>
<dc:creator>Kuntz, Matthias</dc:creator>
<dc:creator>Roolvink, Stephan</dc:creator>
<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>
<dc:creator>Remke, Anne</dc:creator>
<dcterms:title>Formal Performability Evaluation of Architectural Models of Critical Infrastructures</dcterms:title>
<dc:contributor>Remke, Anne</dc:contributor>
<dc:contributor>Roolvink, Stephan</dc:contributor>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
<dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
<bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/3025"/>
<dcterms:issued>2010</dcterms:issued>
</rdf:Description>
</rdf:RDF>Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
