Change search
ReferencesLink to record
Permanent link

Direct link
Definition, analysis and implementation of a model-checked Space Plug-and-play Architecture adaptation for the Controller Area Network
Mälardalen University, School of Innovation, Design and Engineering.
2014 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

The Virtual Network (VN) protocol is a communications protocol software compatible with the Space Plug-and-play Architecture (SPA). This Master Thesis defines a protocol that extends the Virtual Network protocol to cover communication over the Controller Area Network (CAN). The Virtual Network for the Controller Area Network (VN-CAN) is defined, modelled and verified using UPPAAL as well as implemented and tested while running on actual hardware.

The VN-CAN protocol enables components on the CAN network to communicate with other components both inside and outside of the CAN network, which together with the modularity of both the protocol and the implementation enables application level software to be agnostic of their physical position in the network.

The implementation enables components to automatically discover routes to other components on the VN network without the need for any prior knowledge about the network topology. A method for direct addressing, i.e. that two components on the CAN network can communicate directly without sending messages via a central router, has been added to the VN-CAN protocol in order to reduce traffic on the CAN network. UPPAAL modelling and verification of the VN-CAN protocol has been done to give a high level of confidence in the correctness of the protocol. Testing on actual hardware has shown that the protocol achieves the goals of address resolution, self addressing and transfer of VN messages over CAN.

Place, publisher, year, edition, pages
2014. , 80 p.
Keyword [en]
Space Plug-and-Play Architecture, SPA, UPPAAL, Ada, Ravenscar, Controller Area Network, CAN, Virtual Network protocol
National Category
Computer Systems
URN: urn:nbn:se:mdh:diva-26049OAI: diva2:752087
Available from: 2014-10-28 Created: 2014-10-02 Last updated: 2014-10-28Bibliographically approved

Open Access in DiVA

Master_Thesis_Nils_Brynedal_Ignell.pdf(1351 kB)136 downloads
File information
File name FULLTEXT01.pdfFile size 1351 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
School of Innovation, Design and Engineering
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 136 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 168 hits
ReferencesLink to record
Permanent link

Direct link