16,567 research outputs found

    Integrating model checking with HiP-HOPS in model-based safety analysis

    Get PDF
    The ability to perform an effective and robust safety analysis on the design of modern safety–critical systems is crucial. Model-based safety analysis (MBSA) has been introduced in recent years to support the assessment of complex system design by focusing on the system model as the central artefact, and by automating the synthesis and analysis of failure-extended models. Model checking and failure logic synthesis and analysis (FLSA) are two prominent MBSA paradigms. Extensive research has placed emphasis on the development of these techniques, but discussion on their integration remains limited. In this paper, we propose a technique in which model checking and Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS) – an advanced FLSA technique – can be applied synergistically with benefit for the MBSA process. The application of the technique is illustrated through an example of a brake-by-wire system

    Controlling Concurrent Change - A Multiview Approach Toward Updatable Vehicle Automation Systems

    Get PDF
    The development of SAE Level 3+ vehicles [{SAE}, 2014] poses new challenges not only for the functional development, but also for design and development processes. Such systems consist of a growing number of interconnected functional, as well as hardware and software components, making safety design increasingly difficult. In order to cope with emergent behavior at the vehicle level, thorough systems engineering becomes a key requirement, which enables traceability between different design viewpoints. Ensuring traceability is a key factor towards an efficient validation and verification of such systems. Formal models can in turn assist in keeping track of how the different viewpoints relate to each other and how the interplay of components affects the overall system behavior. Based on experience from the project Controlling Concurrent Change, this paper presents an approach towards model-based integration and verification of a cause effect chain for a component-based vehicle automation system. It reasons on a cross-layer model of the resulting system, which covers necessary aspects of a design in individual architectural views, e.g. safety and timing. In the synthesis stage of integration, our approach is capable of inserting enforcement mechanisms into the design to ensure adherence to the model. We present a use case description for an environment perception system, starting with a functional architecture, which is the basis for componentization of the cause effect chain. By tying the vehicle architecture to the cross-layer integration model, we are able to map the reasoning done during verification to vehicle behavior

    Validation of in situ applicable measuring techniques for analysis of the water adsorption by stone

    Get PDF
    As the water adsorbing behaviour (WAB) of stone is a key factor for most degradation processes, its analysis is a decisive aspect when monitoring deterioration and past conservation treatments, or when selecting a proper conservation treatment. In this study the performance of various non-destructive methods for measuring the WAB are compared, with the focus on the effect of the variable factors of the methods caused by their specific design. The methods under study are the contact-sponge method (CSM), the Karsten tube (KT) and the Mirowski pipe (MIR). Their performance is compared with the standardized capillary rise method (CR) and the results are analysed in relation to the open porosity of different lithotypes. Furthermore the effect of practical encumbrances which could limit the application of these methods was valuated. It was found that KT and CSM have complementary fields of investigation, where CSM is capable of measuring the initial water uptake of less porous materials with a high precision, while KT was found commodious for measuring longer contact times for more porous lithotypes. MIR showed too many discommodities, leading to unreliable results. To adequately compare the results of the different methods, the size of the contact area appears to be the most influential factor, whereas the contact material and pressure on the surface do not indicate a significant influence on the results. The study of these factors is currently being extended by visualization of the water adsorption process via X-ray and neutron radiography in combination with physico-mathematical models describing the WAB
    • …
    corecore