Publikation:

A verified wireless safety critical hard real-time design

Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2011

Autor:innen

Graf, Hernan Baro
Hermanns, Holger
Peter, Jens
Vahldiek, Anjo
Vasudevan, Aravind

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
DOI (zitierfähiger Link)
https://doi.org/10.1109/WoWMoM.2011.5986386
ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung

Sammlungen

Politik- und Verwaltungswissenschaft: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published

Erschienen in

2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks. Piscataway, NJ: IEEE, 2011. ISBN 978-1-4577-0352-2. Available under: doi: 10.1109/WoWMoM.2011.5986386

Zusammenfassung

Wireless communication, hard real time requirements and safety criticality do not go together well. This paper reports on the modelling, design, simulation, implementation and deployment of a small exemplary case that possesses all these features. State-of-the-art verification and simulation means are employed to ensure its proper operation.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
004 Informatik

Schlagwörter

Konferenz

2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, 20. Juni 2011 - 24. Juni 2011, Lucca, Italy
Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690GRAF, Hernan Baro, Holger HERMANNS, Juhi KULSHRESTHA, Jens PETER, Anjo VAHLDIEK, Aravind VASUDEVAN, 2011. A verified wireless safety critical hard real-time design. 2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks. Lucca, Italy, 20. Juni 2011 - 24. Juni 2011. In: 2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks. Piscataway, NJ: IEEE, 2011. ISBN 978-1-4577-0352-2. Available under: doi: 10.1109/WoWMoM.2011.5986386
BibTex
@inproceedings{Graf2011verif-53943,
  year={2011},
  doi={10.1109/WoWMoM.2011.5986386},
  title={A verified wireless safety critical hard real-time design},
  isbn={978-1-4577-0352-2},
  publisher={IEEE},
  address={Piscataway, NJ},
  booktitle={2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks},
  author={Graf, Hernan Baro and Hermanns, Holger and Kulshrestha, Juhi and Peter, Jens and Vahldiek, Anjo and Vasudevan, Aravind}
}
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/53943">
    <dcterms:title>A verified wireless safety critical hard real-time design</dcterms:title>
    <dc:creator>Peter, Jens</dc:creator>
    <dc:creator>Vahldiek, Anjo</dc:creator>
    <dc:contributor>Peter, Jens</dc:contributor>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:contributor>Vahldiek, Anjo</dc:contributor>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/53943"/>
    <dc:creator>Vasudevan, Aravind</dc:creator>
    <dc:contributor>Kulshrestha, Juhi</dc:contributor>
    <dc:language>eng</dc:language>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-06-10T11:38:44Z</dc:date>
    <dcterms:issued>2011</dcterms:issued>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:creator>Kulshrestha, Juhi</dc:creator>
    <dcterms:abstract xml:lang="eng">Wireless communication, hard real time requirements and safety criticality do not go together well. This paper reports on the modelling, design, simulation, implementation and deployment of a small exemplary case that possesses all these features. State-of-the-art verification and simulation means are employed to ensure its proper operation.</dcterms:abstract>
    <dc:rights>terms-of-use</dc:rights>
    <dc:contributor>Hermanns, Holger</dc:contributor>
    <dc:creator>Hermanns, Holger</dc:creator>
    <dc:contributor>Graf, Hernan Baro</dc:contributor>
    <dc:creator>Graf, Hernan Baro</dc:creator>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:contributor>Vasudevan, Aravind</dc:contributor>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-06-10T11:38:44Z</dcterms:available>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/42"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/42"/>
  </rdf:Description>
</rdf:RDF>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Nein
Begutachtet
Diese Publikation teilen