检索结果-内蒙古大学图书馆

16th International Software Product Line Conference, SPLC 2012

作者： Saller, Karsten Oster, Sebastian Schürr, Andy Schroeter, Julia Lochau, Malte Real Time Systems Lab TU Darmstadt Germany LOGICA Germany Institute for Software and Multimedia Technology TU Dresden Germany Institute for Programming and Reactive Systems TU Braunschweig Germany

ISBN: (纸本)9781450310956

Mobile devices like smartphones are getting increasingly important in our daily lifes. They are used in various environments and have to dynamically adapt themselves accordingly in order to provide an optimal runtime behavior. Naturally, adapting to continuously changing environmental conditions is a challenging task because mobile devices are always limited in their resources and have to adapt in realtime. In this paper, we introduce an approach that enables resource limited devices to adapt to changing conditions using dynamic software product lines techniques. Therefore, feature models are reduced to a specific hardware context before installing the adaptive mobile application on the device. This reduces the amount of possible configurations that are compatible with the device and, thereby, minimizes the costs and the duration of an adaptation during runtime. Copyright 2012 ACM.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe 12

Industrial evaluation of pairwise SPL testing with MoSo-PoLi...

引用

6th International Workshop on Variability Modeling of Software-Intensive systems, VaMoS'12

作者： Steffens, Michaela Oster, Sebastian Lochau, Malte Fogdal, Thomas Danfoss Power Electronics A/S Denmark Real-Time Systems Group Technische Universität Darmstadt Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany

ISBN: (纸本)9781450310581

Testing Software Product Lines is a very challenging task due to variability. Frequently, approaches such as combinatorial testing are used to generate representative sets of products for testing purposes instead of testing each individual product of the SPL under test. In this contribution we present the results of applying the MoSo-PoLiTe framework at Danfoss Power Electronics A/S to calculate a representative set of product configurations for black box testing purposes. Within this evaluation we use MoSo-PoLiTe's pairwise configuration selection component on the basis of a feature model. This component implements a heuristics finding a minimal subset of configurations covering 100% T-wise feature interaction. According to the best of our knowledge, this is the first publication providing industrial results about pairwise SPL testing. © 2012 ACM.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Communication-free detection of resource conflicts in multi-agent-based cyber-physical systems

IEEE International Conference on Digital Ecosystems and Tech...

引用

IEEE International Conference on Digital Ecosystems and Technologies 2012年

作者： Le, Nguyen-Thinh Märtin, Lukas Mumme, Christopher Pinkwart, Niels Department of Informatics Clausthal University of Technology Germany Institute for Programming and Reactive Systems TU Braunschweig Germany

ISBN: (纸本)9781467317030

Multi-agent approaches can be applied to model behaviour and relations of entities in cyber-physical systems. Here entities frequently compete on insufficient resources (e.g., hardware) at the same time. Hence, resource conflicts between several agents are one of the most important conflict types in such multi-agent systems. These conflicts can significantly slow the operation of a system down, or in the worst case, might lead to a system halt. In this paper, we investigate the challenge of efficiently detecting resource conflicts. For this purpose, we introduce a conflict detection model based on beliefs of BDI agents. One benefit of our approach is that conflicts are detected using local belief state information of agents without communication. For evaluation purposes we apply our conflict detection model to a multi-agent system representing a transportation service with moving robots on a fictitious airport to measure the rate of collisions and completed transportation tasks. The evaluation study showed that the system deploying the conflict detection model can avoid collisions between moving agents and agents execute tasks successfully. © 2012 IEEE.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Delta-oriented model-based SPL regression testing

Delta-oriented model-based SPL regression testing

引用

International Workshop on Product Line Approaches in Software Engineering (PLEASE)

作者： Sascha Lity Malte Lochau Ina Schaefer Ursula Goltz Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany Institute for Software Systems Engineering Technical University of Braunschweig Brunswick Germany

Testing software product lines by considering each product variant in isolation is impracticable due to the high number of potential product configurations. Therefore, applying SPL reuse principles also to test artifacts in a concise way is essential. We address this open issue by a novel, model-based SPL testing framework based on reusable delta-oriented state machine test models and regression-based test suite evolution. Therein, SPL test artifacts are incrementally evolved for every product variant by explicitly considering commonality and variability between two subsequent products under test. Our approach guarantees for every product configuration stable test coverage and allows the derivation of redundancy-reduced, yet reliable retesting obligations. We illustrate our framework by means of an automotive case study and compare our experimental results with alternative SPL testing strategies w.r.t. efficiency improvements.

关键词： Testing Modeling Automotive engineering programming Adaptation models Software systems

来源：评论

学校读者我要写书评

暂无评论

Communication-free detection of resource conflicts in multi-agent-based cyber-physical systems

Communication-free detection of resource conflicts in multi-...

引用

Inaugural IEEE-IES Digital Ecosystems and Technologies Conference, DEST

作者： Nguyen-Thinh Le Lukas Märtin Christopher Mumme Niels Pinkwart Department of Informatics Clausthal University of Technology Germany Institute for Programming and Reactive Systems Technical University of Braunschweig Germany

关键词： Multiagent systems Atmospheric modeling Roads Airports Radiation detectors Hardware

来源：评论

学校读者我要写书评

暂无评论

Towards integrated rule-driven software development for IT ecosystems

IEEE International Conference on Digital Ecosystems and Tech...

引用

IEEE International Conference on Digital Ecosystems and Technologies 2012年

作者： Mensing, Benjamin Goltz, Ursula AniculǍesei, Adina Herold, Sebastian Rausch, Andreas Gärtner, Stefan Schneider, Kurt TU Braunschweig Institute for Programming and Reactive Systems 38106 Braunschweig Germany TU Clausthal Software Systems Engineering Group 38670 Clausthal-Zellerfeld Germany Leibniz Universität Hannover Software Engineering Group 30167 Hannover Germany

ISBN: (纸本)9781467317030

Modern large-scale software-intensive systems are complex conglomerates of interacting (socio-) technical systems. The single systems are highly adaptive and autonomous leading to emergent behavior. Well-established development approaches, that are appropriate for single software-intensive systems, do not scale well for such systems-of-systems;the focus of development shifts from a complete specification of the system to the handling of emergent behavior. Traditional development approaches are not prepared for that shift. This paper outlines an integrated software development approach for IT ecosystems, a class of ultra-large scale software intensive systems. Single systems as parts of IT ecosystems are developed applying common model-driven techniques while rules specify how to detect emergent and undesired behavior and how to react. The integrated solution aims at enabling model-driven software development for IT ecosystems. The approach will be demonstrated and discussed by its application to a feasibility study. The presented concepts are part of the methodological foundation of future tool support for software development in IT ecosystems. © 2012 IEEE.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

Towards integrated rule-driven software development for IT ecosystems

Towards integrated rule-driven software development for IT e...

引用

Inaugural IEEE-IES Digital Ecosystems and Technologies Conference, DEST

作者： Benjamin Mensing Ursula Goltz Adina Aniculăesei Sebastian Herold Andreas Rausch Stefan Gärtner Kurt Schneider Institute for Programming and Reactive Systems Technical University of Braunschweig Brunswick Germany Software Systems Engineering Group Technical University of Clausthal-Zellerfeld Clausthal-Zellerfeld Germany Software Engineering Group Leibniz Universität Hannover Hanover Germany

Modern large-scale software-intensive systems are complex conglomerates of interacting (socio-) technical systems. The single systems are highly adaptive and autonomous leading to emergent behavior. Well-established development approaches, that are appropriate for single software-intensive systems, do not scale well for such systems-of-systems; the focus of development shifts from a complete specification of the system to the handling of emergent behavior. Traditional development approaches are not prepared for that shift. This paper outlines an integrated software development approach for IT ecosystems, a class of ultra-large scale software intensive systems. Single systems as parts of IT ecosystems are developed applying common model-driven techniques while rules specify how to detect emergent and undesired behavior and how to react. The integrated solution aims at enabling model-driven software development for IT ecosystems. The approach will be demonstrated and discussed by its application to a feasibility study. The presented concepts are part of the methodological foundation of future tool support for software development in IT ecosystems.

关键词： Ecosystems Unified modeling language programming Computer architecture Ontologies Runtime Monitoring

来源：评论

学校读者我要写书评

暂无评论

Synchrony vs. causality in asynchronous Petri nets 18

Synchrony vs. causality in asynchronous Petri nets

引用

18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011

作者： Schicke, Jenswolfhard Peters, Kirstin GoltZ, Ursula Institute for Programming and Reactive Systems TU Braunschweig Germany School of EECS TU Berlin Germany

Given a synchronous system, we study the question whether the behaviour of that system can be exhibited by a (non-trivially) distributed and hence asynchronous implementation. In this paper we show, by counterexample, that synchronous systems cannot in general be implemented in an asynchronous fashion without either introducing an infinite implementation or changing the causal structure of the system behaviour. © J.-W. Schicke, K. Peters & U. Goltz This work is licensed under the Creative Commons Attribution License.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Synchrony vs causality in the asynchronous PiCalculus 18

Synchrony vs causality in the asynchronous PiCalculus

引用

18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011

作者： Peters, Kirstin Schicke, Jenswolfhard Nestmann, Uwe School of EECS TU Berlin Germany Institute for Programming and Reactive Systems TU Braunschweig Germany

We study the relation between process calculi that differ in their either synchronous or asynchronous interaction mechanism. Concretely, we are interested in the conditions under which synchronous interaction can be implemented using just asynchronous interactions in the p-calculus. We assume a number of minimal conditions referring to the work of Gorla: a "good" encoding must be compositional and preserve and reflect computations, deadlocks, divergence, and success. Under these conditions, we show that it is not possible to encode synchronous interactions without introducing additional causal dependencies in the translation. © K. Peters, J.-W. Schicke & U. Nestmann This work is licensed under the Creative Commons Attribution License.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

MoSo-PoLiTe - Tool support for pairwise and model-based software product line testing 11

MoSo-PoLiTe - Tool support for pairwise and model-based soft...

引用

Proceedings of the 5th International Workshop on Variability Modeling of Software-Intensive systems

作者： Oster, Sebastian Zorcic, Ivan Markert, Florian Lochau, Malte Real-Time Systems Group Technische Universität Darmstadt Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany

ISBN: (纸本)9781450305709

Testing Software Product Lines is a very challenging task and approaches like combinatorial testing and model-based testing are frequently used to reduce the effort of testing Software Product Lines and to reuse test artifacts. In this contribution we present a tool chain realizing our MoSo-PoLiTe concept combining combinatorial and model-based testing. Our tool chain contains a pairwise configuration selection component on the basis of a feature model. This component implements an heuristic finding a minimal subset of configurations covering 100% pairwise interaction. Additionally, our tool chain allows the model-based test case generation for each configuration within this generated subset. This tool chain is based on commercial tools since it was developed within industrial cooperations. A non-commercial implementation of pairwise configuration selection is available and an integration with an Open Source model-based testing tool is under development. Copyright 2011 ACM.

关键词： Chains

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：