A verified wireless safety critical hard real-time design

Kurzanzeige
dc.contributor.authorGraf, Hernan Baro
dc.contributor.authorHermanns, Holger
dc.contributor.authorKulshrestha, Juhi
dc.contributor.authorPeter, Jens
dc.contributor.authorVahldiek, Anjo
dc.contributor.authorVasudevan, Aravind
dc.date.accessioned2021-06-10T11:38:44Z
dc.date.available2021-06-10T11:38:44Z
dc.date.issued2011eng
dc.description.abstractWireless 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.eng
dc.description.versionpublishedde
dc.identifier.doi10.1109/WoWMoM.2011.5986386eng
dc.identifier.urihttps://kops.uni-konstanz.de/handle/123456789/53943
dc.language.isoengeng
dc.rightsterms-of-use
dc.rights.urihttps://rightsstatements.org/page/InC/1.0/
dc.subject.ddc004eng
dc.titleA verified wireless safety critical hard real-time designeng
dc.typeINPROCEEDINGSde
dspace.entity.typePublication
kops.citation.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}
}
kops.citation.iso690GRAF, 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.5986386deu
kops.citation.iso690GRAF, 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, Jun 20, 2011 - Jun 24, 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.5986386eng
kops.citation.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>
kops.conferencefield2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, 20. Juni 2011 - 24. Juni 2011, Lucca, Italydeu
kops.date.conferenceEnd2011-06-24eng
kops.date.conferenceStart2011-06-20eng
kops.flag.knbibliographyfalse
kops.location.conferenceLucca, Italyeng
kops.sourcefield<i>2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks</i>. Piscataway, NJ: IEEE, 2011. ISBN 978-1-4577-0352-2. Available under: doi: 10.1109/WoWMoM.2011.5986386deu
kops.sourcefield.plain2011 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.5986386deu
kops.sourcefield.plain2011 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.5986386eng
kops.title.conference2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networkseng
relation.isAuthorOfPublicatione0d8f9c4-d77a-441e-989d-9df5f9bb983a
relation.isAuthorOfPublication.latestForDiscoverye0d8f9c4-d77a-441e-989d-9df5f9bb983a
source.identifier.isbn978-1-4577-0352-2eng
source.publisherIEEEeng
source.publisher.locationPiscataway, NJeng
source.title2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networkseng

Dateien

Sammlungen

Politik- und Verwaltungswissenschaft: Publikationen