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

IEEE International Conference on software Analysis, Evolution and Reengineering (SANER)

作者： Sascha Lity Hauke Baller Ina Schaefer TU Braunschweig Institute for Programming and Reactive Systems Braunschweig Germany TU Braunschweig Institute of Software Engineering and Automotive Informatics Braunschweig Germany

The analysis of nowadays software systems for supporting, e.g., testing, verification or debugging is becoming more challenging due to their increasing complexity. Model slicing is a promising analysis technique to tackle this issue by abstracting from those parts not influencing the current point of interest. In the context of software product lines, applying model slicing separately for each variant is in general infeasible. Delta modeling allows exploiting the explicit specification of commonality and variability within deltas and enables the reuse of artifacts and already obtained results to reduce the modeling and analysis efforts. In this paper, we propose a novel approach for incremental model slicing for delta-oriented software product lines. Based on the specification of model changes between variants by means of model regression deltas, an incremental adaptation of variant-specific dependency graphs as well as an incremental slice computation is achieved. The slice computation further allows for the derivation of differences between slices for the same point of interest enhancing, e.g., change impact analysis. We provide details of our incremental approach, discuss benefits and present future work.

关键词： Computational modeling Adaptation models Unified modeling language Testing Analytical models software systems

来源：评论

学校读者我要写书评

暂无评论

Information security threats and an easy-to-implement attack detection framework for wireless sensor network-based smart grid applications

引用

IOP Conference Series: Materials Science and engineering 2016年第1期108卷

作者： G Tuna H Örenbaş R Daş D Kogias M Baykara K K Department of Computer Programming Trakya University Edime Turkey Department of Software Engineering Firat University Elazig Turkey Department of Electronics Engineering Piraeus University of Applied Sciences Aigaleo Greece Department of Control and Automation Engineering Yildiz Technical University Istanbul Turkey

Wireless Sensor Networks (WSNs) when combined with various energy harvesting solutions managing to prolong the overall lifetime of the system and enhanced capabilities of the communication protocols used by modern sensor nodes are efficiently used in are efficiently used in Smart Grid (SG), an evolutionary system for the modernization of existing power grids. However, wireless communication technology brings various types of security threats. In this study, firstly the use of WSNs for SG applications is presented. Second, the security related issues and challenges as well as the security threats are presented. In addition, proposed security mechanisms for WSN-based SG applications are discussed. Finally, an easy- to-implement and simple attack detection framework to prevent attacks directed to sink and gateway nodes with web interfaces is proposed and its efficiency is proved using a case study.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A secure and easy-to-implement web-based communication framework for caregiving robot teams

引用

IOP Conference Series: Materials Science and engineering 2016年第1期108卷

作者： G Tuna R Daş A Tuna H Örenbaş M Baykara K Gülez Department of Computer Programming Trakya University Edime Turkey School of Foreign Languages Trakya University Edime Turkey Department of Control and Automation Engineering Yildiz Technical University Istanbul Turkey Department of Software Engineering Firat University Elazig Turkey

In recent years, robots have started to become more commonplace in our lives, from factory floors to museums, festivals and shows. They have started to change how we work and play. With an increase in the population of the elderly, they have also been started to be used for caregiving services, and hence many countries have been investing in the robot development. The advancements in robotics and wireless communications has led to the emergence of autonomous caregiving robot teams which cooperate to accomplish a set of tasks assigned by human operators. Although wireless communications and devices are flexible and convenient, they are vulnerable to many risks compared to traditional wired networks. Since robots with wireless communication capability transmit all data types, including sensory, coordination, and control, through radio frequencies, they are open to intruders and attackers unless protected and their openness may lead to many security issues such as data theft, passive listening, and service interruption. In this paper, a secure web-based communication framework is proposed to address potential security threats due to wireless communication in robot-robot and human-robot interaction. The proposed framework is simple and practical, and can be used by caregiving robot teams in the exchange of sensory data as well as coordination and control data.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Efficient profile routing for electric vehicles

Efficient profile routing for electric vehicles

引用

1st International Conference on Internet of Vehicles, IOV 2014

作者： Schönfelder, René Leucker, Martin Walther, Sebastian Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9783319111667

This paper introduces a powerful, efficient and generic framework for optimal routing of electric vehicles in the setting of flexible edge cost functions and arbitrary initial states. More precisely, the introduced state-based routing problem is a consolidated model covering energy-efficiency and time-dependency. Given two vertices and an initial state the routing problem is to find optimal paths yielding minimal final states, while the profile routing problem is to find optimal paths for all initial states. A universal method for applying shortest path techniques to profile routing is developed. To show the genericity and efficiency of this approach it is instantiated for two typical shortest path algorithms, namely for A*and Contraction Hierarchies. Especially using the latter, a highly efficient solution for energy-efficient profile routing is obtained. © 2014 Springer International Publishing Switzerland.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

Monitoring modulo theories

Monitoring modulo theories

引用

20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014 - Held as Part of the European Joint Conferences on Theory and Practice of software, ETAPS 2014

作者： Decker, Normann Leucker, Martin Thoma, Daniel Institute for Software Engineering and Programming Languages Universität Zu Lübeck Germany

ISBN: (纸本)9783642548611

This paper considers a generic approach to enhance traditional runtime verification techniques towards first-order theories in order to reason about data. This allows especially for the verification of multi-threaded, object-oriented systems. It presents a general framework lifting the monitor synthesis for propositional temporal logics to a temporal logic over structures within some first-order theory. To evaluate such temporal properties, SMT solving and classical monitoring of propositional temporal properties is combined. The monitoring procedure was implemented for linear-time temporal logic (LTL) based on the Z3 SMT solver and evaluated regarding runtime performance. © 2014 Springer-Verlag.

关键词： Temporal logic

来源：评论

学校读者我要写书评

暂无评论

Selected challenges of software evolution for automated production systems

Selected challenges of software evolution for automated prod...

引用

IEEE International Conference on Industrial Informatics (INDIN)

作者： B. Vogel-Heuser S. Feldmann J. Folmer J. Ladiges A. Fay S. Lity M. Tichy M. Kowal I. Schaefer C. Haubeck W. Lamersdorf T. Kehrer S. Getir M. Ulbrich V. Klebanov B. Beckert Institute of Automation and Information Systems Technische Universität München Germany Institute of Software Engineering and Automotive Informatics University of Braunschweig Germany Automation Technology Institute Helmut Schmidt University Germany Distributed Systems and Information Systems Universität Hamburg Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Germany Software Engineering Group University of Siegen Germany Software Engineering Division University of Gothenburg Chalmers Sweden Reliable Software Systems University of Stuttgart Germany Application-oriented Formal Verification Karlsruhe Institute of Technology Germany

Automated machines and plants are operated for some decades and undergo an everlasting evolution during this time. In this paper, we present three related open evolution challenges focusing on software evolution in the domain of automated production systems, i.e. evolution and co-evolution of (interdisciplinary) engineering models and code, quality assurance as well as variant and version management during evolution.

关键词： software Unified modeling language Automation Hardware Adaptation models Solid modeling Testing

来源：评论

学校读者我要写书评

暂无评论

Visual Language Plans - Formalization of a pedagogical learnflow modeling language

Visual Language Plans - Formalization of a pedagogical learn...

引用

International Workshop on Petri Nets and software engineering, PNSE 2014

作者： Irgang, Kerstin Irgang, Thomas Human-Centered Information Systems Clausthal University of Technology Germany Department of Software Engineering and Theory of Programming Fernuniversität Hagen Germany

In this paper we present an approach to support selfregulated learn-flows in the collaborative environment Metafora. In this environment students construct Visual Language Plans. Those plans model workflows of learning activities, which the students execute to solve complex learning scenarios across different tools. Visual Language plans were already used in the context of different pedagogical studies but have no formal syntax or semantics, yet. In this paper, we present the syntax of Visual Language Plans and develop a mapping from Visual Language Plans to Petri net defining semantics. With the help of this semantics, the environment can support the students executing their learnflows. If students execute activities given in a Visual Language Plan which are not enabled in the corresponding Petri net, feedback messages occur guiding the students. Students can refine their Visual Language Plan during execution. If a plan changes the corresponding Petri net model also changes. Analyzing the newly generated Petri net model can help to uncover faulty states of the learnflow model.

关键词： Visual languages

来源：评论

学校读者我要写书评

暂无评论

***: Safe interconnection of medical devices 3

***: Safe interconnection of medical devices

引用

3rd International Symposium on Foundations of Health Information engineering and Systems, FHIES 2013

作者： Kühn, Franziska Leucker, Martin Institute for Software Engineering and Programming Languages University of Lübeck Germany Graduate School for Computing in Medicine and Life Science University of Lübeck Germany

ISBN: (纸本)9783642539558

This position paper gives an overview on *** project which focuses on the dynamic and safe interconnection of medical devices in an operating room. A brief overview of the legal situation for the approval of medical devices is given to highlight today’s limitations of the dynamic interconnection of safety critical devices in hospitals. A collection of methods equipped with a methodology is presented and discussed, which is intended to replace current integration tests at runtime. © Springer-Verlag Berlin Heidelberg 2014.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

Reasoning (on) service component ensembles in rewriting logic

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8373卷 188-211页

作者： Belzner, Lenz De Nicola, Rocco Vandin, Andrea Wirsing, Martin Programming and Software Engineering LMU Munich Germany IMT Institute for Advanced Studies Lucca Italy

programming autonomic systems with massive number of heterogeneous components poses a number of challenges to language designers and software engineers and requires the integration of computational tools and reasoning tools. We present a general methodology to enrich SCEL, a recently introduced language for programming systems with massive numbers of components, with reasoning capabilities that are guaranteed by external reasoners. We show how the methodology can be instantiated by considering the Maude implementation of SCEL and a specific reasoner, Pirlo, implemented in Maude as well. Moreover we show how the actual integration can benefit from the existing analytical tools of the Maude framework. In particular, we demonstrate our approach by considering a simple scenario consisting of a group of robots moving in an arena aiming at minimising the number of collisions. © 2014 Springer-Verlag Berlin Heidelberg.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Three-valued asynchronous distributed runtime verification 14

Three-valued asynchronous distributed runtime verification

引用

12th ACM/IEEE International Conference on Methods and Models for System Design, MEMOCODE 2014

作者： Scheffel, Torben Schmitz, Malte Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany Graduate School for Computing in Medicine and Life Sciences Universität zu Lübeck Germany

ISBN: (纸本)9781479953387

This paper studies runtime verification of distributed asynchronous systems and presents a monitor generation procedure for this purpose, which allows three-valued monitoring. The properties used in the monitors are specified in a logic that was newly created for this purpose and is called Distributed Temporal Logic (DTL). DTL combines the three-valued Linear Temporal Logic (LTL3) with the past-time Distributed Temporal Logic (ptDTL), which allows to mark subformulas for remote evaluation. The monitor generation presented in this paper is based on an adopted version of the LTL3 monitor generation, which integrates the ptDTL monitor construction. The aim of this new procedure is to increase the amount of monitorable properties compared to the properties monitorable with ptDTL. Runtime verification using this new monitoring has been implemented on LEGO Mindstorms NXT robots communicating via Bluetooth. © 2014 IEEE.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：