The work deals with a design and realization of the comprehensive system of home automation. Individual elements of the system communicate utilizing CAN bus. Home automation system should provide lighting, heating and security management. The system should be controlled by tablets with android operating system utilizing developed control software. Microcomputer Raspberry Pi is used to control the automation system.

With the development of autonomous vehicles, more and more technology is introduced into the automotive industry. Ethernet has found its way into the vehicle network, and it is forced to coexist with the well-established CAN bus. In terms of data acquisition, the presence of a mixed network brings challenges with significant changes in network architecture. This thesis explores CAN-Ethernet gateways as a replacement for the PCIe bus CAN transceivers utilized in today's logging systems, with the purpose to improve the adaptability of the autonomous logging system. A CAN-Ethernet gateway was implemented using Kvaser's DIN Rail SE400S-X10in an experimental comparison against the PCIe logging solution, including both classical CAN and CAN FD communication. In addition, a case study on the benefits and drawbacks with implementing an Ethernet architecture was performed, utilizing semi-structured interviews. It was concluded that a CAN-Ethernet gateway provides a robust solution in relation to data loss. Throughout the tests, the message loss rate was 0% for both logging solutions. However, CAN-Ethernetlogging introduced additional delay into the system. For the tests on a truck simulation rig the mean additional delay from a CAN-Ethernet gateway, compared to the existing PCIe-CAN logging, was 2 ms. Moreover, some spikes occurred and in a number of cases it could be up to 6 ms in additional delay compared to the existing PCIe logging. It was also proven difficult to time synchronize the gateway with the autonomous logging system, and unknown delays had an impact. Relevant metrics were obtained from relative measurements of side-by-side logging between the PCIe and CAN-Ethernet communication. The standard deviation and fluctuation of the delay were relevant metrics, since smaller fluctuations made the delay more predictable and real-time compatible. A CAN-Ethernet deployment may create a more complex architecture in general, and as of now has limitations for real-time systems. On the other hand, it may offer significant possibilities in future development of a more adaptable and scalable logging system. / Med utvecklingen av autonoma fordon har mer och mer teknologi introducerats inom fordonsindustrin. Ethernet har funnit sin väg in i fordonsnätverket och tvingas existera sida vid sida med den väletablerade CAN-bussen. För dataloggning orsakar närvaron av ett blandat nätverk (med både CAN och Ethernet) utmaningar i samband med stora förändringar inom nätverksarkitektur. Det här examensarbetet utforskar nätslussar för CAN-Ethernet som en ersättare till PCIe-bussens CAN-sändtagare som används i dagens loggningssystem. En CAN-Ethernet-nätsluss implementerades genom att använda Kvasers DIN Rail SE400S-X10 i en experimentell jämförelse med PCIe-loggningssystemet, och inkluderade både klassisk CAN samt CAN FD kommunikation. I tillägg gjordes en fallstudie om fördelar och nackdelar med att implementera en Ethernet-arkitektur,vilken grundades på semi-strukturerade intervjuer. Slutsatsen var att CAN-Ethernet-nätslussar tillhandahåller en robust lösning i förhållande till dataförlust. Under alla testerna var meddelandeförlusten 0% hos båda loggningsmetoderna. Däremot introducerade CAN-Ethernet-loggning en ökad fördröjning till systemet. För testerna på lastbilsriggsimulatorn var fördröjningen 2 ms jämfört med PCIe-CAN-loggningen. Dessutom förekom spikar i fördröjningen och i vissa fall resulterade fördröjningen i upp mot 6 ms, jämfört mot den befintliga PCIe-loggningen. Det visade sig även vara svårt att tidssynkronisera nätslussen med det autonoma loggningssystemet och okända fördröjningar hade en inverkan. Relevanta mått erhölls från relativa mätningar av jämsides loggning mellan PCIe och CAN-Ethernet kommunikation. Standardavvikelsen och fluktuation av fördröjningen var relevanta mått eftersom mindre fluktuationer resulterade i en mer förutsägbar samt realtidskompatibel fördröjning. Användningen av CAN-Ethernet kan, i allmänhet, resultera i en mer avancerad arkitektur och har i dagsläget begränsningar inom realtidssystem. Å andra sidan kan CAN-Ethernet erbjuda markanta möjligheter inom framtida utveckling av ett mer modulärt och skalbart loggningssystem.

Model checking is used to aid in the design and verification of complex concurrent systems. An abstracted finite state model of a system and a set of mathematically based correctness properties based on the design specifications are defined. The model checker then performs an exhaustive state space search of the model, checking that the correctness properties hold at each step. This thesis describes how the SPIN model checker has been used to find and correct problems in the software design of a distributed marine vessel control system currently under development at a control systems specialist in New Zealand. The system under development is a mission critical control system used on large marine vessels. Hence, the requirement to study its architecture and verify the implementation of the system. The model checking work reported here focused on analysing the implementation of the Time-Triggered Controller-Area-Network (TTCAN) protocol, as this is used as the backbone for communications between devices and thus is a crucial part of their control system. A model of the ISO TTCAN protocol has been created using the SPIN model checker. This was based on work previously done by Leen and Heffernan modelling the protocol with the UPPAAL model checker [Leen and Heffernan 2002a]. In the process of building the ISO TTCAN model, a set of general techniques were developed for model checking TTCAN-like protocols. The techniques developed include modelling the progression of time efficiently in SPIN, TTCAN message transmission, TTCAN error handling, and CAN bus arbitration. These techniques then form the basis of a set of models developed to check the sponsoring organisation’s implementation of TTCAN as well as the fault tolerance schemes added to the system. Descriptions of the models and properties developed to check the correctness of the TTCAN implementation are given, and verification results are presented and discussed. This application of model checking to an industrial design problem has been successful in identifying a number of potential issues early in the design phase. In cases where problems are identified, the sequences of events leading to the problems are described, and potential solutions are suggested and modelled to check their effect of the system.

Since the mid 90's computer communication has become more and more common in cars and other auto mobiles. CAN based networks with sensors transmitting small data packets are utilized in the automotive industry to operate and supervise vehicles' functionality. To ease communication several higher layer protocols for CAN based networks have been developed. In some applications it is necessary to exchange information between networks using different protocols, and by connecting the two networks to a gateway, the information is translated and forwarded and intercommunication is enabled. This master thesis is conducted at Torqeedo GmbH, Munich. Theme of the thesis was “Designing and Development of a Data Logging and Monitoring Tool”. Term “data logging” refers to the gathering or collection of specific data over a period of time. Monitoring means evaluate the data we are logging. Tools for data logging and monitoring are used in variant application these days. In medical, in-vehicle data logging and environment monitoring. This data could be voltage, current temperature, Time stump, heartbeat of the patient, vehicle fuel level etc. To capture and log data various communication channels used. Such channel varies from simple data cable to satellite link. There are variant protocols used for different communication channels. For our DBHS logging and monitoring tool we are using CANopen protocol. Main goal of this thesis is to develop a tool which can make debugging easy and log connection box data so we can use logged data later on for offline data analysis and simulation purposes.

Thesis (M. Phil.)--University of Hong Kong, 2007. / Title proper from title frame. Also available in printed format.

<p>På uppdrag av innovationsföretaget EmpirBus AB skulle en produkt utvecklas. Projektet innefattade utvecklingsprocessen ända ifrån ide till slutprodukt. Syftet var att utveckla ett gränssnitt för kommunikation mellan CAN-bus och USB/PS2 eller RS232. Gränssnittet sammankopplas med ett CAN-bussbaserat elsystem för marina installationer. Produktens uppgift var att utföra bildskärmsväxlingar på informationsskärmar ombord på fartyg. Genom att sända ett kommando till en bildskärmsväxel innehållande information om till vilken bild som skall växlas fram. Projektet gick enligt plan och en färdig produkt blev slutresultatet, benämnd UPS-B Ver. 1.0.</p>

På uppdrag av innovationsföretaget EmpirBus AB skulle en produkt utvecklas. Projektet innefattade utvecklingsprocessen ända ifrån ide till slutprodukt. Syftet var att utveckla ett gränssnitt för kommunikation mellan CAN-bus och USB/PS2 eller RS232. Gränssnittet sammankopplas med ett CAN-bussbaserat elsystem för marina installationer. Produktens uppgift var att utföra bildskärmsväxlingar på informationsskärmar ombord på fartyg. Genom att sända ett kommando till en bildskärmsväxel innehållande information om till vilken bild som skall växlas fram. Projektet gick enligt plan och en färdig produkt blev slutresultatet, benämnd UPS-B Ver. 1.0.

The University of Canterbury has purchased a 1992 Toyota MR2 and used it as the platform to construct a new electric car. Similar to the common combustion engine vehicle, electric vehicles require control systems to control the operation of 12Vdc auxiliary loads, such as lights, indicators and windscreen wipers, where traditional technology results in a large number of wires in the wiring harness. Also, with the added complexity of modern vehicles, the need for integrating independent control systems together has become very important in providing safer and more efficient vehicles. To reduce the number of wires and make it possible for different control systems to communicate, and so perform more complex tasks, a flexible and reliable control system is used. The CAN (Controller Area Network) control system is a simple two-wire differential serial bus system, which was developed by Bosch for automotive applications in the early 1980s. The power and control system within the vehicle is named the "Power Distribution Network" and it is implemented by using multiple power converters and the CAN control system. This thesis presents the design, implementation, and test results of the CAN control system for the MR2. The 312Vdc nominal battery voltage is converted to an intermediate voltage of 48Vdc. This configuration is considered more efficient than the usual 12Vdc distribution system since smaller and lighter wires can be used to carry the same amount of power. The power distribution network operates off the 48Vdc intermediate voltage, and provides 12Vdc output to power all auxiliaries within the vehicle. The Power Distribution Network is implemented with two major subsystems: the auxiliary power system, which consists of multiple converters to step-down voltage from the 48Vdc intermediate voltage to the 12Vdc, and the CAN control system, which is developed to control and integrate the 12Vdc auxiliary loads within the vehicle. The prototype CAN control system is fully operational and has been tested with 12Vdc loads which are used to simulate most of the auxiliary loads in the vehicle. Experimental measurements show that the prototype is able to successfully control and maintain the network of independent nodes. This confirms that in principle the CAN control system is suitable for controlling the auxiliary loads in an electric vehicle.

Stuttgart, Univ., Fakultät Informatik, Diplomarb., 1998.

Thesis (M. Phil.)--University of Hong Kong, 2007. / Also available online.