Modern real-time data-intensive systems generate large amounts of data that are processed using complex data-related computations such as data aggregation. In order to maintain the consistency of data, such computations must be both logically correct (producing correct and consistent results) and temporally correct (completing before specified deadlines). One solution to ensure logical and temporal correctness is to model these computations as transactions and manage them using a Real-Time Database Management System (RTDBMS). Ideally, depending on the particular system, the transactions are customized with the desired logical and temporal correctness properties, which are achieved by the customized RTDBMS with appropriate run-time mechanisms. However, developing such a data management solution with provided guarantees is not easy, partly due to inadequate support for systematic analysis during the design. Firstly, designers do not have means to identify the characteristics of the computations, especially data aggregation, and to reason about their implications. Design flaws might not be discovered, and thus they may be propagated to the implementation. Secondly, trade-off analysis of conflicting properties, such as conflicts between transaction isolation and temporal correctness, is mainly performed ad-hoc, which increases the risk of unpredictable behavior. In this thesis, we propose a systematic approach to develop transaction-based data management with data aggregation support for real-time systems. Our approach includes the following contributions: (i) a taxonomy of data aggregation, (ii) a process for customizing transaction models and RTDBMS, and (iii) a pattern-based method of modeling transactions in the timed automata framework, which we show how to verify with respect to transaction isolation and temporal correctness. Our proposed taxonomy of data aggregation processes helps in identifying their common and variable characteristics, based on which their implications can be reasoned about. Our proposed process allows designers to derive transaction models with desired properties for the data-related computations from system requirements, and decide the appropriate run-time mechanisms for the customized RTDBMS to achieve the desired properties. To perform systematic trade-off analysis between transaction isolation and temporal correctness specifically, we propose a method to create formal models of transactions with concurrency control, based on which the isolation and temporal correctness properties can be verified by model checking, using the UPPAAL tool. By applying the proposed approach to the development of an industrial demonstrator, we validate the applicability of our approach. / DAGGERS

Denna rapport behandlar frågor angående Storage Spaces Direct i Windows 2016:s server. Den tar upp hur man installerar en hyperkonvergerad lösning samt vilka konfigureringar som krävs för att kunna sätta upp funktionen. Två olika frågeställningar uppkom i början av projektet, dessa var: ”hur bra är Storage Spaces Direct?” samt ”går det att implementera funktionen på ett företag idag?”. Utförandet av projektet gjordes i ett samarbete med ett konsultföretag som heter TeamNorr och med deras hårdvara. Storage Spaces Direct är en funktion som fungerar bra och smidigt. Detta om man har rätt information, har nog med kunskap om funktionen samt gör ett grundligt och detaljerat förarbete. Två olika installationer av servrar jämförs, den ena är via desktop experience där man tar hjälp av Windows GUI och det andra är via en Powershellterminal. Båda kan användas vid installation av Storage Spaces Direct. Dessa två olika servrar har olika för- och nackdelar. Jag kom fram till att när man använder Powershell för att installera servrar och tillägg var det överlägset bäst och säkrast. Slutresultatet blev som förväntat. Storage Spaces Direct är det bästa sättet att spara information och köra redundans som finns i dagsläget. Storage Spaces Direct är både enklare använda och att underhålla samt mer kostnadseffektivt för företag. / This paper discusses questions about Storage Spaces Direct in Windows 2016 server. How to install a hyper converged solution and what to be careful about when installing it is a big part of the paper. During the papers time two major’s questions get answer on, “how good is Storage Spaces Direct?” and “is it possible and suitable to implement the function in a company at this stage?”. It was possible to do this project with the help of a company called TeamNorr and with the use of their hardware. Storage Spaces Direct is a function that works well and is in the front at the market today. This is if you have the correct information, have enough expertise about the function and does a thoroughly work before starting. Two different installations of the server will be compared, one with desktop experience and the other with the PowerShell solution. Both these ways can be used to install Storage Spaces Direct and they have different pros and cons. My results and personal opinion is that using PowerShell while installing is the optimized solution and it is the most secure. The result went as excepted and storage spaces direct is the best way to set up an IT environment and use at a company today. It is easy to use and maintain and is also more cost-efficient for companies.

No description available.

No description available.

No description available.

Idag är det allt fler företag som väljer molnlösningar framför ”on premise lösningar” därför det för många företag blir mer lönsamt än en traditionell lösning för IT-infrastrukturen. SharePoint Online (SPO) tillsammans med Microsoft Office 365 är ett sådant verktyg. Rapporten behandlar uppbyggnaden av en webbplattformslösning för det fiktiva företaget K800, SPO valdes eftersom SPO är en kollaborativ webbplattform med många olika användningsområden och funktioner som hjälper företag att samarbeta online. SPO har ett enkelt sätt att administrera konton och användare, man får gott om lagringsutrymme som kan utökas. Uppdateringarna sker per automatik och utan att en administratör behöver göra en fysisk insats. De anställda har också en accesspunkt oavsett var de befinner sig oberoende av vilken enhet de använder sig av, och företaget betalar bara för de licenser man använder sig av. I SPO så byggdes en gemensam webbplats upp för internt bruk där användarna kan använda sig av sidor och funktioner beroende på den behörighetsnivå de blivit tilldelade. SPO kan kännas svårt till en början, men tack vare all material på Internet så går det att lära sig själv. Det uppstod några problem och svårigheter på vägen men tack vare Microsofts många Supportteam och andra nämnda så kunde felen avhjälpas och det var möjligt att leverera en färdigutvecklad webbplattform till K800. / Cloud services has come to be a major part for both small and big companies because it can be a more profitable solution in comparison to similar traditional “on premise” IT-infrastructure. SharePoint Online (SPO) together with Microsoft Office 365 is a tool for such a solution. This report covers the creation of one of those web platform solutions for the fictive company K800. SPO was chosen because SPO is a collaborative platform with many different applications and functions that will help companies to work together online. SPO has an easy way of administrate accounts and users, you get lots of storage space that can be expanded. Updates are incorporated automatically without the help of an administrator. Employees have access from wherever they may be independent of what equipment they use, and you only pay for the licenses that you use. Within SPO a website was built for the company’s internal needs, where users can use different sites and functions depending on what limitations and authorization-level they have been given. SPO can be complicated for beginners, but thanks to all the material available online it’s possible to learn by yourself. However, there were some complications and difficulties along the way but thanks to Microsoft’s many different support teams and others mentioned the issues could be solved and a complete website collaboration platform to K800 was delivered.

Parking fines is one of the most common reasons for people being subjected to official testing today and in many cases this happens because the driver has difficulty detecting the parking sign. Roads are changing aswell as traffic signs are renewed or removed, and on previous parking where its been free to park a fee is now charged. Which results in misunderstandings and ambiguities in traffic. Today, there is still no easy-to-access information site where you can find such information about parking spaces or the rules that apply to the particular location on which you are located. Therefore, this application and associated database has been developed, named OK2PARK. The purpose of the application is to facilitate and streamline parking with drivers in whatever city they are. The application contains aids that counteract parking fines and, through a map view, the user can easily see where there are parking spaces in the area and where they are located. With a simple click the user gets the rules and a visual image of the parking sign belonging to the selected parking lot. The user can also choose to have a note on theirs phone about when the parking lot expires. The benefit of the project is to reduce parking fines and increase understanding of parking and parking spaces for drivers.

Denna rapports syfte är att med stöd i teori och praktisk kunskap utveckla en webbapplikation för att besvara den aktuella frågeställningen, ”Hur kan en e-butik för annonsplatser designas för att den ska anses trovärdig hos besökarna och vara användbar med avseende på navigerbarhet, innehållets relevans och läsbarhet?”. En litteraturstudie genomfördes och teori sammanställdes för att utgöra en grund för utvecklingen. Arbetsgången följde relevanta teorier och webbapplikationen byggdes med moderna tekniska lösningar. Den slutgiltiga produkten tillhandahåller relevanta funktioner och tillämpningar som sedan testades av ett antal externa testare varpå en enkätundersökning fick besvaras. Utifrån denna data kunde sedan slutsatsen dras att webbapplikationen uppfyllde de krav som ställts för att med grund i teori anses vara en användbar, navigerbar och trovärdig webbapplikation. Den ursprungliga frågeställningen kan således besvaras med denna rapports teori, metod och implementation. / The purpose of this report is to develop a web application to support the current issue, with the aid of theory and practical knowledge, "How should an e-store for ad slots be designed to gain confidence in the visitors and be useful with regard to navigability, relevance of content And readability?". A literature study was conducted and theory compiled to provide a basis for development. The process followed relevant theories and the web application was built with modern technological solutions. The final product provides relevant features and applications, which were then tested by a number of external testers, after which a survey could be answered. Based on this data, it could then be concluded that the web application complied with the requirements that are fundamentally considered to be a useful, navigable and credible web application. The original question can thus be answered with this report's theory, method and implementation.

With the emerging trend of smart IoT devices, providing and ensuring the privacy of the users'-devices interaction relationship is a must; risks such as identifying users' activities and detecting user behavior while at home or in the office. We present a new machine learning attack that exploits network patterns to detect the presence of smart IoT devices, and services generated by these devices in the Wi-Fi radio spectrum. This is considered a major problem when it comes to users' privacy since it allows malicious users to infer on the other users' activities. We perform an extensive measurement campaign for data collection. We build up a model describing the traffic patterns characterizing three popular IoT smart home devices, i.e., Google Nest, Google Chromecast, Amazon Echo, and Amazon Echo Dot. We prove that detecting and identifying with overwhelming probability the presence of the aforementioned devices in a crowded Wi-Fi scenario is possible. Finally, we introduce a mitigation technique to preserve the users' privacy in the network. This work proves that standard encryption techniques alone are not sufficient to protect the privacy of the end-user. In contrast, more work is required to prevent non-trusted third parties to detect and identify the users' devices.

Data Distribution Service (DDS) is a flexible, decentralized, peer-to-peer communication middle-ware. This thesis presents a performance analysis of using DDS in the Toyota Smartness platform that is used inside Toyota’s Autonomous Guided Vehicles (AGVs). The purpose of this thesis is to investigate if DDS is suitable for internal communication between the modules that reside within the Smartness platform.  Several different approaches of how to integrate DDS into the Smartness platform are explored, tests are carried out in regards to how increasing the number of interfaces affect the execution time and system utilization of these implementations. The results of these tests are presented in a multitude of ways to show the effects of DDS, this includes, results of how the performance scales, measurements of how the performance changes over time, and analytical results using linear regression.  Results show that DDS can be utilized in the future development of Smartness, but adds additional overhead to the system which negatively affects Smartness’ ability to keep up with the desired cycle time.