18,449 research outputs found

    A synthesis of logic and biology in the design of dependable systems

    Get PDF
    The technologies of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, have advanced in recent years. Much of this development can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems. In parallel, work on bio-inspired technologies has shown potential for the evolutionary design of engineering systems via automated exploration of potentially large design spaces. We have not yet seen the emergence of a design paradigm that combines effectively and throughout the design lifecycle these two techniques which are schematically founded on the two pillars of formal logic and biology. Such a design paradigm would apply these techniques synergistically and systematically from the early stages of design to enable optimal refinement of new designs which can be driven effectively by dependability requirements. The paper sketches such a model-centric paradigm for the design of dependable systems that brings these technologies together to realise their combined potential benefits

    Representing Style by Feature Space Archetypes: Description and Emulation of Spatial Styles in an Architectural Context

    Get PDF

    A synthesis of logic and bio-inspired techniques in the design of dependable systems

    Get PDF
    Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems. In parallel, work on bio-inspired technologies has shown potential for the evolutionary design of engineering systems via automated exploration of potentially large design spaces. We have not yet seen the emergence of a design paradigm that effectively combines these two techniques, schematically founded on the two pillars of formal logic and biology, from the early stages of, and throughout, the design lifecycle. Such a design paradigm would apply these techniques synergistically and systematically to enable optimal refinement of new designs which can be driven effectively by dependability requirements. The paper sketches such a model-centric paradigm for the design of dependable systems, presented in the scope of the HiP-HOPS tool and technique, that brings these technologies together to realise their combined potential benefits. The paper begins by identifying current challenges in model-based safety assessment and then overviews the use of meta-heuristics at various stages of the design lifecycle covering topics that span from allocation of dependability requirements, through dependability analysis, to multi-objective optimisation of system architectures and maintenance schedules

    Integrated design : a generative multi-performative design approach

    Get PDF
    Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Architecture, 2008.This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.MIT Institute Archives copy: with CD-ROM; divisional library copy with no CD-ROM.Includes bibliographical references (leaves 70-72).There are building systems, called "modularized", in which the component systems (for structure, lighting, etc) can be analyzed and synthesized independently since their performance and design do not interact or affect one another. There are other building systems, called "coupled", in which the component systems do interact and influence one another. The thesis acknowledges that in a building there are both sub-systems that act independently and others that interact. While many design processes have been proposed for dealing with discrete sub-systems, there is no systematic study for building sub-systems that interrelate. This thesis examines a different design approach called integrated. The term "integrated" has a dual utilization in this study. The first use refers to the integration of form and building performance. The second use refers to the integration of interrelated and diverse building performances involving multiple disciplines. The integrated design approach analyzes and evaluates several interrelated design systems involving different disciplines in the early design phase. The goal of the approach is the generation of design alternatives guided simultaneously by two basic objectives: the aspiration for form exploration and the satisfaction of the performances of interrelated systems. After defining a framework for an integrated design approach, which includes inter-disciplinary collaboration, unified design, optimization, simulation, and other formal and digital techniques, the approach will be demonstrated in a case study. The objective of the case study is to demonstrate that the integrated design approach has validity and can be realized, in this case, for the generation of high-rise buildings guided by structural, lighting, zoning codes, and aesthetic criteria.by Eleftheria Fasoulaki.S.M

    An evaluation tool for design quality: PFI sheltered housing

    Get PDF
    The complex procurement process entailed by the private finance initiative (PFI) means that clients need new capacities to manage their relationships with bidders and to assess project proposals if the desired level of design quality is to be achieved. To assist local authorities in their client role, a new Architectural Design Quality Evaluation Tool was developed. The aim was to improve the quality of design in residential sheltered housing, procured through the PFI. The tool was developed for and applied to a programme that will see the replacement of a local authority's entire sheltered housing stock. The tool has two functions: (1) to inform the client's assessment process and assist with the selection of the preferred bidding consortium through a series of stages in the PFI process; and (2) to improve the quality of all the submitted designs through an iterative process. Although several existing mechanisms are available for evaluating the performance attributes of buildings, few also tackle the less tangible amenity attributes, which are vital to the feeling of home. The new tool emphasizes the amenity attributes without neglecting performance

    A hierarchical mathematical model for automatic pipelining and allocation using elastic systems

    Get PDF
    The advent of FPGA-based accelerators has encouraged the use of high-level synthesis (HLS) for rapid prototyping and design space exploration. In this context, design optimization at behavioral level becomes a critical task for the delivery of high-quality solutions. Time elasticity opens a new avenue of optimizations that can be applied after HLS and before logic synthesis, proposing new sequential transformations that expand beyond classical retiming and enlarge the register-transfer level (RTL) exploration space. This paper proposes a mathematical model for RTL transformations that exploit elasticity to select the best implementation for each functional unit and add pipeline registers to increase performance. Two simple examples are used to validate the effectiveness and potential benefits of the model.Peer ReviewedPostprint (author's final draft

    A shape grammar approach to climatically adaptable facade systems with real time performance evaluation.

    Get PDF
    New computational techniques have been introduced to assist the design of adaptable building facades and to help quantify relationships between the building envelope and the environment. Designers increasingly use generative design approach for form-generation of building envelopes, and the organisation of components over a predefined form. In this research an original shape grammar approach for façade systems generation is proposed, with a rule-based method for the creation and exploration of complex shape composites based upon a set of simple initial shapes and predefined rules of composition. This is in order to explore a form finding of set of different building façade configurations before merging generated data into a simulated process of real-time daylighting and heat gains performance evaluation. The developed models adapt via responding to the data-regulation protocols responsible for sensing and processing building performance data in real time. The research reports on the prototype system development and testing, allowing continuous evaluation of multiple solutions and presenting opportunity for further improvement via multi-objective optimisation, which would be very difficult to do, if not impossible, with conventional design methodsN/

    Towards an understanding of corporate web identity

    Get PDF
    No abstract available

    Model-based dependability analysis : state-of-the-art, challenges and future outlook

    Get PDF
    Abstract: Over the past two decades, the study of model-based dependability analysis has gathered significant research interest. Different approaches have been developed to automate and address various limitations of classical dependability techniques to contend with the increasing complexity and challenges of modern safety-critical system. Two leading paradigms have emerged, one which constructs predictive system failure models from component failure models compositionally using the topology of the system. The other utilizes design models - typically state automata - to explore system behaviour through fault injection. This paper reviews a number of prominent techniques under these two paradigms, and provides an insight into their working mechanism, applicability, strengths and challenges, as well as recent developments within these fields. We also discuss the emerging trends on integrated approaches and advanced analysis capabilities. Lastly, we outline the future outlook for model-based dependability analysis
    • …
    corecore