A number of approaches to component-based development and tools to automate the associated processes have been proposed. However, most of them focus on a life cycle where component-based systems are generated from scr...
详细信息
A number of approaches to component-based development and tools to automate the associated processes have been proposed. However, most of them focus on a life cycle where component-based systems are generated from scratch rather than on one where they are constructed by composing preexisting components. this has negatively impacted automating component-based development and as a corollary its use in practice. In this paper we share our experiences on designing and developing an environment to automate component-based development. We highlight the importance of concepts such as component-based development life cycle, component model and composition theory to achieve the goal of component-based development automation.
this paper presents the design methodology of hardware/software co-design on FPGA. In this research work uses line detection algorithm to be our case study. C-based programming named ImpulseC has been employed. By usi...
详细信息
this paper presents the design methodology of hardware/software co-design on FPGA. In this research work uses line detection algorithm to be our case study. C-based programming named ImpulseC has been employed. By using this, we could reduce the time of the design. Two main components are involved. Edge detection module is the first component. Various algorithms, Robert, Sobel and Prewitt, are compared. the best algorithm in term of performance and area is selected. the second component is hough transform. this module is divided into hardware and software due to the limit of the available logic block. At the end, the system both in hardware/software for line detection on FPGA is simulated.
Block bid were introduced in power exchanges to allow generators with high fixed cost component (start-up and shut-down cost) participate in the market. However, block bid has been designed with very simple structure....
详细信息
Block bid were introduced in power exchanges to allow generators with high fixed cost component (start-up and shut-down cost) participate in the market. However, block bid has been designed with very simple structure. Rigid structure in block bid often leads to them being rejected paradoxically. Withthis factor as motivation, we present new bid structures which retains objective of block bid, but brings in more flexibility, resulting in more liquidity in market.
It is proposed a new approach based on a methodology, assisted by a tool, to create new products in the automobile industry based on previous defined processes and experiences inspired on a set of best practices or pr...
详细信息
It is proposed a new approach based on a methodology, assisted by a tool, to create new products in the automobile industry based on previous defined processes and experiences inspired on a set of best practices or principles: it is based on high-level models or specifications; it is component-based architecture centric; it is based on generativeprogramming techniques. this approach follows in essence the MDA (Model Driven Architecture) philosophy with some specific characteristics. We propose a repository that keeps related information, such as models, applications, design information, generated artifacts and even information concerning the development process itself (e.g., generation steps, tests and integration milestones). Generically, this methodology receives the users' requirements to a new product (e.g., functional, non-functional, product specification) as its main inputs and produces a set of artifacts (e.g., design parts, process validation output) as its main output, that will be integrated in the engineer design tool (e.g. CAD system) facilitating the work.
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a type-system-based approach to avoid message handling errors when assembling component-based c...
详细信息
ISBN:
(纸本)9781605582672
Building complex component-based software architectures can lead to subtle assemblage errors. In this paper, we introduce a type-system-based approach to avoid message handling errors when assembling component-based communication systems. Such errors are not captured by classical type systems of host programming languages such as Java or ML. Our approach relies on the definition of a small process calculus that captures the operational essence of our target component-based framework for communication systems, and on the definition of a novel type system that combines row types with process types.
Feature-oriented programming (FOP) is a paradigm that incorporates programming language technology, program generation techniques, and stepwise refinement. In their GPCE'07 paper, thaker et a]. suggest the develop...
详细信息
ISBN:
(纸本)9781605582672
Feature-oriented programming (FOP) is a paradigm that incorporates programming language technology, program generation techniques, and stepwise refinement. In their GPCE'07 paper, thaker et a]. suggest the development of a type system for FOP to guarantee safe feature composition, Le, to guarantee the absence of type errors during feature composition. We present such a type system along with a calculus for a simple feature-oriented, Java-like language, called Feature Featherweight Java (FFJ). Furthermore, we explore four extensions of FFJ and how they affect type soundness.
Automation and control systems provide their own programming and modeling paradigms in parallel to theory well known from computer science. Especially the concepts of component-based software engineering highly influe...
详细信息
ISBN:
(纸本)9781424421701
Automation and control systems provide their own programming and modeling paradigms in parallel to theory well known from computer science. Especially the concepts of component-based software engineering highly influence the design of embedded systems, which include automation and control systems. this work analyses what is and is not a "software component" in the context of the two standards IEC 61131-3 and IEC 61499. Utilizing the definition of component frameworks and component system architectures, the potentials and problems of an integrative approach in order to utilize both standards within the same platform will be discussed.
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL is possible statically before runtime o...
详细信息
ISBN:
(纸本)9781605582672
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL is possible statically before runtime or dynamically at load-time or runtime. Both approaches have benefits and drawbacks with respect to composition flexibility, performance, and resource consumption. Which type of composition is preferable should be decided by taking the application scenario into account. Current tools and languages, however, force a programmer to decide between static and dynamic composition during development. In this paper, we present an approach that employs code generation to support static and dynamic composition of features of a single code base. We offer an implementation on top of FeatureC++, an extension of the C++ programming language that supports software composition based on features. To simplify dynamic composition and to avoid creation of invalid products we furthermore provide means to (1) validate the correctness of a composition at runtime, (2) automatically instantiate SPLs in case of stand-alone applications, and (3) automatically apply interaction code of crosscutting concerns.
We discuss our experience of using model-based techniques to generate model-based code generators. the central idea behind model-driven development (MDD) is to use suitable models to specify various concerns and trans...
详细信息
ISBN:
(纸本)9781605582672
We discuss our experience of using model-based techniques to generate model-based code generators. the central idea behind model-driven development (MDD) is to use suitable models to specify various concerns and transform these models to a variety of text artifacts. A business product needs to deliver a given business functionality on a wide variety of implementation platforms and architectures thus necessitating multiple sets of code generators. However, there is a considerable commonality across these code generators. In absence of a suitable abstraction for capturing this commonality, there is little or no reuse across these code generators. We present an abstraction for organizing model-based code generators as a hierarchical composition of reusable building blocks. A building block is a localized specification of a concern in terms of a concern-specific meta model, model to model transformation, and model to text transformation. Model-based code generation is a 3-step walk over the composition tree wherein the first step transforms individual concern-specific models into a unified model, the second step transforms the unified model into individual concern-specific text artifacts, and the third step composes these text artifacts.
暂无评论