The purpose of this research was to investigate quantitatively the catch-up saccades occurring during smooth pursuit. In the first experiment, to evoke catch-up saccades we used high velocity predictable two-dimension...
详细信息
Software architecture (SA) is a crucial component of Model Driven engineering (MDE), since it eases the communication and reuse of designs and components. However, existing languages (e.g., UML, AADL, SysML) are lacki...
详细信息
ISBN:
(纸本)9781424434947
Software architecture (SA) is a crucial component of Model Driven engineering (MDE), since it eases the communication and reuse of designs and components. However, existing languages (e.g., UML, AADL, SysML) are lacking many needed features. In particular, they provide rudimentary support for connectors, a first-class element in the components and connectors (C&C) architectural view and one of the most reusable architectural elements. This is unfortunate, since the difficult properties that need to be guaranteed for complex systems are mainly the nonfunctional properties, like throughput, security, and dependability, which are greatly influenced by the employed connectors. This work reviews the basic abstractions of the C&C view of SA and examines extra architectural elements which can support the detailed, explicit and separate description of behaviour, interaction and control logic.
This paper describes a demo which leverages models at designtime and runtime in the context of adaptive system, some details about the underlying approach as well as some implementation details. Our tool allows deploy...
This paper describes a demo which leverages models at designtime and runtime in the context of adaptive system, some details about the underlying approach as well as some implementation details. Our tool allows deploying and dynamically reconfiguring component-based applications, in a guided and safe way, based on the OSGi platform. It combines reflexive and generativeprogramming techniques, based on models, to achieve this goal.
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 hostprogramming 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 modeling is used in generativeprogramming and software product-line engineering to capture the common and variable properties of programs within an application domain. The translation of feature models to pro...
详细信息
ISBN:
(纸本)9781605582672
Feature modeling is used in generativeprogramming and software product-line engineering to capture the common and variable properties of programs within an application domain. The translation of feature models to propositional logics enabled the use of reasoning systems, such as BDD engines, for the analysis and transformation of such models and interactive configurations. Unfortunately, the size of a BDD structure is highly sensitive to the variable ordering used in its construction and an inappropriately chosen ordering may prevent the translation of a feature model into a BDD representation of a tractable size. Finding an optimal order is NP-hard and has for long been addressed by using heuristics. We review existing general heuristics and heuristics from the hardware circuits domain and experimentally show that they are not effective in reducing the size of BDDs produced from feature models. Based on that analysis we introduce two new heuristics for compiling feature models to BDDs. We demonstrate the effectiveness of these heuristics using publicly available and automatically generated models. Our results are directly applicable in construction of feature modeling tools.
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.
In this paper we present the model based design optimization on a micromechanical system which is described by a VHDL-AMS behaviour model, based on the Cosserat theory. The application is a gyroscope teststructure de...
详细信息
ISBN:
(纸本)9781424415441
In this paper we present the model based design optimization on a micromechanical system which is described by a VHDL-AMS behaviour model, based on the Cosserat theory. The application is a gyroscope teststructure developed by st MICROELECTRONICS. The schematic of the microactuator is built tip front component models developed in Lancaster within previous work. The equations of motion of the beam model were derived using Cosserat theory. The rigid body model wits adjusted to capture the behaviour of the central disk with comb-drives of the microactuator target structure. Within the model based design optimization system MODOS developed at the UNIVERSITY OF BREMEN a model optimization and a model based design optimization were performed. In this report we represent the theoretical background of the modeling and optimization process and publish the received results.
暂无评论