COST Action TU1406: eBook of the 1st Workshop Meeting

COST Action TU1406 aims to address the European economic and societal needs by standardizing the condition assessment and maintenance level of roadway bridges. Currently, bridge quality control plans vary from country to country and, in some cases, within the same country. This therefore urges the establishment of a European guideline to surpass the lack of a standard methodology to assess bridge condition and to define quality control plans for roadway bridges. Such a guideline will comprise specific recommendations for assessing performance indicators as well as for the definition of performance goals, bringing together different stakeholders (e.g. universities, institutes, operators, consultants and owners) from various scientific disciplines (e.g. on-site testing, visual inspection, structural engineering, sustainability, etc.) in order to establish a common transnational language. COST Action TU1406 Workshops aim to facilitate the exchange of ideas and experiences between active researchers and practitioners as well as to stimulate discussions on new and emerging issues in line with the conference topics. This first Workshop essentially focuses on WG1 issues, namely, intends to address performance indicators, how these are assessed (e.g. visual inspection, nondestructive tests and monitoring systems), with what frequency and what values are generally obtained. The main outcomes, given in this eBook, were really important, not only for WG1 developments, but also for all the other WGs and for the Action itself.

Controlador com FPGA para um motor-in-wheel CA de fluxo axial

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e de Computadores

Modelling and verifying smell-free architectures with the Archery language

Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural description language. The language provides a core for modelling software architectures and an extension for specifying constraints. The approach consists in precisely specifying architectural smells as constraints, and then verifying that software architectures do not satisfy any of them. The constraint language is based on a propositional modal logic with recursion that includes: a converse operator for relations among architectural concepts, graded modalities for describing the cardinality in such relations, and nominals referencing architectural elements. Four architectural smells illustrate the approach.