mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Contract-Based Assurance for Wireless Cooperative Functions of Vehicular Systems
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0001-9589-6986
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-7382-8437
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-9347-1949
2017 (Engelska)Ingår i: IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2017, s. 8391-8396Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Cooperation of vehicular systems is the stepping stone towards both road and indoor smart transportation systems. It aims at increasing transportation efficiency and safety compared to the stand-alone vehicular systems. The usage of wireless communication as the foundation of such safety-critical cooperation needs to be embraced with all its benefits and flaws compared to the wired communication. The cooperative functions need to be designed to adapt to the varying reliability of the wireless communication channels such that both the stand-alone vehicles as well as the smart transportation system formed by their cooperation are deemed sufficiently safe. In this paper we build upon a contract-based runtime monitoring architecture and propose a methodology for assuring adaptive behaviour of transportation with respect to the wireless communication channel failures. More specifically, we elaborate how safety analysis of the interaction of the wirelessly connected vehicles can be used as the basis for derivation of the adaptive modes and the corresponding contracts. Furthermore, we discuss how such contracts can be used as the basis for assurance of the adaptive wireless cooperation. We illustrate the proposed methodology on a smart transportation system of a factory.

Ort, förlag, år, upplaga, sidor
2017. s. 8391-8396
Serie
IEEE Industrial Electronics Society, ISSN 1553-572X
Nationell ämneskategori
Datorsystem
Identifikatorer
URN: urn:nbn:se:mdh:diva-37330ISI: 000427164808041Scopus ID: 2-s2.0-85046657321ISBN: 978-1-5386-1127-2 (tryckt)OAI: oai:DiVA.org:mdh-37330DiVA, id: diva2:1161699
Konferens
43rd Annual Conference of the IEEE Industrial Electronics Society IECON 2017, 30 Oct 2017, Beijing, China
Projekt
Future factories in the CloudSafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless Communication
Forskningsfinansiär
EU, Horisont 2020, 692529 VinnovaTillgänglig från: 2017-11-30 Skapad: 2017-11-30 Senast uppdaterad: 2019-04-17Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Scopus

Personposter BETA

Girs, SvetlanaSljivo, IrfanJaradat, Omar

Sök vidare i DiVA

Av författaren/redaktören
Girs, SvetlanaSljivo, IrfanJaradat, Omar
Av organisationen
Inbyggda system
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 44 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf