The Experts below are selected from a list of 195 Experts worldwide ranked by ideXlab platform
Frédéric D'hennezel - One of the best experts on this subject based on the ideXlab platform.
-
Intrinsic Component mode synthesis and plate vibrations
Computers & Structures, 1992Co-Authors: Frédéric Bourquin, Frédéric D'hennezelAbstract:Abstract Component mode synthesis belongs to the class of Galerkin methods that enables one to compute the eigenpairs of a differential operator on a domain that can be subdivided into different subdomains on each of which the eigenpairs of the same operator are assumed to be known. Energy transfer between subdomains is achieved due to functions defined on the whole domain and called ‘constraint modes’. A new ‘fixed interface’ method is presented. It is based on a special choice of‘constraint modes’ as the eigenfunctions of the Poincare-Steklov operator associated with the domain decomposition. Error bounds are derived in the case of Kirchhoff plates, and numerical tests are presented.
-
Numerical study of an intrinsic Component mode synthesis method
Computer Methods in Applied Mechanics and Engineering, 1992Co-Authors: Frédéric Bourquin, Frédéric D'hennezelAbstract:Abstract Component mode synthesis belongs to the class of Galerkin methods and it enables us to compute the normal modes of linearly elastic structures which can be divided into several substructures whose lowest eigenfrequencies and corresponding normal modes are known. Energy transfer between substructures is achieved thanks to the introduction in the Ritz procedure of mode shapes defined on the whole structure, usually called ‘static modes’ or ‘constraint modes’. A new fixed interface method is presented in a continuous framework: it is based on a non-conventional choice of constraint modes tied to the normal modes of the Poincare-Steklov operator associated with the interface between the substructures. Error bounds are given in the case of three-dimensional elasticity. An efficient domain decomposition algorithm is presented in detail as well as various tests.
Frédéric Bourquin - One of the best experts on this subject based on the ideXlab platform.
-
Intrinsic Component mode synthesis and plate vibrations
Computers & Structures, 1992Co-Authors: Frédéric Bourquin, Frédéric D'hennezelAbstract:Abstract Component mode synthesis belongs to the class of Galerkin methods that enables one to compute the eigenpairs of a differential operator on a domain that can be subdivided into different subdomains on each of which the eigenpairs of the same operator are assumed to be known. Energy transfer between subdomains is achieved due to functions defined on the whole domain and called ‘constraint modes’. A new ‘fixed interface’ method is presented. It is based on a special choice of‘constraint modes’ as the eigenfunctions of the Poincare-Steklov operator associated with the domain decomposition. Error bounds are derived in the case of Kirchhoff plates, and numerical tests are presented.
-
Numerical study of an intrinsic Component mode synthesis method
Computer Methods in Applied Mechanics and Engineering, 1992Co-Authors: Frédéric Bourquin, Frédéric D'hennezelAbstract:Abstract Component mode synthesis belongs to the class of Galerkin methods and it enables us to compute the normal modes of linearly elastic structures which can be divided into several substructures whose lowest eigenfrequencies and corresponding normal modes are known. Energy transfer between substructures is achieved thanks to the introduction in the Ritz procedure of mode shapes defined on the whole structure, usually called ‘static modes’ or ‘constraint modes’. A new fixed interface method is presented in a continuous framework: it is based on a non-conventional choice of constraint modes tied to the normal modes of the Poincare-Steklov operator associated with the interface between the substructures. Error bounds are given in the case of three-dimensional elasticity. An efficient domain decomposition algorithm is presented in detail as well as various tests.
Yunja Choi - One of the best experts on this subject based on the ideXlab platform.
-
Design verification in model-based μ-controller development using an Abstract Component
Software & Systems Modeling, 2011Co-Authors: Yunja Choi, Christian BunseAbstract:Component-based software development is a promising approach for controlling the complexity and quality of software systems. Nevertheless, recent advances in quality control techniques do not seem to keep up with the growing complexity of embedded software; embedded systems often consist of dozens to hundreds of software/hardware Components that exhibit complex interaction behavior. Unanticipated quality defects in a Component can be a major source of system failure. To address this issue, this paper suggests a design verification approach integrated into the model-driven, Component-based development methodology M armot . The notion of Abstract Components—the basic building blocks of M armot —helps to lift the level of Abstraction, facilitates high-level reuse, and reduces verification complexity by localizing verification problems between Abstract Components before refinement and after refinement. This enables the identification of unanticipated design errors in the early stages of development. This work introduces the M armot methodology, presents a design verification approach in M armot , and demonstrates its application on the development of a μ -controller-based Abstraction of a car mirror control system. An application on TinyOS shows that the approach helps to reuse models as well as their verification results in the development process.
-
Design verification in model-based μ-controller development using an Abstract Component
Software & Systems Modeling, 2010Co-Authors: Yunja Choi, Christian BunseAbstract:Component-based software development is a promising approach for controlling the complexity and quality of software systems. Nevertheless, recent advances in quality control techniques do not seem to keep up with the growing complexity of embedded software; embedded systems often consist of dozens to hundreds of software/hardware Components that exhibit complex interaction behavior. Unanticipated quality defects in a Component can be a major source of system failure. To address this issue, this paper suggests a design verification approach integrated into the model-driven, Component-based development methodology Marmot. The notion of Abstract Components--the basic building blocks of Marmot--helps to lift the level of Abstraction, facilitates high-level reuse, and reduces verification complexity by localizing verification problems between Abstract Components before refinement and after refinement. This enables the identification of unanticipated design errors in the early stages of development. This work introduces the Marmot methodology, presents a design verification approach in Marmot, and demonstrates its application on the development of a μ-controller-based Abstraction of a car mirror control system. An application on TinyOS shows that the approach helps to reuse models as well as their verification results in the development process.
-
COMPSAC - Systematic Composition and Verification of Abstract Components
2010 IEEE 34th Annual Computer Software and Applications Conference, 2010Co-Authors: Yunja ChoiAbstract:This paper proposes a systematic composition method for supporting both top-down and bottom-up approaches within the same frame. The method composes behavioral models of unit(Abstract) Components with respect to the services to be provided by the Abstract Component after the composition. Adapted from the standard operations in process algebra, two types of Abstract techniques, synchronized Abstraction and projection Abstraction, are introduced to Abstract the compositional behavior of Components depending on their port connections and bindings. This method enables systematic extraction of high-level Component behavior and reduces the complexity of composition and verification. Experiments show that performance improves when compositions are verified formally.
Jörg Ritter - One of the best experts on this subject based on the ideXlab platform.
-
GCSE - Towards a Foundation of Component-Oriented Software Reference Models
Lecture Notes in Computer Science, 2001Co-Authors: Thorsten Teschke, Jörg RitterAbstract:The increasing number of available software Components and competing interoperability standards render the selection, composition, and configuration of software Components increasingly complex. In order to support the domain expert in these processes comprehensive, comparable, and sufficiently Abstract Component descriptions are required. In this paper, we Abstract from the specifics of the Component models COM, EJB, and CCM, and propose a unifying Component description language for integrated descriptions of structure and behaviour of software Components and Component-based software systems.
Christian Becker - One of the best experts on this subject based on the ideXlab platform.
-
ICAC - Towards Reusability in Autonomic Computing
2015 IEEE International Conference on Autonomic Computing, 2015Co-Authors: Christian Krupitzer, Felix Maximilian Roth, Sebastian Vansyckel, Christian BeckerAbstract:Reusability of software artifacts reduces development time, effort, and error-proneness. Nevertheless, in the development of autonomic systems, developers often start from scratch when building a new system instead of reusing existing Components. Many frameworks offer reusability on a higher level of Abstraction, but neglect reusability on the lower Component implementation level. In this short paper, we present a reusable adaptation logic by separating the generic structure and mechanisms of Autonomic Computing systems from its custom functionality. That is, we provide a reusable communication architecture with Abstract Component templates that enables a faster development and easier runtime adaptation. We evaluate our approach in a case study with two implementations.
