Nontraditional displays just started their triumph. In contrast to traditional displays, which are plane and rectangular, they do not only differ in design and architecture;they also implicate different semantics and ...
详细信息
ISBN:
(纸本)9788086943794
Nontraditional displays just started their triumph. In contrast to traditional displays, which are plane and rectangular, they do not only differ in design and architecture;they also implicate different semantics and pragmatics in the rendering pipeline. We strive for a generic solution that couples legacy applications with nontraditional displays. In this paper, we present an architecture and a respective experiment, which exposes a proprietary virtual reality software to a 360 degree virtual environment. Therefore we introduce a rigorous master-slave design. The proposed architecture requires discussion of the following details: how to access a proprietary application's OpenGL stream;how to transmit the OpenGL stream efficiently in a clustered rendering setup;how to process the OpenGL stream for adaption to nontraditional display semantics;and how to deal with the arising code complexity, withal. Our design decisions are highly interdependent. The presented architecture overcomes limitations, which were implied by client-server design in earlier work. The proposed rigorous master-slave design is totally transparent to the client software, and reduces interdependencies between rendering software and rendering clusters. Thus, it inherently reduces network round trips and promotes the use of scalable multicast. Our architecture is tested in a reproducible experiment, which provides a qualitative proof of concept.
Constraints are used to solve combinatorial problems in a variety of industrial and academic disciplines. However most constraint solvers are designed to be general and monolithic, leading to problems with efficiency,...
详细信息
ISBN:
(纸本)9780769543512
Constraints are used to solve combinatorial problems in a variety of industrial and academic disciplines. However most constraint solvers are designed to be general and monolithic, leading to problems with efficiency, scalability and extensibility. We propose a novel, architecture-driven constraint solver generation framework called Dominion to tackle these issues. For any given problem, Dominion generates a lean and efficient solver tailored to that problem. In this paper, we outline the Dominion approach and its implications for software architecture specification of the solver.
Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computing, due to the availability of real-tim...
详细信息
ISBN:
(纸本)9783540727354
Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computing, due to the availability of real-time component middleware platforms. Traditional approaches to fault tolerance that rely on replication and recovery of a single server or a single host do not work in this paradigm since the fault management schemes must now account for the timely and simultaneous failover of groups of entities while improving system availability by minimizing the risk of simultaneous failures of replicated entities. This paper describes MDDPro, a model-driven dependability provisioning tool for DRE systems. MDDPro provides intuitive modeling abstractions to specify failover requirements of DRE systems at different granularities. MDDPro enables plugging in different replica placement algorithms to improve system availability. Finally, its generative capabilities automate the deployment and configuration of the DRE system on the underlying platforms.
Reflection allows defining generic operations in terms of the constituents of objects. These definitions incur overhead if reflection takes place at run time, which is the common case in popular languages. If performa...
详细信息
ISBN:
(纸本)9789898111050
Reflection allows defining generic operations in terms of the constituents of objects. These definitions incur overhead if reflection takes place at run time, which is the common case in popular languages. If performance matters, some compile-time means of reflection is desired to obviate that penalty. Furthermore, the information provided by static reflection can be utilised for class generation, e.g., to optimize internal representation. We demonstrate how to provide static reflection on class field properties by means of generic components in an OO language with static meta-programming facilities. Surprisingly, a major part of the solution is not specific to the particular task of providing reflection. We define the internal representation of classes by a reworked implementation of a generic container that models the concept of a statically indexed family. The proposed features of this implementation are also beneficial to its use as a common container.
Macro systems are powerful language extension tools for Architecture Description Languages (ADLs). Their generative power in combination with the simplicity of specification languages allows for a substantial reductio...
详细信息
ISBN:
(纸本)9798400704062
Macro systems are powerful language extension tools for Architecture Description Languages (ADLs). Their generative power in combination with the simplicity of specification languages allows for a substantial reduction of repetitive specification sections. This paper explores how the introduction of function- and record types in a template-based macro system impacts the specification of ADLs. We present design and implementation of a pattern-based syntax macro system for the Vienna Architecture Description Language (VADL). The macro system is directly integrated into the language and is analyzed at parse time using a context-sensitive predLL(*) parser. The usefulness of the macro system is illustrated by some typical macro application design patterns. The effectiveness is shown by a detailed evaluation of the Instruction Set Architecture (ISA) specification of five different processor architectures. The observed specification reduction can be up to 90 times, leading to improved maintainability, readability and runtime performance of the specifications.
Modeling cyber-physical systems (CPSs) for assessment or design support purposes is a complex activity. Capturing all relevant physical, structural or behavioral aspects of the system at hand is a crucial task, which ...
详细信息
ISBN:
(纸本)9789897582837
Modeling cyber-physical systems (CPSs) for assessment or design support purposes is a complex activity. Capturing all relevant physical, structural or behavioral aspects of the system at hand is a crucial task, which often implies representation of peculiar features/constraints through non-linear equations. Values that fulfill the constraints, described with a domain specific language, are obtained solving the equations through a properly developed solution tool. Only for a limited set of CPSs it is possible to find a straightforward strategy to design the software that solves the constraints equations. In the general case, instead, the modeler has to develop an ad-hoc artifact for each different system. This is the case of non-holomorphic but real analytic complex equations, adopted to represent system components with wave behaviors. In this paper, we present a new approach to develop a software for solving such complex equations following a generative programming strategy, based on Wirtinger derivatives within the Newton-Raphson method.
Common software design practices use object-oriented (OO) frameworks that structure software in terms of objects, classes, and packages;designers then create programs by inheritance and composition of classes and obje...
详细信息
ISBN:
(纸本)0780389123
Common software design practices use object-oriented (OO) frameworks that structure software in terms of objects, classes, and packages;designers then create programs by inheritance and composition of classes and objects. Operational Software Components for Advanced Robotics (OSCAR) is one such framework for robot control software with abstractions for generalized kinematics, dynamics, performance criteria, decision making, and hardware interfacing. Even with OSCAR, writing new programs still requires a significant amount of manual labor. Feature-Oriented programming (FOP) is method for software design that models and specifies programs in terms of features, where a feature encapsulates the common design decisions that occur in a domain. A set of features then forms a domain model for a Product Line Architecture. Product variants in this product line can then he generated from a declarative specification. FOP and related technologies are emerging software engineering techniques for automatically generating programs. Our research applies FOP to robot controller software. As an example, the domain of hardware interfacing is analyzed and 41 features identified. A GUI for specifying and generating programs is presented as well. Analysis of features shows 200 possible different programs could be generated.
In software engineering everything evolves very fast: user requirements, technologies, methodologies and applications. Can we foresight and strengthen our approaches to build software to confront these more and more c...
详细信息
ISBN:
(纸本)9781424425761
In software engineering everything evolves very fast: user requirements, technologies, methodologies and applications. Can we foresight and strengthen our approaches to build software to confront these more and more complex challenges? While there are key issues to solve, it is also noteworthy to know that we are very close to exciting innovations. Software Product Lines (SPL)-modeling technology together with source-code generative tools seem to make it easier to manage diverse environments with complex, constantly changing relationships. In the context of SPL, this paper presents an approach SmartModels [1] [2], validated by a prototype - SmartFactory. It reviews the state-of-the-art of SmartModels briefly introducing its principles, basic entities and main elements when defining a business-model. It also addresses the Meta-Object Protocol (MOP) which lays the foundation of SmartModels' mechanism to fill the gap between the semantics and the reification of a model entity.
Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such configuration knowledge models feature interactions...
详细信息
ISBN:
(纸本)9781607500148
Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such configuration knowledge models feature interactions either in the problem domain (at the requirements level) or in the solution domain (at the implementation level). Thus, feature interactions are defined as a composition problem in one specific phase of the generative programming lifecycle. However, we experienced the need to model and handle feature interactions that cross the problem and solution domain. This paper presents a specific case study, in the context of our work on distributed runtime adaptation, motivating this important but often ignored category of problem-solution feature interactions.
Many systems may benefit from scripting support. but the implementation of it is seldom trivial especially if the system has not originally been developed with scripting support In mind In this paper we describe a gen...
详细信息
ISBN:
(纸本)1932415211
Many systems may benefit from scripting support. but the implementation of it is seldom trivial especially if the system has not originally been developed with scripting support In mind In this paper we describe a generative incremental process for creating an intuitive Python interface to a large, hierarchic COM library, The approach is illuminated with the original, real-life case study.
暂无评论