WFRF:(Asplund Mikael 1981 )
Sökning: WFRF:(Asplund Mikael 1981 ) > Combining Detection...
Combining Detection and Verification for Secure Vehicular Cooperation Groups
-
- Asplund, Mikael, 1981- (författare)
- Linköpings universitet,Programvara och system,Tekniska fakulteten
- (creator_code:org_t)
- 2019-11-02
- 2020
- Engelska.
- Ingår i: ACM Transactions on Cyber-Physical Systems. - : ACM Press. - 2378-962X .- 2378-9638. ; 4:1, s. 1-31
- Tidskriftsartikel (refereegranskat)
Abstract
Ämnesord
Stäng
- Coordinated vehicles for intelligent traffic management are instances of cyber-physical systems with strict correctness requirements. A key building block for these systems is the ability to establish a group membership view that accurately captures the locations of all vehicles in a particular area of interest. In this article, we formally define view correctness in terms of soundness and completeness and establish theoretical bounds for the ability to verify view correctness. Moreover, we present an architecture for an online view detection and verification process that uses the information available locally to a vehicle. This architecture uses an SMT solver to automatically prove view correctness (if possible). We evaluate this architecture using both synthetic and trace-based scenarios and demonstrate that the ability to verify view correctness is on par with the ability to detect view violations.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
- ACM Transactions on Cyber-Physical Systems (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
Hitta mer i SwePub
- Av författaren/redakt...
- Asplund, Mikael, ...
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datavetenskap
- Artiklar i publikationen
- ACM Transactions ...
- Av lärosätet
- Linköpings universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
