This diploma thesis deals with the research of existing solutions of electronic information systems. The purpose of this survey is to inspire what is offered to users of these professional systems, or what users expect from these systems. Based on the acquired knowledge, the thesis also deals with the design of its own system, which can serve as another alternative to professional solutions of companies on the market, in the sense of the concept of solution of the given task. After the design of the system, the thesis deals chronologically with the selected "tools" used for the actual implementation of the assigned task Electronic Information Boards. Both hardware and software parts of the task, which form the majority of this thesis. At the end of the work are presented practical results.

This work deals with the collection of data from analog sensors, their storage and display using the Raspberry Pi microcomputer. In more detail it deals with selecting the appropriate analog-to-digital converter, selecting the appropriate storage and database server, web server and application to display the measured data.

This work deals with connecting remote devices measure data of various types from physical quantities such as a temperature, a humidity to data displaying CPU or memory usage of the system to the user. The system uses Blockly to controlling logic and dependencies between devices. In the work is used lots of technologies for examples: MQTT, Websockets, GSM, Lightweight Mesh and others. The system is based on microservice which named is Flask. Flask service is an application interface for HTTP services of Python programming language. This can provide measured data by graphs and predefined components for viewing data. For controlling system was used single-board computer Raspberry Pi with a multitouch 7-inch display.

Master thesis deals with concept and realization of wireless measuring system, powered by battery. The system consists of two main parts. First part, the node, is designed for the lowest possible power consumption. This is achieved mainly by usage of microcontroller from the STM32 family. Gathered information is transfered via RFM69 module. Second part, the gateway, is powered by Linux operating system on Raspberry Pi. Data from the gateway proxy are propagated through MQTT into Home Assistant, which interprets the results.

The thesis is about industrial automatic CIP protocol, which belongs to SCADA systems. The first part is focused on basic principles of CIP protocol and on analysis of two protocols (EtherNET/IP and DeviceNet), which are based on CIP protocol. The second part deals with designing scenarios for a simulation. The simulation of one-way communication, two-way communication with help of reads from the console and two-way real time communication between Raspberries PI 3B+. The third part deals with a realization of the simulation, a start-up and a function of predefined scenarios and graphic interface. The fourth part deals with analysis network communication in situations, which occur during a protocol EtherNet/IP simulation.

The aim of this master’s thesis was to create cooling unit which will became part of project Barman. Thesis describe process from definition of requirements, proposal, selection of components, PI and D diagram and in the last chapter the construction work. In the second part describe design of cooling unit’s model and simulation of cooling process. The last part of the thesis is describing software of the cooling unit and tis results.

Thesis is focused on the digital measurement of power consumption and distribution the measured results to the remote monitoring center over computer network. The appli- cation is designed for monitoring of active elements computers network.

This thesis is dedicated to the principles of a MP3 audio format decoding on available develpoment kits powered by ARM processors. It compares kit MCB2300 with LPC2378 microcontroller and kit Raspberry Pi with Debian operation system. The comparsion is focused on their suitability for MP3 decoder implementation. A complete design of support hardware modules, which complement the missing hardware of development kits is described in detail. Thesis includes the realization of an implementation of a MP3 decoder with additional visual effects in a form of an attached RGB LED strip developed on a Raspberry Pi development kit.

This thesis discusses the topic of internet of things and its protocols and compatible devices in the field of home automation. Also defines the requirements for the system which designs in the form of concept and afterward makes practical realization.

abstract: Computer science education is an increasingly vital area of study with various challenges that increase the difficulty level for new students resulting in higher attrition rates. As part of an effort to resolve this issue, a new visual programming language environment was developed for this research, the Visual IoT and Robotics Programming Language Environment (VIPLE). VIPLE is based on computational thinking and flowchart, which reduces the needs of memorization of detailed syntax in text-based programming languages. VIPLE has been used at Arizona State University (ASU) in multiple years and sections of FSE100 as well as in universities worldwide. Another major issue with teaching large programming classes is the potential lack of qualified teaching assistants to grade and offer insight to a student’s programs at a level beyond output analysis. In this dissertation, I propose a novel framework for performing semantic autograding, which analyzes student programs at a semantic level to help students learn with additional and systematic help. A general autograder is not practical for general programming languages, due to the flexibility of semantics. A practical autograder is possible in VIPLE, because of its simplified syntax and restricted options of semantics. The design of this autograder is based on the concept of theorem provers. To achieve this goal, I employ a modified version of Pi-Calculus to represent VIPLE programs and Hoare Logic to formalize program requirements. By building on the inference rules of Pi-Calculus and Hoare Logic, I am able to construct a theorem prover that can perform automated semantic analysis. Furthermore, building on this theorem prover enables me to develop a self-learning algorithm that can learn the conditions for a program’s correctness according to a given solution program. / Dissertation/Thesis / Doctoral Dissertation Computer Science 2020