22 research outputs found

    Towards an Integrated Approach to Verification and Model-Based Testing in System Engineering

    Get PDF
    yesEngineering design in general and system design of embedded software have a direct impact on the final engineering product and the software implementation, respectively. Guaranteeing that the models utilised meet the specified requirements is beneficial in detecting misbehaviour and software flaws. This requires an integrated approach, combining verification and model-based testing methodology and notations and methods from system engineering and software engineering. In this paper, we propose a model-based approach integrating various notations utilised in the functional design of complex systems with formal verification and testing. We illustrate our approach on the cruise control system of an e-Bike case study

    Complex Product Architecture Analysis using an Integrated Approach

    Get PDF
    yesProduct design decomposition and synthesis is a constant challenge with its continuously increasing complexity at each level of abstraction. Currently, design decomposition and synthesis analytical tasks are mostly accomplished via functional and structural methods. These methods are useful in different phases of design process for product definition and architecture but limited in a way that they tend to focus more on ‘what’ and less on ‘how’ and vice versa. This paper combines a functional representation tool known as System State Flow Diagram (a solution independent approach), a solution search tool referred as Morphology Table, and Design Structure Matrix (mainly a solution dependent tool). The proposed approach incorporates Multiple Domain Matrix (MDM) to integrate the knowledge of both solution independent and dependent analyses. The approach is illustrated with a case study of solar robot toy, followed by its limitations, future work and discussion

    Complex Product Architecture Analysis using an Integrated Approach

    Get PDF
    yesProduct design decomposition and synthesis is a constant challenge with its continuously increasing complexity at each level of abstraction. Currently, design decomposition and synthesis analytical tasks are mostly accomplished via functional and structural methods. These methods are useful in different phases of design process for product definition and architecture but limited in a way that they tend to focus more on ‘what’ and less on ‘how’ and vice versa. This paper combines a functional representation tool known as System State Flow Diagram (a solution independent approach), a solution search tool referred as Morphology Table, and Design Structure Matrix (mainly a solution dependent tool). The proposed approach incorporates Multiple Domain Matrix (MDM) to integrate the knowledge of both solution independent and dependent analyses. The approach is illustrated with a case study of solar robot toy, followed by its limitations, future work and discussion
    corecore