A Unified Approach to Automatic Testing of Architectural Constraints

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

Managing cartographic and architectural records.

Cover title: Managing cartographic, aerial photographic, architectural, and engineering records.

Engineering Building, For the University of Michigan

Photographic print of architectural drawing. Mason & Kahn, architects. On verso: Copied from Michigan Technic of 1902. Gift, Rare Book Room, Mrs. Camilla B. Green, 11-23-35

KEMNAD:a knowledge engineering methodology for negotiating agent development

Automated negotiation is widely applied in various domains. However, the development of such systems is a complex knowledge and software engineering task. So, a methodology there will be helpful. Unfortunately, none of existing methodologies can offer sufficient, detailed support for such system development. To remove this limitation, this paper develops a new methodology made up of: (1) a generic framework (architectural pattern) for the main task, and (2) a library of modular and reusable design pattern (templates) of subtasks. Thus, it is much easier to build a negotiating agent by assembling these standardised components rather than reinventing the wheel each time. Moreover, since these patterns are identified from a wide variety of existing negotiating agents (especially high impact ones), they can also improve the quality of the final systems developed. In addition, our methodology reveals what types of domain knowledge need to be input into the negotiating agents. This in turn provides a basis for developing techniques to acquire the domain knowledge from human users. This is important because negotiation agents act faithfully on the behalf of their human users and thus the relevant domain knowledge must be acquired from the human users. Finally, our methodology is validated with one high impact system.

The handbook of engineering self-aware and self-expressive systems

When faced with the task of designing and implementing a new self-aware and self-expressive computing system, researchers and practitioners need a set of guidelines on how to use the concepts and foundations developed in the Engineering Proprioception in Computing Systems (EPiCS) project. This report provides such guidelines on how to design self-aware and self-expressive computing systems in a principled way. We have documented different categories of self-awareness and self-expression level using architectural patterns. We have also documented common architectural primitives, their possible candidate techniques and attributes for architecting self-aware and self-expressive systems. Drawing on the knowledge obtained from the previous investigations, we proposed a pattern driven methodology for engineering self-aware and self-expressive systems to assist in utilising the patterns and primitives during design. The methodology contains detailed guidance to make decisions with respect to the possible design alternatives, providing a systematic way to build self-aware and self-expressive systems. Then, we qualitatively and quantitatively evaluated the methodology using two case studies. The results reveal that our pattern driven methodology covers the main aspects of engineering self-aware and self-expressive systems, and that the resulted systems perform significantly better than the non-self-aware systems.

Engineering access control for distributed enterprise applications

Access control (AC) is a necessary defense against a large variety of security attacks on the resources of distributed enterprise applications. However, to be effective, AC in some application domains has to be fine-grain, support the use of application-specific factors in authorization decisions, as well as consistently and reliably enforce organization-wide authorization policies across enterprise applications. Because the existing middleware technologies do not provide a complete solution, application developers resort to embedding AC functionality in application systems. This coupling of AC functionality with application logic causes significant problems including tremendously difficult, costly and error prone development, integration, and overall ownership of application software. The way AC for application systems is engineered needs to be changed. ^ In this dissertation, we propose an architectural approach for engineering AC mechanisms to address the above problems. First, we develop a framework for implementing the role-based access control (RBAC) model using AC mechanisms provided by CORBA Security. For those application domains where the granularity of CORBA controls and the expressiveness of RBAC model suffice, our framework addresses the stated problem. ^ In the second and main part of our approach, we propose an architecture for an authorization service, RAD, to address the problem of controlling access to distributed application resources, when the granularity and support for complex policies by middleware AC mechanisms are inadequate. Applying this architecture, we developed a CORBA-based application authorization service (CAAS). Using CAAS, we studied the main properties of the architecture and showed how they can be substantiated by employing CORBA and Java technologies. Our approach enables a wide-ranging solution for controlling the resources of distributed enterprise applications. ^

Effects of architectural features of air-permeable roof cladding materials on wind-induced uplift loading

Widespread damage to roofing materials (such as tiles and shingles) for low-rise buildings, even for weaker hurricanes, has raised concerns regarding design load provisions and construction practices. Currently the building codes used for designing low-rise building roofs are mainly based on testing results from building models which generally do not simulate the architectural features of roofing materials that may significantly influence the wind-induced pressures. Full-scale experimentation was conducted under high winds to investigate the effects of architectural details of high profile roof tiles and asphalt shingles on net pressures that are often responsible for damage to these roofing materials. Effects on the vulnerability of roofing materials were also studied. Different roof models with bare, tiled, and shingled roof decks were tested. Pressures acting on both top and bottom surfaces of the roofing materials were measured to understand their effects on the net uplift loading. The area-averaged peak pressure coefficients obtained from bare, tiled, and shingled roof decks were compared. In addition, a set of wind tunnel tests on a tiled roof deck model were conducted to verify the effects of tiles' cavity internal pressure. Both the full-scale and the wind tunnel test results showed that underside pressure of a roof tile could either aggravate or alleviate wind uplift on the tile based on its orientation on the roof with respect to the wind angle of attack. For shingles, the underside pressure could aggravate wind uplift if the shingle is located near the center of the roof deck. Bare deck modeling to estimate design wind uplift on shingled decks may be acceptable for most locations but not for field locations; it could underestimate the uplift on shingles by 30-60%. In addition, some initial quantification of the effects of roofing materials on wind uplift was performed by studying the wind uplift load ratio for tiled versus bare deck and shingled versus bare deck. Vulnerability curves, with and without considering the effects of tiles' cavity internal pressure, showed significant differences. Aerodynamic load provisions for low-rise buildings' roofs and their vulnerability can thus be more accurately evaluated by considering the effects of the roofing materials.

Engineering access control for distributed enterprise applications

Access control (AC) is a necessary defense against a large variety of security attacks on the resources of distributed enterprise applications. However, to be effective, AC in some application domains has to be fine-grain, support the use of application-specific factors in authorization decisions, as well as consistently and reliably enforce organization-wide authorization policies across enterprise applications. Because the existing middleware technologies do not provide a complete solution, application developers resort to embedding AC functionality in application systems. This coupling of AC functionality with application logic causes significant problems including tremendously difficult, costly and error prone development, integration, and overall ownership of application software. The way AC for application systems is engineered needs to be changed. In this dissertation, we propose an architectural approach for engineering AC mechanisms to address the above problems. First, we develop a framework for implementing the role-based access control (RBAC) model using AC mechanisms provided by CORBA Security. For those application domains where the granularity of CORBA controls and the expressiveness of RBAC model suffice, our framework addresses the stated problem. In the second and main part of our approach, we propose an architecture for an authorization service, RAD, to address the problem of controlling access to distributed application resources, when the granularity and support for complex policies by middleware AC mechanisms are inadequate. Applying this architecture, we developed a CORBA-based application authorization service (CAAS). Using CAAS, we studied the main properties of the architecture and showed how they can be substantiated by employing CORBA and Java technologies. Our approach enables a wide-ranging solution for controlling the resources of distributed enterprise applications.

Architectural-Physical Co-Design of 3D CPUs with Micro-Fluidic Cooling

The performance, energy efficiency and cost improvements due to traditional technology scaling have begun to slow down and present diminishing returns. Underlying reasons for this trend include fundamental physical limits of transistor scaling, the growing significance of quantum effects as transistors shrink, and a growing mismatch between transistors and interconnects regarding size, speed and power. Continued Moore's Law scaling will not come from technology scaling alone, and must involve improvements to design tools and development of new disruptive technologies such as 3D integration. 3D integration presents potential improvements to interconnect power and delay by translating the routing problem into a third dimension, and facilitates transistor density scaling independent of technology node. Furthermore, 3D IC technology opens up a new architectural design space of heterogeneously-integrated high-bandwidth CPUs. Vertical integration promises to provide the CPU architectures of the future by integrating high performance processors with on-chip high-bandwidth memory systems and highly connected network-on-chip structures. Such techniques can overcome the well-known CPU performance bottlenecks referred to as memory and communication wall. However the promising improvements to performance and energy efficiency offered by 3D CPUs does not come without cost, both in the financial investments to develop the technology, and the increased complexity of design. Two main limitations to 3D IC technology have been heat removal and TSV reliability. Transistor stacking creates increases in power density, current density and thermal resistance in air cooled packages. Furthermore the technology introduces vertical through silicon vias (TSVs) that create new points of failure in the chip and require development of new BEOL technologies. Although these issues can be controlled to some extent using thermal-reliability aware physical and architectural 3D design techniques, high performance embedded cooling schemes, such as micro-fluidic (MF) cooling, are fundamentally necessary to unlock the true potential of 3D ICs. A new paradigm is being put forth which integrates the computational, electrical, physical, thermal and reliability views of a system. The unification of these diverse aspects of integrated circuits is called Co-Design. Independent design and optimization of each aspect leads to sub-optimal designs due to a lack of understanding of cross-domain interactions and their impacts on the feasibility region of the architectural design space. Co-Design enables optimization across layers with a multi-domain view and thus unlocks new high-performance and energy efficient configurations. Although the co-design paradigm is becoming increasingly necessary in all fields of IC design, it is even more critical in 3D ICs where, as we show, the inter-layer coupling and higher degree of connectivity between components exacerbates the interdependence between architectural parameters, physical design parameters and the multitude of metrics of interest to the designer (i.e. power, performance, temperature and reliability). In this dissertation we present a framework for multi-domain co-simulation and co-optimization of 3D CPU architectures with both air and MF cooling solutions. Finally we propose an approach for design space exploration and modeling within the new Co-Design paradigm, and discuss the possible avenues for improvement of this work in the future.

The influence of rock fabric in the durability of two sandstones used in the Andalusian Architectural Heritage (Montoro and Ronda, Spain)

Natural stone has been a popular and reliable building material throughout history appearing in many historic monuments and in more recent buildings. Research into the intrinsic properties of specific stones is important because it gives us a greater understanding of the factors that limit and act on them. This can help prevent serious problems from occurring in our buildings bringing both esthetic benefits and financial savings. To this end, the main objective of this research has been to study the influence of the fabric and the mineral composition of two types of sandstone on their durability. The first is a red continental sandstone from the Buntsandstein Age called “Molinaza Roja”, which is quarried in Montoro (Cordoba). The second is quarried in Ronda (Malaga) and is sold under the trade name of “Arenisca Ronda”. It is a light pink-whitish calcarenite deposited during the Late Tortonian to Late Messinian. We characterized their petrological and petrophysical properties by studying their rock fabrics, porous systems and mechanical properties. In order to obtain a complete vision of the behavior of their rock fabrics, we also carried out two decay tests, the salt crystallization and the freeze–thaw tests. We then measured the effects on the textures of the altered samples during and after the decay tests and we evaluated the changes in the porous system. By comparing the results between intact and altered samples, we found that Arenisca Ronda is less durable because it has a high quantity of expandable clays (smectites) and a high percentage of pores in the 0.1–1 μm range, in which the pressure produced by salt crystallization is strongest. In Molinaza Roja the decay agents caused significant sanding due to loss of cohesion between the clasts, especially during the salt crystallization test. In both stones, the anisotropies (oriented textures) have an important role in their hydric and dynamic behavior and also affect their mechanical properties (especially in the compression resistance). No changes in color were detected.

Developmentof engineering projects supported by BIM technology: internship report

Building Information Modeling (BIM) concept is able to reshape each AEC project and the industry in general, offering a comprehensive collaboration process over a model of structure with regularly actualized and synchronized information. This report presents an overview of BIM with focus on its core concepts, applications in the project life cycle and benefits for project stakeholders through four case studies carried out during the internship in the engineering office NEWTON - Engineering Consultancy Company. The aim of the four cases studies was to cover multidisciplinary and varied projects. The first case study highlights the engineering project’s workflow and presents a comparison of traditional procedures and BIM concepts applied on the rehabilitation of an existing building. In the second and third case study, attention is focused on the goals achieved, particularly by structural engineer, due to the implementation of the mentioned technology on a full-lifecycle BIM project of a small residence and a complex project of residential building in Porto and on its architectural integration. In addition, through the fourth case study, the spatial coordination of Mechanical, Electrical and Plumbing (MEP) systems at a large-scale hotel project has been analyzed and accomplished, highlighting merits of BIM at this project stage. Through a reduction of the space used for facilities and infrastructures and the ability to identify conflicts and to nullify the related costs, its advantage for a complex building was proved.

Solutions for the conservation and restoration of cement-based materials in XX Century architectural heritage

Among the most representative materials of XX Century architectural heritage, this dissertation focuses on the cement-based ones, investigating some different fields where they were exploited. Primarily, concerning the surface preservation of cement-based materials used with aesthetic intent, new self-cleaning treatments based on titania nanoparticles embedded in inorganic matrices were tested. In order to consider the role of porosity, the treatments were applied to different kinds of materials (cement-based mortar, marble and concrete) and several analyses were conducted to investigate the morphology of the coatings, their photocatalytic effectiveness, their durability and the interaction between the coating and the substrate material. The outcomes showed that several parameters influence the treatment’s performances, in particular, the presence and nature of the matrix, the concentration and dispersion of nanoparticles and, in some cases, the amount of substrate material which interacts with the coatings. Secondly, this dissertation deals with the historic “Terranova” render, a colored dry-mix mortar largely widespread in Europe in the first half of XX Century, whose formulation is still basically unknown. Some original samples of supposedly Terranova renders were subjected to several characterization analyses and the results were compared to those of the original “Terranova” render of the Engineering Faculty in Bologna. Despite the recurrence of some features, defining a common formulation seemed to be challenging. Finally, the repair and conservation of structural reinforced concrete in heritage buildings were investigated, adopting the former “Casa del Fascio” in Predappio (FC, Italy) as case study. Three different materials and solutions were tested on a slab of the building, making its repair only from the intrados. Then several analyses were conducted both on site and in laboratory. Aside from the specific features characterizing every product, the results highlighted that the application method played a fundamental role in the effectiveness of the retrofit strategies.