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

IEEE International Symposium on Industrial Electronics (ISIE)

作者： Jan Ladiges Alexander Fay Christopher Haubeck Winfried Lamersdorf Sascha Lity Ina Schaefer Automation Technology Institute Helmut-Schmidt-University Hamburg Germany Distributed Systems and Information Systems University of Hamburg Hamburg Germany Institute for Programming and Reactive Systems Technische Universität Braunschweig Braunschweig Germany Technische Universitat Braunschweig Braunschweig Niedersachsen DE

During the commissioning phase of production systems the identification and correction of malfunctions is a tedious task mainly done manually by commissioning engineers. This task is of high importance because missed malfunctions may result in hazardous behavior during operation phase. At this point, regardless of the engineers expertise a systematic support can drastically decrease the risk of missed malfunctions. A promising systematic approach is to use engineering artifacts of the system design phase as an information source to identify unexpected behavior regarding the specification. This paper proposes such a systematic approach based on model-based testing resulting in automatic test case generation and execution which allows to support engineers with learned models representing the expected transient system behavior. Subsequently, the obtained models are used for detection of unexpected behavior during commissioning. The unexpected behavior is presented to a commissioning engineer who decides if the behavior (1) is correct and will be added to the models or (2) represents an identified system malfunction. The approach is evaluated on a demonstration plant.

关键词： Software Testing Sensors Actuators Production Hardware Monitoring

来源：评论

学校读者我要写书评

暂无评论

Towards incremental test suite optimization for software product lines 14

Towards incremental test suite optimization for software pro...

引用

6th International Workshop on Feature-Oriented Software Development, FOSD 2014

作者： Baller, Hauke Lochau, Malte Institute for Programming and Reactive Systems Braunschweig Germany Real-time Systems Lab Darmstadt Germany

ISBN: (纸本)9781450329804

The design of an appropriate test suite for software testing is a challenging task. It requires a suitable tradeoff between effectiveness, e.g., a suficient amount of test cases to satisfy the test goals of a given coverage criterion, and eficiency, e.g., a redundancy-reduced selection of test cases. Recent test suite optimization approaches, therefore, usually require an explicit enumeration of existing test cases to select from. The test suite design for covering entire software product lines is even more problematic as the dependency between test cases, test goals and product configurations has to be taken into account. Due to the exponential number of configurations w.r.t. the number of features, an explicit enumeration of all products for optimizing a product-line test suite is impractible. To tackle this problem, we propose an incremental test suite optimization approach for product-line testing that does not require an explicit representation of the set of configurations under test, but rather uses a symbolic representation in terms of feature constraints. The approach is illustrated by means of a running example. © Copyright 2014 ACM.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

On the Use of XMDD in Software Development Education

On the Use of XMDD in Software Development Education

引用

IEEE Annual International Computer Software and Applications Conference (COMPSAC)

作者： Anna-Lena Lamprecht Tiziana Margaria Johannes Neubauer University of Potsdam Institute of Computer Science Potsdam Germany University of Limerick and Lero The Irish Software Research Centre Limerick Ireland TU Dortmund Chair for Programming Systems Dortmund Germany

Process modeling can play a central role in problem-based software development education with regard to qualifying students for the design and implementation of software applications for their specific needs without putting the focus on the technical part of coding. eXtreme Model Driven Design (XMDD) is a paradigm that focuses on the What (solving problems), rather than on the How (the technical skills of writing code). In this way it renders application design and implementation less daunting, thus accessible and more appealing to people that are either less technically skilled, or simply not interested at all in learning usual programming. In this paper we report on our experiences with the use of the jABC process modeling framework for teaching service-based software development in an XMDD fashion to students of different fields and on different levels of education.

关键词： Games Software Process modeling Education programming profession

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

The parameters impact on cutting forces and determination of regression function

引用

IOP Conference Series: Materials Science and Engineering 2016年第1期161卷

作者： T D Popovici Department of Manufacturing Engineering The faculty of Engineering and Management of Technological Systems University Politehnica Bucharest 313 Splaiul Independentei Sector 6 Bucharest Romania Department of CN Programming and Technology Research Romanian Research & Development Institute for Gas Turbine 220 D Iuliu Maniu Bd. Sector 6 Bucharest Romania

The aim of this paper is to present results of certain experiments related to material workability characteristics, taking into consideration its high quality features and large usability for special manufacturing. It is highly used in various industrial processes, such as aeronautics, petrochemical industry, chemical industry, etc. It was examined the influence of milling parameters upon the three dimensional cutting force and after it was determinate regression function.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The Operating Computing Complex "Dnepr-2"

The Operating Computing Complex "Dnepr-2"

引用

International Conference on Computer Technology in Russia and in the Former Soviet Union (SoRuCom)

作者： Katerina Lavrischeva Institute of the System Programming of Russian Academy of Sciences Institute of the Mathematical Machines and Systems of Ukraine Academy of Sciences

In paper shortly describes handling calculable complex "Dnepr-2, which including a calculable machine "Dnepr-21" and handling machine "Dnepr-22" for the management by Technologies Processes (TP) objects to Automatisation systems. Complex"Dnepr-2" was elaborated in institute of cybernetics AN Ukraine and his special designer bureau of mathematical machines and systems under the direction of the academician V.M. Gluchkov (Decision of CM USSR No 1250 from 12.12.1965). This complex was one of pioneer works in USSR. In him on period of 60 years of past century new and original scientific and technical decisions are realized. In complex "Dnepr-2" was realized management by the calculation and treatment in real time by objects, system of breaking, operation system with the division of time, translators from the new languages (Auto cod, Algol-60, COBOL and others).

关键词： programming Computers Real-time systems System software Debugging Joints

来源：评论

学校读者我要写书评

暂无评论

Multi-Objective Test Suite Optimization for Incremental Product Family Testing

Multi-Objective Test Suite Optimization for Incremental Prod...

引用

IEEE International Conference on Software Testing, Verification and Validation

作者： Hauke Baller Sascha Lity Malte Lochau Ina Schaefer TU Braunschweig Institute for Programming and Reactive Systems TU Darmstadt Real Time Systems Lab TU Braunschweig Institute of Software Engineering and Automotive Informatics

ISBN: (纸本)9781479922567

The design of an adequate test suite is usually guided by identifying test requirements which should be satisfied by the selected set of test cases. To reduce testing costs, test suite minimization heuristics aim at eliminating redundancy from existing test suites. However, recent test suite minimization approaches lack (1) to handle test suites commonly derived for families of similar software variants under test, and (2) to incorporate fine-grained information concerning cost/profit goals for test case selection. In this paper, we propose a formal framework to optimize test suites designed for sets of software variants under test w.r.t. multiple conflicting cost/profit objectives. The problem representation is independent of the concrete testing methodology. We apply integer linear programming (ILP) to approximate optimal solutions. We further develop an efficient incremental heuristic for deriving a sequence of representative software variants to be tested for approaching optimal profits under reduced costs. We evaluated the algorithm by comparing its outcome to the optimal solution.

关键词： Testing Strategies Test Coverage of Specifications Constrained Optimization Linear programming

来源：评论

学校读者我要写书评

暂无评论

Evolutionary algorithms that use runtime migration of detector processes to reduce latency in event-based systems

Evolutionary algorithms that use runtime migration of detect...

引用

2013 NASA/ESA Conference on Adaptive Hardware and systems, AHS 2013

作者： Löffler, Christoffer Mutschler, Christopher Philippsen, Michael Programming Systems Group CS Dept. University of Erlangen-Nuremberg Germany Sensor Fusion and Event Processing Group Locating and Comm. Systems Dept. Fraunhofer Institute for Integrated Circuits IIS Erlangen Germany

ISBN: (纸本)9781467363839

Event-based systems (EBS) are widely used to efficiently process massively parallel data streams. In distributed event processing the allocation of event detectors to machines is crucial for both the latency and efficiency, and a naive allocation may even cause a system failure. But since data streams, network traffic, and event loads cannot be predicted sufficiently well the optimal detector allocation cannot be found a-priori and must instead be determined at runtime. This paper describes how evolutionary algorithms (EA) can be used to minimize both network and processing latency by means of runtime migration of event detectors. The paper qualitatively evaluates the algorithms on synthetical data streams in a distributed event-based system. We show that some EAs work efficiently even with large numbers of event detectors and machines and that a hybrid of Cuckoo Search and Particle Swarm Optimization outperforms others. © 2013 IEEE.

关键词： Particle swarm optimization (PSO)

来源：评论

学校读者我要写书评

暂无评论

Reliable speculative processing of out-of-order event streams in generic publish/subscribe middlewares 13

Reliable speculative processing of out-of-order event stream...

引用

7th ACM International Conference on Distributed Event-Based systems, DEBS 2013

作者： Mutschler, Christopher Philippsen, Michael University of Erlangen-Nuremberg Department of Computer Science Programming Systems Group Erlangen Germany Fraunhofer Institute for Integrated Circuits IIS Locating and Communication Department Sensor Fusion and Event Processing Group Erlangen Germany

ISBN: (纸本)9781450317580

In surveillance, sports, finances, etc., distributed event-based systems are used to detect meaningful events with low latency in high data rate event streams. Both known approaches to deal with the predominant out-of-order event arrival at the distributed detectors have their shortcomings: buffering approaches introduce latencies for event ordering and stream revision approaches may result in system overloads due to unbounded retraction cascades. This paper presents a speculative processing technique for out-of-order event streams that enhances typical buffering approaches. In contrast to other stream revision approaches our novel technique encapsulates the event detector, uses the buffering technique to delay events but also speculatively processes a portion of it, and adapts the degree of speculation at runtime to fit the available system resources so that detection latency becomes minimal. Our technique outperforms known approaches on both synthetical data and real sensor data from a Realtime Locating System (RTLS) with several thousands of out-of-order sensor events per second. Speculative buffering exploits system resources and reduces latency by 40% on average. Copyright © 2013 ACM.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

A Methodology for Model-based Development and Automated Verification of Software for Aerospace systems

A Methodology for Model-based Development and Automated Veri...

引用

IEEE Aerospace Conference

作者： Lukas Martin Maxim Schatalov Matthias Hagner Ursula Goltz Olaf Maibaum Institute for Programming and Reactive Systems TU Braunschweig Simulation and Software Technology German Aerospace Center

ISBN: (纸本)9781467318129

Today's software for aerospace systems typically is very complex. This is due to the increasing number of features as well as the high demand for safety, reliability, and quality. This complexity also leads to significant higher software development costs. To handle the software complexity, a structured development process is necessary. Additionally, compliance with relevant standards for quality assurance is a mandatory concern. To assure high software quality, techniques for verification are necessary. Besides traditional techniques like testing, automated verification techniques like model checking become more popular. The latter examine the whole state space and, consequently, result in a full test coverage. Nevertheless, despite the obvious advantages, this technique is rarely yet used for the development of aerospace systems. In this paper, we propose a tool-supported methodology for the development and formal verification of safety-critical software in the aerospace domain. The methodology relies on the V-Model and defines a comprehensive work flow for model-based software development as well as automated verification in compliance to the European standard series ECSS-E-ST-40C. Furthermore, our methodology supports the generation and deployment of code. For tool support we use the tool SCADE Suite (Esterel Technology), an integrated design environment that covers all the requirements for our methodology. The SCADE Suite is well established in avionics and defense, rail transportation, energy and heavy equipment industries. For evaluation purposes, we apply our approach to an up-to-date case study of the TET-1 satellite bus. In particular, the attitude and orbit control software is considered. The behavioral models for the subsystem are developed, formally verified, and optimized.

关键词： aerospace systems computer software Quality assurance Workflow Software design Verification state space safety-critical software computer programs test coverage Automation avionics Formal verification

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：