|
|
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.
|
|
|
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.
|
|
|
Device For Automatic Testing Of Ultrasonic Gas Leak Detector
Skryja, Petr
In this paper a device for automatic testing of the gas leak detector is presented. The device allows testing product which is an embedded device that is improved during a development. This requires testing the product after each implementation of a new feature, as there may be situations where this implementation will stop some part of the product from being functional. For realization mini PC Beaglebone Black was used and software architecture of this device is introduced.The presented device is able to do automatic testing that is more accurate and faster than human testing.
|
|
|
Generic Decentralized Self-Adaptive Context-Aware Architecture Model
Kazzaz, M. Mohanned ; Zimmerová, Barbora (referee) ; Vranić,, Valentino (referee) ; Zendulka, Jaroslav (advisor)
Vývoj v informačním systému neustále zvyšuje nároky na účinnou, efektivní a adaptivní spolupráci mezi komponenty systému, aby se vyrovnal se změnami v systému a zaručil tak nejlepší výkon. K dosažení těchto požadavků byly zavedeny dva hlavní přístupy. Přístup k adaptaci umožňuje informačnímu systému přizpůsobit se změnám v kontextu informací systému a jeho okolního prostředí na základě adaptační strategie. Přístup ke zvyšování informovanosti zase napomáhá sledovat informace o kontextu a rozpoznat změny, které mohou proces adaptace vyvolat. V této práci představujeme obecný kontextově orientovaný model vlastní adaptivní architektury pro podporu softwarového systému s adaptačními funkcemi, které zaručují dostupnost systému, provozní podmínky a výkon. Navíc poskytujeme dvě případové studie v reálném životě jako důkaz konceptu použitelnosti našeho navrhovaného adaptačního přístupu.
|
|
|
Analysis and Design of Know-How Management System in ICT Company
Pospíšil, Jiří ; Bartík, Vladimír (referee) ; Kreslíková, Jitka (advisor)
The thesis deals with a problem of the design of information system. The design of system is provided with Rational Unifeid Process methodology. This thesis creates a list of requests to system. It makes an analysis and a design of current information system. It useses a RUP methodology to realize two first phases, inception phase and elaboration phase. Created elaboration phase of document is a base for creating programming prototype in Ruby on Rails environment using Ruby language with combination of HTML code.
|
|
|
Software Architecture Comparison
Motyčka, Michal ; Polčák, Libor (referee) ; Pluskal, Jan (advisor)
The goal of this thesis is to compare software architectures to help the reader decide which architecture is the most suitable for their project. The thesis compares the Onion architecture, Anemic domain model architecture and Active record architecture. The architectures are compared based on their readability, extensibility, testability and the amount of knowledge neccesary to implement each architecture. It also offers the description of other well-known software architectures and the concepts which they use.
|
|
|
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.
|
|
|
Model-Driven Development of Software-Intensive Cyber-Physical Systems
Gerostathopoulos, Ilias ; Hnětynka, Petr (advisor) ; Seinturier, Lionel (referee) ; Crnkovic, Ivica (referee)
Software-Intensive Cyber-Physical Systems (siCPS) are modular, open-ended, networked, large-scale embedded Information and Communication Technology (ICT) systems that are increasingly depending on software. They need to be both dependable and flexible to adapt to changes in their dynamic environments. This combination poses challenges in their design and development, as traditional model-driven design and development techniques cannot account for both dependability and self-adaptivity. The thesis proposes (1) a new, model-based design process for siCPS, which comprises both appropriate methods and models and deals with dependability and self-adaptivity, and (2) a mapping of the design models to implementation-level abstractions, which allows for model-driven development and early experimentations in siCPS. Specifically, the thesis delivers (1) by introducing and elaborating on the Invariant Refinement Method (IRM), and its extension for self-adaptivity, for the design of siCPS based on the ensemble paradigm. IRM was integrated into the ensemble development life cycle, a methodology for the development of autonomic ensemble-based systems. Contributing to (2), the thesis provides a mapping of the IRM concepts to the concepts of the DEECo components model. The mapping is supported by prototype...
|
|
|
Application of Software Components in Operating System Design
Děcký, Martin ; Tůma, Petr (advisor) ; Döbel, Björn (referee) ; Sojka, Michal (referee)
This thesis describes the primary goal of the HelenOS microkernel multiserver operating system. The primary goal of the HelenOS project is to create a comprehensive research and development platform in the domain of general-purpose operating systems that would support state-of-the-art approaches and methods (such as verification of correctness) while at the same time focusing on practical relevance. The text of the thesis describes what specific means in terms of design (based on software components), implementation, development process and verification are used to achieve the primary goal. The thesis also evaluates the current state of HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
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...
|
guest ::
