Detta examensarbete utfördes på Syntronics kontor i Linköping. De hade en idé om att göra en porttelefon med hjälp av ett kretskort som de själva utvecklat, Midrange-plattformen. Detta kretskort är till för att vara flexibelt och kunna användas till olika syften. De förutsättningar jag utgick ifrån var att fortsätta på ett annat projekt som hade undersökt möjligheterna till att koppla in en videokamera till Midrange-plattformen. Jag skulle således fortsätta med samma hårdvara som de valt ut och använt. Min uppgift var att utveckla en Android tablet-app samt ta fram ett protokoll för överföring av bilder/video från Midrange-plattformen till Androidappen. Resultatet blev en Androidapp och ett egendefinierat protokoll för överföring av bilder. Men då problem uppstod med användningen av den kamera som jag fick gjordes istället en simulerad version av Midrange-plattformen med inkopplad kamera.

As the number of Internet of Things devices is increasing rapidly, it is of utmost significance that the implementations of protocols for constrained devices are bug-free. In general implementations of network protocols are error-prone due to their complex nature and ambiguities in the protocol specification. Implementations of network protocols often contain critical errors which could be exploited. To avoid bugs and vulnerabilities, the implementation of network protocols has to adhere to their specifications. The objective of this thesis is to use symbolic execution to test one implementation of the Ephemeral Diffie-Hellman Over COSE (EDHOC) protocol and one implementation of the Constrained Application Protocol (CoAP) against their specifications. The goal is to identify bugs such as crashes, non-conformances, memory errors, and security vulnerabilities that may occur if the implementations are not adhering to their specifications. The methodology to do this consists of three steps: 1) extracting requirements from the protocols Request For Comments and expressing them as formulas, 2) preparing the system under test for symbolic execution and applying the formulas during symbolic execution to detect any paths that violate a requirement, 3) for every path which violates a requirement, the concrete value that the symbolic execution engine provided is used in the unmodified implementation to validate the bug. In total seven non-conformances were found which have been reported to developers. One non-conformance was found in the EDHOC implementation and six were found in the CoAP implementation. / Eftersom antalet Internet of Things enheter ökar snabbt är det av yttersta vikt att imple-menteringarna av nätverksprotokoll för Internet of Things enheter är korrekta. Generellt sett är implementeringar av nätverksprotokoll felbenägna på grund av deras komplexa natur och oklarheter i protokollspecifikationen. Implementeringar av nätverksprotokoll innehåller ofta kritiska buggar som kan utnyttjas. För att undvika buggar och sårbarheter måste implementeringar av nätverksprotokoll följa sina specifikationer. Målet med detta examensarbete är att använda symbolisk exekvering för att testa en implementation av protokollet Ephemeral Diffie-Hellman Over COSE ( EDHOC ) och en implementation av protokollet Constrained Application Protocol (CoAP) mot deras specifikationer. Syftet är att identifiera buggar såsom krascher, icke-konformiteter, minnesfel och säker-hetssårbarheter som kan uppstå om implementeringarna inte följer sina specifikationer. Metodiken för att uppnå detta består av tre steg: 1) extrahera krav från protokollensspecifikationer och uttrycka dem som formler, 2) förbereda systemet som ska testas försymbolisk exekvering och tillämpa formlerna under symbolisk exekvering för att upp-täcka eventuella vägar som bryter mot ett krav, 3) för varje väg som bryter mot ett krav används det konkreta värde som den symboliska exekveringsmotorn tillhandahåller i den oförändrade implementationen för att validera buggen. Totalt sett hittades sju icke-konformiteter. En icke-konformitet hittades i EDHOC implementeringen och sex hittades i CoAP implementeringen.

Using Emsuch [6] as a base this reports tries to find a solution to the problems that arise when trying to find survivors in collapsed buildings following an earthquake. Emsuch is a system that allows an user to retrieve information from the Home unit inside a house after an earthquake. But the results of the previous study [6] showed that the previous Emsuch is not very useful in disasters such as earthquakes. This is due to several reasons that were overlooked in that study such as electricity consumption and connectivity. So this study aims to improve the system by designing software that enables the user to quickly check each household that uses an Emsuch system. By using a case study and interviewing members of the Japanese Ground Self-Defence Forces a requirements document was created. From these requirements the system was designed to fulfil them all and then partly implemented and tested. The current prototype of the system has some major parts working, with a few parts non-functional or unimplemented. / Den här rapporten använder Emsuch-systemet [6] för att försöka lösa de problem som uppstår när armén letar efter överlevare i husmassor efter jordbävningar i Japan. Med Emsuch kan räddningsarbetarna hämta information från husen de går förbi under letandet. Under en tidigare studie [6] där grunden till systemet utvecklades identifierades flera punkter som leder till problem i de förhållanden som råder i de räddningsaktionerna. De två största utmaningarna är bristen på el och att infrastrukturen för kommunikation ofta är nere. Den här rapporten avser att utforma och implementera en lösning som gör att användarna i armén kan ansluta sig till varje enhet i förbifarten. Med en fallstudie som inkluderar en intervju med Japans markbaserade försvarsstyrkor i Sapporo togs ett kravdokument fram. Detta kravdokument användes som grund för implementeringen av systemet. En prototyp togs fram och testades delvis. Resultatet av testerna visade att Emsuch har potential för att användas i räddningsarbeten, men att det är flera delar som behövs fixas för att klara av verkliga situationer.