04041 Abstracts Collection -- Component-Based Modeling and Simulation

From 18.01.04 to 23.01.04, the Dagstuhl Seminar 04041 ``Component-Based Modeling and Simulation\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Component-based modeling of PEM fuel cells with bond graphs

A polymer electrolyte membrane (PEM) fuel cell is a power generation device that transforms chemical energy contained within hydrogen and oxygen gases into useful electricity. The performance of a PEMFC unit is governed by three interdependent physical phenomena: heat, mass, and charge transfer. When modelling such a multi-physical system it is advantageous to use an approach capable of representing all the processes in a unified fashion. This paper presents a component-based model of PEMFCs developed using the bond graph (BG) technique in Modelica language. The basics of the BG method are outlined and a number of relevant publications are reviewed. Model assumptions and necessary equations for each fuel cell component are outlined. The overall model is constructed from a set of bond-graphic blocks within thermal, pneumatic and electrical domains. The model output was compared with the experimental data gathered from a two-cell stack and demonstrated a good accuracy in predicting system behaviour. In the future the designed model will be used for fuel cell reliability studies

Composition for component-based modeling

We propose a framework for component-based modeling using an abstract layered model for components. A component is the superposition of two models: a behavior model and an interaction model. Interaction models describe architectural constraints induced by connectors between components. We propose and analyze general requirements for component composition that motivated and guided the development of the framework. We define an associative and commutative composition operator on components encompassing heterogeneous interaction. As a particular instance of the proposed framework, we consider components where behavior models are transition systems and interaction models are described by priority relations on interactions. This leads to a concept of "flexible" composition different from usual composition in that it preserves deadlock-freedom and is appropriate for correctness by construction. Nevertheless, flexible composition is a partial operation. Product systems should be interaction safe in the sense that they do not violate constraints of the interaction model. We propose results ensuring correctness by construction of a system from properties of its interaction model and of its components. The properties considered include global deadlock-freedom, individual deadlock-freedom of components, and interaction safety. © 2004 Elsevier B.V. All rights reserved

Component-based modeling and observer-based verification for railway safety-critical applications

1th International Symposium on Formal Aspects of Component Software , Bertinoro, Italie, 10-/09/2014 - 12/09/2015International audienceOne of the challenges that engineers face, during the development process of safety-critical systems, is the verification of safety application models before implementation. Formalization is important in order to verify that the design meets the specified safety requirements. In this paper, we formally describe the set of transformation rules, which are defined for the automatic transformation of safety application source models to timed automata target models. The source models are based on our domain-specific component model, named SARA, dedicated to SAfety-critical RAilway control applications. The target models are then used for the observer-based verification of safety requirements. This method provides an intuitive way of expressing system properties without requiring a significant knowledge of higher order logic and theorem proving, as required in most of existing approaches. An experimentation over a chosen benchmark at rail-road crossing protection application is shown to highlight the proposed approach

Mauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications.

Robots are more and more used in very diverse situations (services to persons, military missions, crisis management, . . . ) in which robots must give some guarantees of safety and reliability. To be really integrated in everyday life, robots must fulfil some requirements. Among these requirements, we focus on the nonfunctional requirements on embedded software [1], and more specifically on real-time software requirements. These requirements are most of the time fulfilled by proving the schedulability of the embedded software. Analysing and validating such properties on an existing hand-coded software requires some reverse modelling of the software, leading to approximations of its behaviour. These approximations may have certification authorities not be confident on the robot dependability. This paper proposes an integrated development methodology that starts from software component modelling, and leads to both validation of the embedded software and generation of deployable embedded software

Component-Based Modeling for Information Systems Reengineering

An Information System can be envisioned as a set of interdependent components that provide the intended services. The component based modeling serves as a tool for collecting requirements of an Information System in user perspective and business perspective at various stages of software development. The chapter presents a methodology for component based modeling and development of an Information System, starting from the requirements definition phase, arriving at candidate components and creation of final components and their interfaces

The role of primitive part modelling within an integrative simulation environment

The component-based modeling approach to the simulation of HVAC systems has been in used for many years. The approach not only supports plant simulation but also allows the integration of the building and plant domains. Frequently, however, the plant models do not match exactly the types being used in a given project and where they do, may not be able to provide the required information. To address such limitations research has been undertaken into alternative approaches. The aim of such research is to provide a modeling approach that is widely applicable and offers efficient code management and data sharing. Primitive Part (PP) modeling is one such effort, which employs generic, process-based elements to attain modeling flexibility. Recent efforts have been on the development of data structure and graphics that facilitates PP auto-connection via computer interface. This paper describes the approach using an example application and its suggested role within an integrative simulation environment

Performance Evaluation of Distributed Systems: a Component-Based Modeling Approach Based on Object Oriented Petri Nets

Non