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

Conference on Model Driven engineering languages and Systems Companion (MODELS-C)

作者： Jakob Pietron Heiko Raab Matthias Tichy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany

Context: Operation-based versioning introduces the benefit of meaningful edit histories. However, to load a distinct prior version, it must be restored by reapplying all previous operations, which is time-consuming and interrupts the user's workflow. Caching helps to overcome this problem to the cost of increasing memory requirements. Further, there is no caching approach supporting branches, merges, and possibly resolved conflicts. Objective: We developed an adaptive caching strategy capable of the previously mentioned features. The adaptive strategy aims at reducing the memory in use by garbage collecting aged caches by not using the same static distance between two caches across the whole edit history. Instead, the distance increases depending on a version's age and its distance to a branch's head. Method: We conducted a controlled experiment with models of several sizes and compared the time to restore model versions and the memory in use for no caching, static caching, and our developed adaptive caching. Results: Adaptive caching decreases the time to restore a version to 0.0007 % and 8.3 % compared to no caching. While static caching performs slightly better, it uses 70 % more memory than adaptive caching. Conclusion: Our adaptive caching strategy performs well on models with branches and merges and reduces the time to restore below thresholds which would negatively impact the user experience.

关键词：

来源：评论

学校读者我要写书评

暂无评论

*** - Approaches for risk analysis and measures of dynamically interconnected medical devices

*** - Approaches for risk analysis and measures of dynamical...

引用

5th Medical Cyber-Physical Systems Workshop:Medical Device Interoperability, Safety, and Security Assurance, MCPS 2014

作者： Kühn, Franziska Leucker, Martin Mildner, Alexander 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 UniTransferKlinik Lübeck Germany

ISBN: (纸本)9783939897668

Nowadays, it lacks an open, standardized and dynamic interconnection of medical devices. All existing combinations of medical devices consist of isolated solutions with proprietary interfaces, as no common standards for networking and the exchange of data of medical devices exist. This situation leads to confusing operating rooms and inefficient operations. Thus, new strategies need to be developed for the authorization of dynamically interconnected medical devices. Primarily, those concern of an acquisition and methodical adaption of new requirements and risks resulting from this way of interconnection. The approach is to develop a method for a risk analysis for interconnected medical devices, which is structured modular and consists of a risk assessment of the standalone device and a risk analysis for the interconnection considering the risks involved in the transfer of functions. When interconnecting the medical devices the risk analysis of each of the devices is taken and they are compared by a gap analysis. Through this strategy it will be possible to realize a standard-compliant dynamic interconnection of medical products, which would be advantageous both for clinic operators and producers. This paper presents the current situation of the authorization of combined medical devices and proposes a strategy for the risk management of dynamically interconnected medical devices as a substantial part of the authorization. © Franziska Kühn, Martin Leucker, and Alexander Mildner.

关键词： Risk analysis

来源：评论

学校读者我要写书评

暂无评论

Secured SOA for the safe interconnection of medical devices (Position paper)

Secured SOA for the safe interconnection of medical devices ...

引用

Workshops der Tagung software engineering, SE-WS 2015

作者： Leucker, Martin 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

This position paper presents a concept on how the dynamic interconnection of medical devices in a service oriented architecture (SOA) can be secured based on formal interface descriptions. In the framework OpenSDC used in the research project *** formal interface descriptions are already used to model medical devices. The new approach is to use this formal descriptions to ensure the correct usage of the interface at runtime and to support developers in implementing medical devices with OpenSDC at the same time.

关键词： Service oriented architecture (SOA)

来源：评论

学校读者我要写书评

暂无评论

A Comparative Analysis of Multi-agent Simulation Platforms for Energy and Mobility Management 20th

A Comparative Analysis of Multi-agent Simulation Platforms ...

引用

Proceedings of the 20th European Conference on Multi-Agent Systems, EUMAS 2023

作者： Ali, Aliyu Tanko Leucker, Martin Schuldei, Andreas Stellbrink, Leonard Sachenbacher, Martin Institute for Software Engineering and Programming Languages University of Lübeck Ratzeburger Allee 160 Lübeck Germany Institute for Multimedia and Interactive Systems University of Lübeck Ratzeburger Allee 160 Lübeck Germany

ISBN: (纸本)9783031432637

Effective energy and mobility management benefits from multi-agent simulations (MAS) to model complex interactions among various agent types. Selecting the optimal MAS platform to implement and simulate these interactions is vital for achieving accurate results, scalability to realistic problem sizes, and efficient computational performance. This paper investigates the energy and mobility domain and identifies key parameters such as the number and complexity of agents, parallel computing power, CPU requirements etc., for developing MAS in the context of this domain. It then presents a comprehensive evaluation of various MAS development platforms. Using a multi-level selection and elimination approach, we narrowed down our evaluation to two final candidates. We then implemented key aspects of our model in both platforms to compare them in terms of practical relevance. Our findings reveal that the *** platform outperforms the Mesa platform in terms of runtime performance, has a smaller memory footprint for large numbers of agents, and offers scalability, making it the most suitable choice for developing MAS for integrated energy and mobility models. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

A decidable confluence test for cognitive models in ACT-R

arXiv

引用

arXiv 2017年

作者： Gall, Daniel Frühwirth, Thom Institute of Software Engineering and Programming Languages Ulm University Ulm89069 Germany

Computational cognitive modeling investigates human cognition by building detailed computational models for cognitive processes. Adaptive Control of Thought – Rational (ACT-R) is a rule-based cognitive architecture that offers a widely employed framework to build such models. There is a sound and complete embedding of ACT-R in Constraint Handling Rules (CHR). Therefore analysis techniques from CHR can be used to reason about computational properties of ACT-R models. For example, confluence is the property that a program yields the same result for the same input regardless of the rules that are applied. In ACT-R models, there are often cognitive processes that should always yield the same result while others e.g. implement strategies to solve a problem that could yield different results. In this paper, a decidable confluence criterion for ACT-R is presented. It allows to identify ACT-R rules that are not confluent. Thereby, the modeler can check if his model has the desired behavior. The sound and complete translation of ACT-R to CHR from prior work is used to come up with a suitable invariant-based confluence criterion from the CHR literature. Proper invariants for translated ACT-R models are identified and proven to be decidable. The presented method coincides with confluence of the original ACT-R models. Copyright © 2017, The Authors. All rights reserved.

关键词： Computability and decidability

来源：评论

学校读者我要写书评

暂无评论

How to Drawjectory? - Trajectory Planning using programming by Demonstration

arXiv

引用

arXiv 2024年

作者： Alkewitz, Leonhard Zuccarello, Timo Raschke, Alexander Tichy, Matthias Institute of Software Engineering and Programming Languages Ulm University Ulm89081 Germany

A flight trajectory defines how exactly a quadrocopter moves in the three-dimensional space from one position to another. Automatic flight trajectory planning faces challenges such as high computational effort and a lack of precision. Hence, when low computational effort or precise control is required, programming the flight route trajectory manually might be preferable. However, this requires in-depth knowledge of how to accurately plan flight trajectories in three-dimensional space. We propose planning quadrocopter flight trajectories manually using the programming by Demonstration (PbD) approach – simply drawing the trajectory in the three-dimensional space by hand. This simplifies the planning process and reduces the level of in-depth knowledge required. We implemented the approach in the context of the Quadcopter Lab at Ulm University. In order to evaluate our approach, we compare the precision and accuracy of the trajectories drawn by a user using our approach as well as the required time with those manually programmed using a domain specific language. The evaluation shows that the Drawjectory workflow is, on average, 78.7 seconds faster without a significant loss of precision, shown by an average deviation 6.67 cm. © 2024, CC BY.

关键词： Flight paths

来源：评论

学校读者我要写书评

暂无评论

Device- And service profiles for integrated or systems based on open standards

Device- And service profiles for integrated or systems based...

引用

作者： Mildner, Alexander Janß, Armin Dell'Anna-Pudlik, Jasmin Merz, Paul Leucker, Martin Radermacher, Klaus UniTransferKlinik Lübeck Maria-Goeppert-Straße 1 Lübeck23562 Germany Institute for Software Engineering and Programming Languages University of Lübeck Germany Department of Medical Engineering Helmholtz-Institute for Biomedical Engineering RWTH Aachen University Germany

Integrated OR systems nowadays are closed and proprietary, so that the interconnection of components from third-party vendors is only possible with high time and cost effort. An integrated operating theatre with open interfaces, giving clinical operators the opportunity to choose individual medical devices from different manufacturers, is currently being developed in the framework of the BMBF (Federal Ministry of Education and Research) funded project *** [1]. Actual standards and concepts regarding technical feasibility and accreditation process do not cope with the requirements for modular integration based on an open standard. Therefore, strategies as well as service and device profiles to enable a procedure for risk management and certifiability are in the focus of the project work. Amongst others, a concept for User Interface Profiles (UI-Profiles) has been conceived in order to describe medical device functions and the entire user interface regarding Human-Machine-Interaction (HMI) characteristics with the aim to identify human-induced risks of central user interfaces. The use of standardized device and service profiles shall allow the manufacturers to integrate their medical devices in the *** network, without disclosing the medical devices' risk analysis and related confidential knowledge or proprietary information. © 2015 by Walter de Gruyter GmbH, Berlin/Boston 2015.

关键词： Usability engineering

来源：评论

学校读者我要写书评

暂无评论

Confluence modulo equivalence with invariants in constraint handling rules

arXiv

引用

arXiv 2018年

作者： Gall, Daniel Frühwirth, Thom Institute of Software Engineering and Programming Languages Ulm University Ulm89069 Germany

Confluence denotes the property of a state transition system that states can be rewritten in more than one way yielding the same result. Although it is a desirable property, confluence is often too strict in practical applications because it also considers states that can never be reached in practice. Additionally, sometimes states that have the same semantics in the practical context are considered as different states due to different syntactic representations. By introducing suitable invariants and equivalence relations on the states, programs may have the property to be confluent modulo the equivalence relation w.r.t. the invariant which often is desirable in practice. In this paper, a sufficient and necessary criterion for confluence modulo equivalence w.r.t. an invariant for Constraint Handling Rules (CHR) is presented. It is the first approach that covers invariant-based confluence modulo equivalence for the de facto standard semantics of CHR. There is a trade-off between practical applicability and the simplicity of proving a confluence property. Therefore, a better manageable subset of equivalence relations has been identified that allows for the proposed confluence criterion and and simplifies the confluence proofs by using well established CHR analysis methods. Copyright © 2018, The Authors. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

ADVISE: Understanding Reconfigurations in Self-Adaptive Cloud Systems

ADVISE: Understanding Reconfigurations in Self-Adaptive Clou...

引用

IEEE International Workshop on Visualizing software for Understanding and Analysis (VISSOFT)

作者： Raphael Straub Sarah Stieß Matthias Tichy Steffen Becker Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Institute of Software Engineering University of Stuttgart Stuttgart Germany

ISBN: (数字)9798331528485

ISBN: (纸本)9798331528492

Self-adaptive cloud systems dynamically adapt their configuration to achieve Service Level Objectives (SLOs), for example, to ensure a response time below a certain threshold, in changing environments. However, understanding these recon-figurations is challenging. To address this issue, we introduce ADVISE, a visualization tool for reconfigurations in self-adaptive systems. Our adaption approach leverages the Palladio ecosystem to predict system performance and plan optimal reconfigurations by exploring the state space. The optimal path in the state space graph, determined by a utility value based on the SLOs, represents the ideal policy. Our tool provides real-time visualizations of performance predictions and reconfiguration plans aiding developers in managing and optimizing system behavior effectively. We enable both the analysis of individual states and the examination of paths within the state space graph, enabling users to analyze not only single adaptation decisions but also the overall reconfiguration behavior. Video URL: [1]

关键词： Visualization System performance Ecosystems Streaming media software Real-time systems Space exploration Time factors

来源：评论

学校读者我要写书评

暂无评论

A Modeling Framework for the Development of Provably Secure E-Commerce Applications

A Modeling Framework for the Development of Provably Secure ...

引用

International Conference on software engineering Advances (ICSEA)

作者： Nina Moebius Dominik Haneberg Wolfgang Reif Gerhard Schellhorn Institute of Computer Science Department of Software Engineering and Programming Languages University of Augsburg Augsburg Germany

Developing security-critical applications is very difficult and the past has shown that many applications turned out to be erroneous after years of usage. For this reason it is desirable to have a sound methodology for developing security-critical e-commerce applications. We present an approach to model these applications with the Unified Modeling Language (UML) [1] extended by a UML profile to tailor our models to security applications. Our intent is to (semi-) automatically generate a formal specification suitable for verification as well as an implementation from the model. Therefore we offer a development method seamlessly integrating semi-formal and formal methods as well as the implementation. This is a significant advantage compared to other approaches not dealing with all aspects from abstract models down to code. Based on this approach we can prove security properties on the abstract protocol level as well as the correctness of the protocol implementation in Java with respect to the formal model using the refinement approach. In this paper we concentrate on the modeling with UML and some details regarding the transformation of this model into the formal specification. We illustrate our approach on an electronic payment system called Mondex [10]. Mondex has become famous for being the target of the first ITSEC evaluation of the highest level E6 which requires formal specification and verification.

关键词： Unified modeling language Object oriented modeling Formal specifications Java Application software Smart cards Communication system security Cryptographic protocols Computer science software engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：