Sh . Ashok · 2012
This paper is based on designing such kind of model that will enhance the reusability of software modules, while component based software development approach is used to develop software. It is widely growing engineering discipline that deals with the cycle of developing components and developing with the components. In software industries this approach is very popular. This mode l not only reduces the development time & cost, but also increases the productivity, reliability, portability and scalability.
Cited by 0
Anish Arora, Sandeep S. Kulkarni · 1998
The concept of multitolerance abstracts problems in system dependability and provides a basis for improved design of dependable systems. In the abstraction, each source of undependability in the system is represented as a class of faults, and the corresponding ability of the system to deal with that undependability source is represented as a type of tolerance. Multitolerance thus refers to the ability of the system to tolerate multiple fault-classes, each in a possibly different way. In this paper, we present a component based method for designing multitolerance. Two types of components are employed by the method, namely detectors and correctors. A theory of detectors, correctors, and their interference-free composition with intolerant programs is developed, that enables stepwise addition of components to provide tolerance to a new fault-class while preserving the tolerances to the previously added fault-classes. We illustrate the method by designing a fully distributed, multitolerant ...
Cited by 0
Stephanie A. Wimmer, V. G. DeGiorgi · 2002
Test specimens are traditionally designed to produce a single stress state during the testing process resulting in limited data from individual tests. When material is not readily available, the use of a test specimen that generates a wide range of multiaxial stress states (and therefore more data per test) would be advantageous since this single specimen could replace a series of conventional specimens. Finite element (FE) techniques can be used to determine the stress states of interest in a component and then can be used to custom design a specimen to produce these stress states. The current work examines the use of FE techniques to custom design test specimens that would be more appropriate for typical pressure vessel geometries than traditional tensile test specimens. Stress states for thin and thick wall cylindrical sections are compared with those of standard (ASTM E8) and customized test specimens. An improved match between component and test specimen generated stress states is seen for the custom design specimen.
Cited by 3
Francisco Assis Rosa, António Rito Silva · 1997
This paper presents a design pattern for componentbased configuration. The pattern focuses on allowing the configuration of components along with its inter-component connections. It allows component creation, destruction and migration without affecting other components. The pattern promotes a decoupling between components and components connection, aiming at supporting ad-hoc dynamic reconfiguration and the migration of components with state transferring. 1 Intent Decouples component configuration from component functionality. It allows component ad-hoc dynamic configuration. It aims at providing a configuration of components with state transference. It complies with the concept of hierarchical configuration and migration clustering. 2 Motivation How can a component-based application design take into account the problem of component configuration and in particular issues such as component creation, destruction, migration and connections changes ? 2.1 Domain Analysis Configuration i...
Cited by 0
Patrick Schaumont, Ingrid Verbauwhede · IEEE Design & Test of Computers · 2006
In this article, we present Gezel, a component-based, electronic system-level (ESL) design environment for heterogeneous designs. Gezel consists of a simple but extendable hardware description language (HDL) and an extensible simulation-and-refinement kernel. Our approach is to create a system by designing, integrating, and programming a set of programmable components. These components can be processor models or hard ware simulation kernels. Using Gezel, designers can clearly distinguish between component design, plat form integration, and platform programming, thus separating the roles of component builder, platform builder, and platform user. Embedded applications have driven the development of this ESL design environment. To demonstrate the broad scope of our component-based approach, we discuss three applications that use our environment; all are from the field of embedded security
Cited by 14
Edward A. Lee, Yuhong Xiong · 2002
We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-bas ed design, including the communication protocols between components. Our system is based on a light-weight formalism - interface automata. We first propose some extensions to the theory of interface automata to make them more powerful, then use the extended theory to establish a behavioral-level type system. In our system, the interaction types and the dynamic behavior of components are defined using interface automata, and type checking, which checks the compatibility of a component with a certain interaction type, is conducted through automata composition. Our type system is polymorphic in that a component may be compatible with more than one interaction type. We show that a subtyping relation exists among various interaction types and that this relation can be described using a partial order. This behavioral type order can be used to facilitate the design of polymorphic components and simplify type checking. In addition to static type checking, we also propose to extend the use of interface automata to the on-line reflection of component states and to run-time type checking. We illustrate our framework using a component-based design environ- ment, Ptolemy II, and discuss the trade-offs in the design of behavioral type systems.
Cited by 7
Sotiris Moschoyiannis, Michael W. Shields · 2004
We present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software component and identify properties that ensure its potential behaviour can be captured. Based on that, we give a formal definition of composition and examine its effect on the individual components. We argue that properties of the individual components can, under certain conditions, be preserved in the composite. The proposed model can be used for guiding the composition of components as it advocates formal reasoning about the composite before the actual composition takes place.
Cited by 16
Ammar Aljer, Philippe Devienne, Sophie Tison · 2004
This paper focuses on entry design of complex systems and step-wise refinement. Indeed, design of embedded systems and digital circuits is moving to higher levels of abstraction and mix different technologies (hardware, software, etc). The entry design represents the highest abstract tier of the global system without implementation choices with respect to such and such technologies. At this level, the use of a formal specification language is more and more considered as the foundation of real verification process. What we would like to emphasize is that the refinement from that model to the point where the system could be implemented could be and should be formal too in order to design systems correct by proven construction. An illustration of this approach is the BHDL tool.
Cited by 1
Kulkarni, Sandeep · OhioLink ETD Center (Ohio Library and Information Network) · 1999
In this dissertation, we defend the thesis th at a fault-tolerant program is a com position of a fault-intolerant program and a set of fault-tolerance components.To validate this thesis, we identify a basis set of fault-tolerance components, namely detectors and correctors.We show th at depending upon the desired level of faulttolerance, detectors, correctors, or both are necessary and sufRcient for designing a rich class of fault-tolerant programs.Moreover, the fault-tolerant programs designed using existing methods such as replication and Schneider's state machine approach can be alternatively designed in term s of detectors and correctors.Using these fault-tolerance components, we present a method for designing multitolerant programs, i.e., programs th at tolerate multiple types of faults while providing potentially different levels of tolerance to each type of fault.Our method accommo dates all types of faults, including process faults, communication faults, hardware and software faults, network failure and security intrusions, and it can be used in sev eral application domains such as distributed systems, computer networks and parallel systems.Using several examples, we illustrate how our fault-tolerance components can be used in the design of several fault-tolerant programs.Among these examples, we discuss in detail the problem of distributed reset.A distributed reset operation reini tializes a distributed system to a given global state.Our distributed reset program
Cited by 3Open access
Anders I. Mørch, Li Zhu · Lecture notes in computer science · 2013
Cited by 6
Lepreux, Sophie, Kolski, Christophe, Abed, Mourad · SPIRE - Sciences Po Institutional REpository · 2003
International audience
Cited by 0
Joachim Fischer, O. Kath, Marc Born · 2001
Cited by 0
Andrea Bracciali, Antonio Brogi, Gian-Luigi Ferrari et al. · Electronic Notes in Theoretical Computer Science · 2001
Cited by 6Open access
Franck Barbier, Eric Cariou · HAL (Le Centre pour la Communication Scientifique Directe) · 2008
International audience
Cited by 0
DANESI, ANTONIO · Electronic Theses and Dissertations Repository (University of Pisa) · 2007
This thesis presents resultsofmyresearchinthe fieldof programming control applications for robotic tasks. The main aimof thework hasbeen the definition and implementation of a control component framework for robotic applications tha uses a newly proposed middleware for networked embedded systems originated from the researchof European projectRUNES -Reconfigurable Ubiquitous Networked Embedded Systems. Component-based techniques in software development have manybenefits. Components arewell-defined entities that canbe replaced without affecting the rest of the systems, and can thus be developed separately, easily integrated, and are reusable. Such features are crucial for the development of large-scale complex systems. In this context, the component-based middleware developed by theRUNES project offereda flexible architecture for software development for sensor and mobile adhoc networks. Although the middleware already provides components to access network and operating system resources, there has been a need for control-oriented components necessary for the implementation of control applications. The definition, implementation and testing of the control technologies that have been used in the realization of a complex control applicationfor network reconfiguration in a disaster scenario environment will be described in detail. Forthesakeof concreteness, my workhasfocusedondevelopinga control component-based architecture foraspecific application, namely the navigation of autonomous vehicles using primarily vision forlocalization and for building a map of an unknown envirnment. Component-based design helps to separate logic functionalities in subsystems to build a complex architecture, improving reusabilityof code and reconfiguration of the application. Avisual servo scheme is used to steer the wheeled vehicle among locations using reference images. A topological image map is constructed to support this, based on images grabbed bythe on-board camera, along with a global feature-based metric map, obtained using extended Kalman filter techniques, that gives the robot the 3D world perceptions, e.g. world geometry and obstacles. The combination of topological and metric maps allows the use of simple planners and, combined with a robust image processing technique like SIFT, to two important problems in the navigation of robots in unknown environments: the so-called kidnapped robot and closedpath detection problems. The solution here proposed also enables a team of multiple vehicles to merge their information, and to perform navigation using each other’s knowledge of the feasible paths. Experimental results on a laboratory setup are reported, showing the practicality of the proposed approach.
Cited by 0
Simon Bliudze · 2014
This tutorial presents the BIP component-based design and analysis framework, primarily focusing on the control software for (real-time) embedded systems. We provide the participants with an overview of the research and some practical hands-on experience of application design in BIP. After a short motivation, we discuss the BIP component model, then move directly to the demonstration of the BIP language, design process, code generation and simulation.
Cited by 0
Lars Reuther, Volkmar Uhlig, Ronald Aigner · 2001
Cited by 0
Mark A. Kolb · Aerospace Design Conference · 1992
The paper describes the application of various advanced programming techniques derived from artificial intelligence research to the development of flexible design tools for conceptual design. Special attention is given to two techniques which appear to be readily applicable to such design tools: the constraint propagation technique and the object-oriented programming. The implementation of these techniques in a prototype computer tool, Rubber Airplane, is described.
Cited by 2
Sang‐Gyu Park, Sang-yong Yoon, Soo‐Ik Chae · Asia and South Pacific Conference on Design Automation, 2006. · 2006
We propose a method of enhancing the reusability of the component IPs by separating communication and computation for a system function. In this approach, we assume that the component designers describe mainly the computation part of the component, and the system designer can construct the communication part by using our refinement-based design environment. Moreover, we introduced a concept of the communication architecture template tree (CATree), which helps IP designers to effectively separate computation and communication for a system function. We confirmed that this approach is effective by applying it to a H.264 decoder design.
Cited by 0
Xiu-Tian Yan, Muhammad Fayyaz ur Rehman, Jonathan C. Borg · 2004
The research work described here establishes a new design support approach to product life-oriented design. The approach defines a broad concept of design context information. Having completed the function design, the approach supports the product design through background reasoning using the design context information. This reasoning mechanism can facilitate a designer to explore rapidly different design alternatives generated through function to its realisation (means) mapping. “Unfit” means can be identified using the design context information. The approach provides further support in making suggestions by relaxation as to how to avoid a solution candidate being identified as an “unfit” life-oriented design solution. The architecture and its implementation of a prototype KICAD system entitled FORESEE II is detailed in the paper. The concept of the approach and an illustrative use of the FORESEE II system through a case study are also described.
Cited by 0