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

5th International Conference on Materials and Applications for Sensors and Transducers (IC-MAST)

作者： Tuna, G. Orenbas, H. Das, R. Kogias, D. Baykara, M. Gulez, K. Trakya Univ Dept Comp Programming Edirne Turkey Yildiz Tech Univ Dept Control & Automat Engn Istanbul Turkey Firat Univ Dept Software Engn TR-23169 Elazig Turkey Piraeus Univ Appl Sci Dept Elect Engn Aigaleo Greece

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.

关键词： Sensor nodes

来源：评论

学校读者我要写书评

暂无评论

Verification of Scenarios in Petri Nets Using Compact Tokenflows

引用

FUNDAMENTA INFORMATICAE 2015年第1期137卷 117-142页

作者： Bergenthum, Robin Lorenz, Robert FernUniv Dept Software Engn & Theory Programming Hagen Germany Univ Augsburg Comp Sci Augsburg Germany

In this paper we tackle the problem of verifying whether a scenario is executable in a Petri net. In contrast to sequentially ordered runs, a scenario includes both information about dependencies and independencies of events. Consequently, a scenario allows a precise and intuitive specification of a run of a concurrent or distributed system. In this paper we consider Petri nets with arc weights, namely marked place/transition-nets (p/t-nets) and p/t-nets with inhibitor arcs (pti-nets). A scenario of a p/t-net is a labelled partial order (lpo). A scenario of a pti-net is a labelled stratified order structure (lso). Accordingly, the question is either whether a given lpo is in the language of a given p/t-net or whether an lso is in the language of a given pti-net. Different approaches exist to define the partial language of a Petri net. Each definition yields a different verification algorithm, but existing algorithms perform quite poorly in terms of runtime for most examples. We introduce a new compact characterization of the partial language of a Petri net. This characterization is optimized with respect to the verification problem. The paper is a revised and extended version of the conference paper [10].

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Ontological Approach to the Formal Specification of the Standard Life Cycle

Ontological Approach to the Formal Specification of the Stan...

引用

Science and Information Conference (SAI)

作者： Lavrishcheva, Ekaterina RAS Prof MIPT Inst Syst Programming Software Engn Dept Moscow Russia

ISBN: (纸本)9781479985470

Approach is offered to the formal specification of Standard Life Cycle (LC) of the program systems (PS) by the ontology facilities with purpose automation and generation of the variants LC for making the appropriate kinds process for development different PS. Ontological approach to presentation LC model of the standard ISO/IEC 12207-2007 is included the specification of general, organizational and support processes. These processes are presented in the subject-oriented DSL, which than transformed to XML for realization. One of the processes, the testing process is given in terms of Protege systems. An eventual result of this system Protege got generally at accepted to the XML, suitable for implementation tasks testing PS on computer.

关键词： ontology the life cycle standard model of life cycle processes actions task testing DSL description Protege XML

来源：评论

学校读者我要写书评

暂无评论

Evolution of software in automated production systems: challenges and research directions

Evolution of software in automated production systems: chall...

引用

software Engineering-Konferenz, SE 2016 - software Engineering Conference, SE 2016

作者： Vogel-Heuser, Birgit Fay, Alexander Schaefer, Ina Tichy, Matthias Institute of Automation and Information Systems Technische Universität München Boltzmannstr. 15 Garching near Munich85748 Germany Institute of Automation Technology Helmut Schmidt University Holstenhofweg 85 Hamburg22043 Germany Institute of Software Engineering and Automotive Informatics Technische Universität Braunschweig Mühlenpfordtstr. 23 Braunschweig38106 Germany Institute of Software Engineering and Programming Languages Universität Ulm Ulm89069 Germany

ISBN: (纸本)9783885796466

Coping with evolution in automated production systems implies cross-disciplinary challenges along the system's life-cycle for variant-rich systems of high complexity. We provide an interdisciplinary survey on challenges and research directions in the evolution of automated production systems. After an initial discussion about the nature of automated production systems and their specific development process, we sketch in this extended abstract the challenges associated with evolution in the different development phases and a couple of cross-cutting areas.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

Verification of logs - revealing faulty processes of a medical laboratory 35th

Verification of logs - revealing faulty processes of a medic...

引用

Workshops held at 35th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2014 and 14th International Conference on Application of Concurrency to System Design, ACSD 2014

作者： Bergenthum, Robin Schick, Joachim Department of Software Engineering and Theory of Programming FernUniversität in Hagen Hagen Germany

ISBN: (纸本)9783662486498

If there is suspicion of Lyme disease, a doctor sends a blood sample of the patient to a medical laboratory. The laboratory performs a number of different blood examinations, testing for antibodies against the Lyme disease bacteria. The total number of performed examinations depends on the intermediate results of the blood count. Of course, the number of performed examinations is important since the cost of each examination needs to be covered by the health insurance companies. In order to control and restrict the number of performed examinations, the health insurance companies provide a so called charges regulation document. If some health insurance company disagrees with the charges of a laboratory, it is the job of the public prosecution service to validate the charges according to this document. In this paper we present a case study showing a systematic approach to revealing faulty processes in a medical laboratory. Different files produced by the information system of the respective laboratory are analyzed, consolidated, and stored in a database. An excerpt of this data is translated into an event log, providing a list of all events performed by the information system. This list is further compressed and translated into the language of the information system. Compared to the size of the data and the size of the event log, the size of the language is small. With the help of the regulation document this language can be split in two sets - the set of valid and the set of faulty words. In a next step, we build a colored Petri net model corresponding to the set of valid words in a sense that only the valid words are executable in the Petri net model. In a last step we translate the colored Petri net into a PL/SQL-program. This program can automatically reveal all faulty processes stored in the database. © Springer-Verlag Berlin Heidelberg 2015.

关键词： Blood

来源：评论

学校读者我要写书评

暂无评论

Compact regions for place/transition nets

Compact regions for place/transition nets

引用

Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED 2015

作者： Bergenthum, Robin Department of Software Engineering and Theory of Programming Fern Universität in Hagen Germany

This paper presents compact regions to synthesize a Petri net from a partial language. We synthesize a Petri net using the theory of regions. Let there be a partial language, every region definition provides an inequality system and a solution of this system is called a region. Every region defines a valid place where a place is valid if it enables every word of the partial language. The new compact region definition relies on compact tokenflows. Compact tokenflows are a very efficient behavioral model for the partial language of Petri nets [3, 4]. Compact regions will lead to faster synthesis algorithms computing smaller Petri nets solving the synthesis problem.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Dynamic remote control through service orchestration of point-of-care and surgical devices based on IEEE 11073 SDC

Dynamic remote control through service orchestration of poin...

引用

Health Innovations and POCT

作者： Martin Kasparick Malte Schmitz Frank Golatowski Dirk Timmermann Institute of Applied Microelectronics and Computer Engineering University of Rostock Rostock Germany Institute for Software Engineering and Programming Languages University of Lübeck Lübeck Germany

ISBN: (纸本)9781509011674

Nowadays, the staff of modern operation rooms (ORs) and intensive care units (ICUs) has to handle increasingly complex medical devices and their user interfaces. Inconsistent and often non-sterile user interfaces lead to error-prone and slow reconfiguring actions which in the end may even harm the patient. To overcome these issues interconnected medical devices are necessary. We introduce a new concept for flexible and easy-to-use remote controls which allow to control a range of different devices from different manufacturers. Current solutions are vendor-, and mostly even device-specific and tightly coupled. The effort for manufacturers is high and the maintainability is bad. Thus, controls that can be assigned dynamically to different medical devices are rare or mostly not available. Yet such dynamic controls are badly needed to improve clinical workflows especially in ORs and ICUs. We establish such a remote control setup using the service-oriented architecture defined in the IEEE 11073 SDC standards family. The presented concept is based on dynamic service orchestration to overcome existing problems: The control device and the controlled medical device are published as independent services in the network and an additional composed service interconnects them. We successfully implemented this concept for dynamically assignable controls in a real-world demonstrator with several medical devices from more than five different manufacturers. Performance evaluations show its practicability.

关键词： Measurement Biomedical imaging Control systems Surgery Standards User interfaces

来源：评论

学校读者我要写书评

暂无评论

Preface

引用

CEUR Workshop Proceedings 2017年 1989卷 5-7页

作者： Pozin, Boris A. Cavalli, Ana Rosa Petrenko, Alexander K. Department of Information and Analytical Systems EC-leasing Co. Russia Department of Network Software TELECOM and Management SudParis France Department of System Engineering Institute of System Programming of RAS Russia

来源：评论

学校读者我要写书评

暂无评论

Abstract Routing Models and Abstractions in the Context of Vehicle Routing 24

Abstract Routing Models and Abstractions in the Context of V...

引用

1st International Workshop on Social Influence Analysis / 24th International Joint Conference on Artificial Intelligence (IJCAI)

作者： Schoenfelder, Rene Leucker, Martin Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany Grad Sch Lubeck Lubeck Germany

ISBN: (纸本)9781577357384

The functional and the algebraic routing problem are generalizations of the shortest path problem. This paper shows that both problems are equivalent with respect to the concept of profile searches known from time-dependent routing. Because of this, it is possible to apply various shortest path algorithms to these routing problems. This is demonstrated using contraction hierarchies as an example. Furthermore, we show how to use Cousots' concept of abstract interpretation on these routing problems generalizing the idea of routing approximations, which can be used to find approximative solutions and even to improve the performance of exact queries. The focus of this paper lies on vehicle routing while both the functional and algebraic routing models were introduced in the context of internet routing. Due to our formal combination of both fields, new algorithms abound for various specialized vehicle routing problems. We consider two major examples, namely the time-dependent routing problem for public transportation and the energy-efficient routing problem for electric vehicles.

关键词： Vehicle routing

来源：评论

学校读者我要写书评

暂无评论

Towards Incremental Model Slicing for Delta-Oriented software Product Lines 22

Towards Incremental Model Slicing for Delta-Oriented Softwar...

引用

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

作者： Lity, Sascha Baller, Hauke Schaefer, Ina TU Braunschweig Inst Programming & React Syst Braunschweig Germany TU Braunschweig Inst Software Engn & Automot Informat Braunschweig Germany

ISBN: (纸本)9781479984695

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.

关键词： slicing software product lines Debris incremental model delta impact assessment variants Debugging Incremental Specifications

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：