Formal verification of a group membership protocol using model checking

The development of safety-critical embedded applications in domains such as automotive or avionics is an exceedingly challenging intellectual task. This task can, however, be significantly simplified through the use of middleware that offers specialized fault-tolerant services. This middleware must provide a high assurance level that it operates correctly. In this paper, we present a formal verification of a protocol for one such service, a Group Membership Service, using model checking. Through this verification we discovered that although the protocol specification is correct, a previously proposed implementation is not

Tingimento da poliamida 6.6 com corantes reactivos para lã e algodão após modificação superficial com descarga plasmátca de dupla barreira dieléctrica (DBD)

O tingimento de fibras de poliamida é muito comum com corantes ácidos; entretanto o uso de corantes reativos pode oferecer grandes oportunidades para o desenvolvimento de novos produtos com melhores propriedades como brilho, níveis de solidez,esgotamento, uma maior gama de cores, dentre outras. Tecidos de poliamida 6.6 foram tratados com diferentes dosagens de descarga plasmática obtidas em condições atmosféricas em um protótipo de descarga de dupla barreira SOFTAL/Universidade do Minho. Modificações químicas e físicas na poliamida foram avaliadas, nomeadamente alteração da energia superficial através da medição do ângulo de contato, caracterização da superfície química através da espectroscopia fotoeletrônica de raio X (XPS), foram avaliadas também a rugosidade e a modificação superficial pela microscopia de força atômica (AFM) e Microscopia Eletrônica de Varredura (SEM). Ótimos resultados foram obtidos para o tingimento com corantes reativos na poliamida após o tratamento plasmático, com a formação de ligações covalentes entre o corante e a fibra. Os efeitos químicos e físicos da descarga plasmática contribuíram para os excelentes resultados obtidos no rendimento e no nível de solidez conseguidos no processo de tingimento. Estes promissores resultados significam menos corantes nos efluentes, menos tempo para a realização do processo de tingimento, maior satisfação dos consumidores devido aos melhores níveis de solidez e a possibilidade de obter cores mais intensas com tingimentos com corantes reativos em poliamida

Tingimento da poliamida 6.6 com corantes reactivos para lã e algodão após modificação superficial com descarga plasmática de Dupla Barreira Dieléctrica (DBD)

O tingimento de fibras de poliamida é muito comum com corantes ácidos; entretanto o uso de corantes reativos pode oferecer grandes oportunidades para o desenvolvimento de novos produtos com melhores propriedades como brilho, níveis de solidez,esgotamento, uma maior gama de cores, dentre outras. Tecidos de poliamida 6.6 foram tratados com diferentes dosagens de descarga plasmática obtidas em condições atmosféricas em um protótipo de descarga de dupla barreira SOFTAL/Universidade do Minho. Modificações químicas e físicas na poliamida foram avaliadas, nomeadamente alteração da energia superficial através da medição do ângulo de contato, caracterização da superfície química através da espectroscopia fotoeletrônica de raio X (XPS), foram avaliadas também a rugosidade e a modificação superficial pela microscopia de força atômica (AFM) e Microscopia Eletrônica de Varredura (SEM). Ótimos resultados foram obtidos para o tingimento com corantes reativos na poliamida após o tratamento plasmático, com a formação de ligações covalentes entre o corante e a fibra. Os efeitos químicos e físicos da descarga plasmática contribuíram para os excelentes resultados obtidos no rendimento e no nível de solidez conseguidos no processo de tingimento. Estes promissores resultados significam menos corantes nos efluentes, menos tempo para a realização do processo de tingimento, maior satisfação dos consumidores devido aos melhores níveis de solidez e a possibilidade de obter cores mais intensas com tingimentos com corantes reativos em poliamida.Dyeing of polyamide fibers is very common with acid dyes; however the use of the reactive dyes can give the best opportunities for development the new products with the most desirable properties like brightness, paler colors, good exhaustion and washing fastness levels. Chemical and physical effects of plasmatic discharge both contribute to excellent results obtained in yield, leveling and fastness of reactive and acid dyeing. Polyamide 6.6 fabrics were treated with different dosages of plasmatic discharge obtained at atmospheric conditions in DBD prototype SOFTAL/University of Minho. Chemical and physical modifications in polyamide were evaluated, namely surface energy modification by contact angle measurement, chemical surface characterization by X-Photon Spectroscopy (XPS). Besides, were evaluated the roughness and surface changes by Atomic Force Microscopy (AFM) and Scanning Electronic Microscopy (SEM). These promising results mean less dyes in effluents, less time for dyeing processes, more consumer’s satisfaction regarding fastness of dyeing, the possibility to extend reactive dyeing to more intense colors in polyamid

Plasma technology applied in textile industry

Plasma technology applied to textiles is a dry, environmentally and worker friendly method to achieve surface alteration without modifying the bulk properties of different materials. In particular, atmospheric non-thermal plasmas are appropriate because most textile materials are heat sensitive polymers and applicable in a continuous processes. In the last years plasma technology has become a very active, high growth research field, assuming a great importance among all available material surface modifications in textile industry. The main objective of this work is to present an update on the current state of art relating plasma technologies applied to textile industry. The main effects obtained by the application of plasma discharge and all the textile production chain such as: desizing, mercerization, dyeing, printing, composite and finishing will be superficially discussed

Reuse of effluent from dyeing process of polyamide fibers modified by double barrier discharge (DBD) plasma

Published online: 27 Feb 2015Low-temperature plasma technology becomes more and more attractive compared with traditional wet processes in textile preparation and finishing due to its high efficiency and low environmental impact. The objective of this study was to investigate the influence of dielectric barrier discharge plasma treatment on the trichromic dyeing process of polyamide 6.6 (PA66) and the reuse of the generated effluents for new dyeing processes. Chemical and physical characterization of the plasma-treated polyamide fibers was studied by means of static and dynamic contact angle, X-ray photoelectron spectroscopy (XPS), scanning electron microscopy micrographs, and atomic force microscopy (AFM). Plasma treatment greatly increases the hydrophilicity and adhesion of PA66, due to the increase of polar groups and roughness on the fibers surface as confirmed by XPS and AFM. The kinetics of dyeing is quicker but leveled with high rubbing, light, and washing fastness quality. The reuse of the effluent obtained after dyeing of the plasma-treated fabrics showed excellent results of reproducibility, uniformity, and washing fastness. It was possible to reproduce the standard color for three dyeing cycles using the same effluent reducing the effluent load with a significant diminution in costs and environmental impact.Andrea Zille (C2011- UMINHO-2C2T-01) acknowledges funding from Programa Compromisso para a Ciencia 2008, Portugal

Bacterial Nanocellulose composites for the textile and leather industries

The tannery industry faces several challenges associated with high environmental impact, scarcity of raw materials and increasing consumer demand for environmentally friendly products. The worldwide production of leather is approximately 20 billion square feet per year (1). To produce one ton of leather 6.7 tons of raw skin are processed (2) an 57,000 liters of water (3) and 3.35 tons of chemicals (4) are needed. Worldwide, for bovine skin, 370 billion litres of water are consumed annually, generating 6.5 million tons of solid waste. The development of leather analogues has thus long been pursued, leading to the appearance of various materials, some synthetic, other natural. Despite the increasing interest and market pull, the market penetration of these alternative products has been relatively modest, due to high production costs, low breathability, high stiffness, accelerated discoloration, among other limitations. Also, recent market trends towards the identification of natural non-cotton derived textiles are emerging. This research intends to contribute to the reduction of the animal hide dependency by the development of composites from bacterial nanocellulose (BNC) as structural material and activated vegetable oils and other hydrophobic polymers, as a flexibilizing, mechanical reinforcing and hydrophobizing agents. The newly developed strategy here presented, based on BNC, aims at meeting the market pull from both the shoe and textiles industries regarding the need for new high-performance natural materials. A novel approach was tested for the bulk and surface modification of BC, combining simplicity, potential for application at large scale and low cost, based on the use of an exhaustion process. Through this process, hydrophobic polymers could be incorporated into the nanofibrillar matrix of BNC, aiming at obtaining a malleable, breathable and water impermeable nanocomposites. This presentation will summarize the main results on the preparation of BC-based composites featuring promising properties for application in the textile and shoe industries (5).info:eu-repo/semantics/publishedVersio

Application of bacterial cellulose in the textile and shoe industry: development of biocomposites

Several studies report the potential of bacterial cellulose (BC) in the fashion and leather industries. This work aimed at the development of BC-based composites containing emulsified acrylated epoxidized soybean oil (AESO) that are polymerized with the redox initiator system hydrogen peroxide (H2O2) and L-ascorbic acid and ferrous sulfate as a catalyst. BC was fermented under static culture. The polymerization of the emulsified organic droplets was tested before and after their incorporation into BC by exhaustion. The composites were then finished with an antimicrobial agent (benzalkonium chloride) and dyed. The obtained composites were characterized in terms of wettability, water vapor permeability (WVP), mechanical, thermal and antimicrobial properties. When AESO emulsion was polymerized prior to the exhaustion process, the obtained composites showed higher WVP, tensile strength and thermal stability. Meanwhile, post-exhaustion polymerized AESO conferred the composite higher hydrophobicity and elongation. The composites finished with the antimicrobial agent showed activity against S. aureus. Finally, intense colors were obtained more uniformly when they were incorporated simultaneously with the emulsified AESO with all the dyes tested.FEDER funds through the Operational Competitiveness Program—COMPETE and by National Funds through Fundação para a Ciência e Tecnologia (FCT) under the project POCI-01-0145-FEDER-007136 and UID/CTM/00264/2019 and by the Portuguese Foundation for Science and Technology (FCT) under the scope of the strategic funding of UIDB/04469/2020 unit.info:eu-repo/semantics/publishedVersio

A DBD plasma machine in textile wet processing

The conception of new processes for preparation, dyeing and printing of high quality textile products is presented for a brand new technological solution involving a DBD plasmatic discharge in substrates with cellulosic basis. Developments for the machine design and its implementation in production context are discussed. Results in semi-industrial and industrial prototypes are presented giving wide overview for advantages and benefits achieved in fields such as the shortening and preparation steps, the possibility of close combination of preparation and dyeing operations, the elimination of tensioactives in mercerization of the increase in efficiency of finishing agents and extension of durability of effects. High performance finishing and the use of high technology for the improvement and durability of functional properties obtained in natural textiles are proved to be a great contribution to developments in quality, economy and ecology of textile processes. Textile products with a very high added value, able to answer to the existing or coming exigencies of the market, produced by technologies promoting sustainability, can be regarded as a key point to win a future for textile industry

Improvement of durable properties of surgical textiles using plasma treatment

Nowadays one of the important plasmas used in textile industry is Corona discharge, which is applied in air at atmospheric pressure. Corona offers many advantages such as low production costs mainly due to effective energy utilization and minimum waste materials. In this study, the main focus is to use Corona plasma to produce reusable surgical fabrics with durable properties and using chemical agents at low concentrations. Therefore a new more economic production process of surgical fabric will be offered to textile industry. In order to evaluate the effect of Corona discharge on liquid repellent finishing durability, surface energy was determined by using dynamic contact angle measurement of fabrics treated and non-treated with Corona then finished with products based on fluorocarbons after successive washings. Results showed that Corona increases, significantly, durability of finishing on the fabric. After five washings at 60 ºC, samples pre-treated with Corona at low power levels and finished at lower concentrations preserved their water repellent properties while samples non-treated with Corona and finished with high concentrations lost their affects. To study water resistance, Impact Penetration Test was applied to determine water repellency before and after several washings. The fabrics pre-treated with Corona, after twenty washings, had better effect than samples non-treated after five washings. All results show that Corona improves performance and durability of finishing products. In addition, the fabrics treated and non-treated with Corona and finished by nano-size silver product were analysed before and after washings to determine the effect of Corona on durability of antibacterial finishing

Mixed-Criticality Scheduling with Dynamic Redistribution of Shared Cache

The design of mixed-criticality systems often involves painful tradeoffs between safety guarantees and performance. However, the use of more detailed architectural models in the design and analysis of scheduling arrangements for mixed-criticality systems can provide greater confidence in the analysis, but also opportunities for better performance. Motivated by this view, we propose an extension of Vestal\u27s model for mixed-criticality multicore systems that (i) accounts for the per-task partitioning of the last-level cache and (ii) supports the dynamic reassignment, for better schedulability, of cache portions initially reserved for lower-criticality tasks to the higher-criticality tasks, when the system switches to high-criticality mode. To this model, we apply partitioned EDF scheduling with Ekberg and Yi\u27s deadline-scaling technique. Our schedulability analysis and scalefactor calculation is cognisant of the cache resources assigned to each task, by using WCET estimates that take into account these resources. It is hence able to leverage the dynamic reconfiguration of the cache partitioning, at mode change, for better performance, in terms of provable schedulability. We also propose heuristics for partitioning the cache in low- and high-criticality mode, that promote schedulability. Our experiments with synthetic task sets, indicate tangible improvements in schedulability compared to a baseline cache-aware arrangement where there is no redistribution of cache resources from low- to high-criticality tasks in the event of a mode change