Formální komponentový model pro mobilní architektury

Disertační práce se zabývá modelováním komponentových systémů a formálním popisem jejich chování. Řešení je založeno na vlastním komponentovém modelu, který je popsán meta-modelem, z logického pohledu, a popisem v pi-kalkulu, z procesního pohledu. Je ukázáno, že komponentový model pokrývá dynamické aspekty softwarových architektur včetně mobility jejich komponent. Dále je popsán způsob modelování chování v architekturách orientovaných na služby a přechod ke komponentovým systémům. Chování konkrétní architektury orientované na služby lze pak vyjádřit jako jediný proces v pi-kalkulu. V závěru práce je navržené řešení ověřeno na případové studii prostředí pro testování kritických aplikací. Přínosem disertační práce je zejména zmíněná podpora dynamických architektur a integrace s architekturami orientovanými na služby.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.Katedra softwarového inženýrstvíDepartment of Software EngineeringFaculty of Mathematics and PhysicsMatematicko-fyzikální fakult

The effect of filling density on flammability and mechanical properties of 3D-printed carbon fiber-reinforced nylon

3D printing of reinforced polymeric materials, which provides products of excellent physical and mechanical properties, is at the forefront of interest in the field of additive technologies. To ensure material, time, and financial savings, 3D objects having reduced filling density are frequently prepared. The presented work aims to study the effect of different levels of filling density (18, 42, and 62% using a honeycomb filling pattern) in contrast to 100% solid fill of carbon fiber-reinforced polyamide 6.6 materials processed by Fused Filament Fabrication on their flammability and mechanical properties. Concurrently, the effect of a commercial flame retardant additive concerning the filling density was also evaluated. The flammability and mechanical properties of the 3D printed materials were evaluated according to cone calorimeter measurements, and tensile and bending tests, respectively. It was found that the reduction in the filling density led to a pronounced decrease in me chanical properties (of about 40–50% for tensile and bending stress) and also to the deterioration of flame resistance (of about 50–70% shorter burning time), with no unambiguous correlation with the respective filling density level used. If significant economic savings are preferred, 3D objects designed with low levels of filling density (18 or 42%) are advantageous to be manufactured from nylon stabilized with a flame retardant additive, resulting in acceptable fire-resistant properties.Web of Science120art. no. 10794

Formal-based Component Model with Support of Mobile Architecture

In this article, an approach to modelling of componentbased systems and formal description of their behaviour is proposed. It is based on a novel component model defined by a metamodel in a logical view and by description in the π-calculus in a process view. The model addresses dynamic aspects of software architectures including component mobility. Furthermore, a method of behavioural modelling of service-oriented architectures is proposed to pass smoothly from service to component level and to describe behaviour of a whole system as a single π-calculus process. The support of dynamic architecture and the integration with service-oriented architecture compromise the main advantages of the approach

Formal-based Component Model with Support of Mobile Architecture

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

A Case Study on Behavioural Modelling of Service-Oriented Architectures

Service-oriented architecture (SOA) is an architectural style for software systems ’ design, which merges well-established software engineering practices. There are several approaches to describe systems and services in SOA, the services’ derivation, mutual cooperation to perform specific tasks, composition, etc. In this article, we introduce a new approach to describe behaviour of services in SOA, including behaviour of underlying systems of components, which form the services’ implementation. The behavioural description uses the process algebra π-calculus and it is demonstrated on a case study of a service-oriented architecture for functional testing of complex safety-critical systems

Towards verification of systems of asynchronous concurrent processes

• Prˇíspěvek [1] získal na mezinárodní konferenci ISIM’06 ocenění „one of the best student papers“. Účast na projektech • Modelování architektur zalozˇeny´ch na sluzˇbách (rˇesˇitel)

[Photograph 2012.201.B1408.0551]

Photograph used for a story in the Oklahoma Times newspaper

Characterization of oxidation progress by chemiluminescence: A study of polyethylene with pro-oxidant additives

Měření neisotermální chemiluminiscence v dusíku isotermální meřeí v kyslíku byly použity pro vyhodnocení degradace preoxidovaného polyethylenu a to jednak čistého a jednak obahujícího Mn prooxidanty.Non-isothermal chemiluminescence measurements in nitrogen and isothermal measurements in oxygen were used for the evaluation of degradation in pre-oxidized polyethylene either pure or containing Mn-based pro-oxidant additives

Chemiluminescence from pre-oxidized ecoflex polymers

The chemiluminescence of UV irradiated aromatic-aliphatic polyesters Ecoflex was examined in nitrogen and oxygen atmosphere during non-isothermal temperature runs in the interval from 40° to 250°C. With prolongation of UV irradiation period, the character of hydroperoxides in the Ecoflex changed, and the less stable hydroperoxides predominated. The half times of hydroperoxide decomposition, estimated from chemiluminescence measurements at 58°C, were comparable with the mineralization times of the above polymers in composting biodegradation experiments, which may indicate the supporting role of UV light to the final conversion of polyesters to carbon dioxide in their biodegradation.P(ED2.1.00/03.0111), P(GAP108/10/0200),