|
Automatic testing of gas leak detector
Skryja, Petr ; Malinowski, Radim (referee) ; Novák, Marek (advisor)
This work deals with the automatic testing of an ultrasonic gas leak detector, which has to be tested during normal changes in the development phase. The reader will be acquainted with the basic principles of gas detection, design of the test product, software architecture its implementation. The following is a presentation of the application and instructions for writing tests. In this work, the Beaglebone Black development board with the Debian operating system is used as the core of the entire test product.
|
|
Dynamic Software Architectures for Resilient Distributed Systems
Keznikl, Jaroslav ; Bureš, Tomáš (advisor) ; Becker, Steffen (referee) ; Loreti, Michele (referee)
Resilient Distributed Systems (RDS) are large-scale distributed systems that remain de-pendable despite their very dynamic, open-ended, and inherently unpredictable environ-ments. This combination of system and environment properties makes development of soft-ware architectures for RDS using contemporary architecture models and abstractions very challenging. Therefore, the thesis proposes: (1) new architecture abstractions that are tailored for building dynamic software architectures for RDS, (2) design models and processes that endorse these abstractions at design time, and (3) means for efficient implementation, execu-tion, and analysis of architectures based on these abstractions. Specifically, the thesis delivers (1) by introducing the DEECo component model, based on the concept of component ensembles. Contributing to (2), the thesis presents the Invari-ant Refinement Method, governing dependable, formally-grounded design of DEECo-based architectures, and the ARCAS method, focusing on dependable realization of open-ended dynamic component bindings typical for DEECo. Furthermore, it pursues (3) by presenting a formal operational semantics of DEECo and its mapping to Java in terms of an execution environment prototype - jDEECo. Additionally, the semantics is used as a basis for formal analysis via model...
|
|
Formal-based Component Model with Support of Mobile Architecture
Rychlý, Marek
In the thesis, we propose an approach to modelling of component-based systems and formal description of their behaviour. The approach is based on a novel component model defined by a metamodel in a logical view and by description in the pi-calculus in a process view. We show that the component model addresses the dynamic aspects of software architectures including the component mobility. Furthermore, we propose a method of behavioural modelling of service-oriented architectures to pass smoothly from service level to component level and to describe behaviour of a whole system, services and components, as a single pi-calculus process. Finally, we illustrate an application of our approach on a case study of an environment for functional testing of complex safety-critical systems. The support of dynamic architecture and the integration with service-oriented architecture compromise the main advantages of our approach.
|
|
Software architecture of open government
Kroupa, Tomáš ; Nečaský, Martin (advisor) ; Chlapek, Dušan (referee)
Public administration owns a large amount of information, whose value is not utilized yet. An application of Open Data and Linked Data principles could enable not only to effectively publish this information, but also to exploit the value. The aim of this thesis is to analyse contemporary situation, assess and debate the barriers and also suggest the solutions for application of the principles in the Public Administration of The Czech Republic.
|
| |
|
Application Framework for Information System Development in Dart
Raška, Miroslav ; Křivka, Zbyněk (referee) ; Rychlý, Marek (advisor)
Web applications development nowadays is experiencing specific difficulties in presentation layer that could be solved by a framework that combines modern technologies and novel framework approach. The difficulties are introduced, along with their solution in existing web frameworks. Novel, message-driven framework architecture, basic component structure and various framework extensions are analysed and outcomes and effects are discussed. Technical problems with implementation of generally analysed solutions in the Dart language are examined. The decisions and solutions are accompanied by their effects on real-world applications.
|
|
Self Learning System
Lukáš, Radek ; Solár, Peter (referee) ; Ruttkay, Ladislav (advisor)
Bachelor's thesis on the theme self learning system deal with problems self learning both in term of theoretic and practical. It explains principles of the human teaching and its efficient exploitation with the view to achievement better results with less exertion studying. Substantial part of bachelor's thesis is algorithm design respecting theoretic piece of knowledge and suitable for computer program fuelling self learning and practical implementation of web application containing articles, textbooks, chaps and cards from which student is able to set a test. Principle of application is based on self classification of student. Questions in test are iterative according to time and self classification. Application can help for quicker and superior mastered to learning.
|
|
Design and Analysis of System for Bus Lines
Lebeda, Martin ; Lukáš, Roman (referee) ; Fiala, Jiří (advisor)
The aim of this project was to create an Information system of bus transport. After further analysis it was certain, that this system will support tramway, trolley-bus and train transport as well. Essential part of the project is focused on software engineering, object-oriented application design. System is implemented in PHP with the support of MySQL database. Route searching engine will be using method of artificial intelligence.
|
|
Design and Analysis of Sport Information System
Stružka, Jaroslav ; Lukáš, Roman (referee) ; Fiala, Jiří (advisor)
This bachelor's thesis contains description fo analyze, design and futher implemantation of an information system. Information system is designed for evidence and publish scores of matches, group table, informations about teams, players and coaches, statistics of teams and players. Within the score system stores more detailed information about the game like number of viewers, authors of goals, number of cards, substitutions and times of theese actions. It stores informations about stadiums, where are the matches played. Part of the system is item of artificail intelligence, which links referees to the matches that should by played
|
|
Software Architecture
Horčic, Michal ; Buchalcevová, Alena (advisor) ; Mittner, Jan (referee)
Thesis is dealing with software architecture documentation. At the beginning it defines software architecture and its attributes, and then it defines software architecture documentation. Then it describes three methods of documentation. Views and Beyond method is described more thoroughly as in the last part there is a description of implementation of the method to the tool based on CMS Drupal.
|