|
|
Car Door Handle FEM Model Creation and Validation for Crash Simulations
Raffai, Peter ; Korouš, Jan (referee) ; Ramík, Pavel (advisor)
The aim of this master’s thesis was to create a component model of a door handle stiffener used by the Volkswagen concern, which can be used for crash computations. Also to tune its parameters the way, its behavior corresponds the most to the real part’s. In the theoretical part the current regulations of the Euro NCAP are presented, concerning the testing and evaluation of the passive safety of new vehicles. Attention is focused on the evaluation of the side impact barrier tests, where the effect of the door handle stiffener’s damage is reflected the most. Shown are the reasons for the effort to simulate the real behavior of the stiffener, the factors, which initialized the born of the studied problem. The practical part starts with the creation of the FEM mesh of the part based on its 3D CAD model, also describes the requirements for the mesh quality, as well as the used tools and methods. Further on investigated are the characters of real damages of the door handle area during side impacts, based on which the component tests are proposed for the validation of the simulation model. Experimental research consists of the stiffener’s testing for simple bend and twist loads, three specimens each. After the execution of the tests the results get compared with the corresponding simulations. Modifications are made on the model according to the acquired results: refinement of the FEM mesh, new material model usage with failure for shell elements and definition of real material characteristics for the used thermoplastics. The latest obtained simulation dependencies are compared with the measured values again, the results are evaluated at last.
|
|
|
Implementation of the DEECo component framework for embedded systems
Matěna, Vladimír ; Bureš, Tomáš (advisor) ; Bednárek, David (referee)
Recent development in the field of distributed and decentralized cyber-physical systems led to emerge of DEECo model. As many DEECo use cases are embedded applications it is interesting to evaluate DEECo on embedded hardware. Currently there is only reference DEECo implementation which is written in Java thus cannot be used for embedded applications. As part of this thesis C++ DEECo mapping and embedded CDEECo++ framework were designed using FreeRTOS operating system for task scheduling and synchronization. An example application designed for the STM32F4 board demonstrates usability of the framework. This thesis contains description of the DEECo mapping into the C++ language, source codes of the CDEECo++ framework, documentation and example application including basic measurement of its real- time properties. Powered by TCPDF (www.tcpdf.org)
|
|
|
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.
|
|
|
Implementation of the DEECo component framework for embedded systems
Matěna, Vladimír ; Bureš, Tomáš (advisor)
Recent development in the field of distributed and decentralized cyber-physical systems led to emerge of DEECo model. As many DEECo use cases are embedded applications it is interesting to evaluate DEECo on embedded hardware. Currently there is only reference DEECo implementation which is written in Java thus cannot be used for embedded applications. As part of this thesis C++ DEECo mapping and embedded CDEECo++ framework were designed using FreeRTOS operating system for task scheduling and synchronization. An example application designed for the STM32F4 board demonstrates usability of the framework. This thesis contains description of the DEECo mapping into the C++ language, source codes of the CDEECo++ framework, documentation and example application including basic measurement of its real- time properties. Powered by TCPDF (www.tcpdf.org)
|
|
|
Implementation of the DEECo component framework for embedded systems
Matěna, Vladimír ; Bureš, Tomáš (advisor)
Recent development in the field of distributed and decentralized cyber-physical systems led to emerge of DEECo model. As many DEECo use cases are embedded applications it is interesting to evaluate DEECo on embedded hardware. Currently there is only reference DEECo implementation which is written in Java thus cannot be used for embedded applications. As part of this thesis C++ DEECo mapping and embedded CDEECo++ framework were designed using FreeRTOS operating system for task scheduling and synchronization. An example application designed for the STM32F4 board demonstrates usability of the framework. This thesis contains description of the DEECo mapping into the C++ language, source codes of the CDEECo++ framework, documentation and example application including basic measurement of its real- time properties. Powered by TCPDF (www.tcpdf.org)
|
|
|
Implementation of the DEECo component framework for embedded systems
Matěna, Vladimír ; Bureš, Tomáš (advisor) ; Bednárek, David (referee)
Recent development in the field of distributed and decentralized cyber-physical systems led to emerge of DEECo model. As many DEECo use cases are embedded applications it is interesting to evaluate DEECo on embedded hardware. Currently there is only reference DEECo implementation which is written in Java thus cannot be used for embedded applications. As part of this thesis C++ DEECo mapping and embedded CDEECo++ framework were designed using FreeRTOS operating system for task scheduling and synchronization. An example application designed for the STM32F4 board demonstrates usability of the framework. This thesis contains description of the DEECo mapping into the C++ language, source codes of the CDEECo++ framework, documentation and example application including basic measurement of its real- time properties. 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...
|
|
|
Reification of the DEECo component model and its application in virtual-world simulations
Forch, Jan ; Bureš, Tomáš (advisor) ; Gemrot, Jakub (referee)
In the domain of dynamically evolving distributed systems composed of autonomous and (self-) adaptive components, the task of systematically managing the design complexity of their communication and composition is a pressing issue. This stems from the dynamic nature of such systems, where components and their bindings may appear and disappear without anticipation. As one way of addressing the challenge, [15] proposes a new component model (called DEECo), which features separation of concerns via a mechanism of dynamic implicit bindings with implicit communication. This leads to introduction of autonomous components and their dynamic interaction groups (called ensembles). The goal of the thesis is to reify the DEECo concepts and paradigms in a Java-based implementation connected to a simulation of a virtual world. As such, the thesis should provide a platform for experimentation with DEECo-based applications.
|
|
|
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.
|
|
|
Car Door Handle FEM Model Creation and Validation for Crash Simulations
Raffai, Peter ; Korouš, Jan (referee) ; Ramík, Pavel (advisor)
The aim of this master’s thesis was to create a component model of a door handle stiffener used by the Volkswagen concern, which can be used for crash computations. Also to tune its parameters the way, its behavior corresponds the most to the real part’s. In the theoretical part the current regulations of the Euro NCAP are presented, concerning the testing and evaluation of the passive safety of new vehicles. Attention is focused on the evaluation of the side impact barrier tests, where the effect of the door handle stiffener’s damage is reflected the most. Shown are the reasons for the effort to simulate the real behavior of the stiffener, the factors, which initialized the born of the studied problem. The practical part starts with the creation of the FEM mesh of the part based on its 3D CAD model, also describes the requirements for the mesh quality, as well as the used tools and methods. Further on investigated are the characters of real damages of the door handle area during side impacts, based on which the component tests are proposed for the validation of the simulation model. Experimental research consists of the stiffener’s testing for simple bend and twist loads, three specimens each. After the execution of the tests the results get compared with the corresponding simulations. Modifications are made on the model according to the acquired results: refinement of the FEM mesh, new material model usage with failure for shell elements and definition of real material characteristics for the used thermoplastics. The latest obtained simulation dependencies are compared with the measured values again, the results are evaluated at last.
|
guest ::
