A verified wireless safety critical hard real-time design

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

GRAF, 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. ISBN 978-1-4577-0352-2. Available under: doi: 10.1109/WoWMoM.2011.5986386

@inproceedings{Graf2011verif-53943, title={A verified wireless safety critical hard real-time design}, year={2011}, doi={10.1109/WoWMoM.2011.5986386}, isbn={978-1-4577-0352-2}, address={Piscataway, NJ}, publisher={IEEE}, 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 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/rdf/resource/123456789/53943"> <dc:contributor>Hermanns, Holger</dc:contributor> <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:contributor>Vasudevan, Aravind</dc:contributor> <dc:rights>terms-of-use</dc:rights> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/53943"/> <dcterms:title>A verified wireless safety critical hard real-time design</dcterms:title> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/42"/> <dc:creator>Vasudevan, Aravind</dc:creator> <dc:creator>Graf, Hernan Baro</dc:creator> <dc:creator>Kulshrestha, Juhi</dc:creator> <dc:contributor>Vahldiek, Anjo</dc:contributor> <dc:creator>Vahldiek, Anjo</dc:creator> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/42"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:contributor>Peter, Jens</dc:contributor> <dc:language>eng</dc:language> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:creator>Peter, Jens</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-06-10T11:38:44Z</dcterms:available> <dc:creator>Hermanns, Holger</dc:creator> <dcterms:issued>2011</dcterms:issued> <dc:contributor>Graf, Hernan Baro</dc:contributor> <dc:contributor>Kulshrestha, Juhi</dc:contributor> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-06-10T11:38:44Z</dc:date> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account