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

arXiv 2023年

作者： Ammermann, Joshua Jordan, Sven Linsbauer, Lukas Schaefer, Ina Karlsruhe Germany Group IT Solution & Enterprise Architecture Volkswagen AG Wolfsburg Germany Institute of Software Engineering and Automotive Informatics Technische Universität Braunschweig Braunschweig Germany

software maintenance is an important part of a software system's life cycle. Maintenance tasks of existing software systems suffer from architecture information that is diverging over time (architectural drift). The Digital Architecture Twin (DArT) can support software maintenance by providing up-to-date architecture information. For this, the DArT gathers such information and co-evolves with a software system, enabling continuous reverse engineering. But the crucial link for stakeholders to retrieve this information is missing. To fill this gap, we contribute the Architecture Information Query Language (AIQL), which enables stakeholders to access up-to-date and tailored architecture information. We derived four application scenarios in the context of continuous reverse engineering. We showed that the AIQL provides the required functionality to formulate queries for the application scenarios and that the language scales for use with real-world software systems. In a user study, stakeholders agreed that the language is easy to understand and assessed its value to the specific stakeholder for the application scenarios. © 2023, CC BY.

关键词： Query languages

来源：评论

学校读者我要写书评

暂无评论

FLEXIBLE CORRECT-BY-CONSTRUCTION PROGRAMMING

arXiv

引用

arXiv 2022年

作者： Runge, Tobias Bordis, Tabea Potanin, Alex Thüm, Thomas Schaefer, Ina Karlsruhe Institute of Technology Germany Institute of Software Engineering and Automotive Informatics TU Braunschweig Germany School for Data-Science and Computational Thinking Stellenbosch University South Africa School of Computing Australian National University Australia Institute of Software Engineering and Programming Languages University of Ulm Germany

Correctness-by-Construction (CbC) is an incremental program construction process to construct functionally correct programs. The programs are constructed stepwise along with a specification that is inherently guaranteed to be satisfied. CbC is complex to use without specialized tool support, since it needs a set of predefined refinement rules of fixed granularity which are additional rules on top of the programming language. Each refinement rule introduces a specific programming statement and developers cannot depart from these rules to construct programs. CbC allows to develop software in a structured and incremental way to ensure correctness, but the limited flexibility is a disadvantage of CbC. In this work, we compare classic CbC with CbC-Block and TraitCbC. Both approaches CbC-Block and TraitCbC, are related to CbC, but they have new language constructs that enable a more flexible software construction approach. We provide for both approaches a programming guideline, which similar to CbC, leads to well-structured programs. CbC-Block extends CbC by adding a refinement rule to insert any block of statements. Therefore, we introduce CbC-Block as an extension of CbC. TraitCbC implements correctness-by-construction on the basis of traits with specified methods. We formally introduce TraitCbC and prove soundness of the construction strategy. All three development approaches are qualitatively compared regarding their programming constructs, tool support, and usability to assess which is best suited for certain tasks and developers. © 2022, CC BY.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Ernst Denert Award for software engineering 2019 1

引用

1000年

作者： Michael Felderer Wilhelm Hasselbring Heiko Koziolek Florian Matthes Lutz Prechelt Ralf Reussner Bernhard Rumpe Ina Schaefer

来源：评论

学校读者我要写书评

暂无评论

Ernst Denert Award for software engineering 2020 1

引用

1000年

作者： Michael Felderer Wilhelm Hasselbring Heiko Koziolek Florian Matthes Lutz Prechelt Ralf Reussner Bernhard Rumpe Ina Schaefer

来源：评论

学校读者我要写书评

暂无评论

Vehicle steering angle estimation using off-the-shelf sensor technologies

Vehicle steering angle estimation using off-the-shelf sensor...

引用

2nd International Conference on Transportation Information and Safety: Improving Multimodal Transportation Systems - Information, Safety, and Integration, ICTIS 2013

作者： Ma, Jie Wang, Zilong Lin, Xiao Wang, Pei Chu, Duanfeng ITS Research Center Wuhan University of Technology and Engineering Ministry of Education Heping Avenue #1040 Wuhan Hubei 430063 China Engineering Research Institute China Automotive Technology and Research Center East Xianfeng Road #68 Dongli District Tianjin 300300 China Wuhan Kotei Informatics Co. Ltd East Lake Hi-Tech Development Zone Software Park Middle Road Wuhan Hubei 430073 China

ISBN: (纸本)9780784413036

Steering maneuvers determine the lateral stability of a running vehicle and are considered an important indication of driving performance. To effectively measure the steering wheel angle, we propose an estimation approach by using a built-in smartphone tri-axis gyroscope. First, coordinate transition was applied to the angle velocity about the Z-axis of the phone to calculate the vehicle yaw rate. A linear regression method was then used for the modeling of correlations between the resulting yaw rate and the steering angle. Comprehensive experiments show that the steering angle can be well approximated through the angle velocity when the angle remains within a specified range. In addition, sudden changes of angle can be viewed as occurrences of abnormal driving behaviors. This study shows that off-the-shelf sensor technologies provide a cheap and portable solution for driving behavior monitoring. © 2013 American Society of Civil Engineers.

关键词： Steering

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Novel approaches to evaluate the ability of vehicles for secured transportation

引用

Periodica Polytechnica Transportation engineering 2020年第1期49卷 80-88页

作者： Kocsis, Bence Vida, Gábor Szalay, Zsolt Ágoston, György Department of Automotive Technologies Faculty of Transportation Engineering and Vehicle Engineering Budapest University of Technology and Economics P. O. B. 91 BudapestH-1521 Hungary Department of Software Development and Application Institute of Informatics University of Dunaújváros P. O. B. 152 DunaújvárosH-2401 Hungary

The assurance of process safety plays an important role in the field of information technology. Securing the information has become one of the biggest challenges in the present day. Whenever we think about the protected systems the first thing that comes to our mind can be malicious interventions which are increasing immensely day by day. Nowadays we live the world of huge automotive developments with the appearance of the demand for autonomous vehicles. On the other hand, technological developments also provide a lot of advantages for the society. The benefits of autonomous cars include reduced mobility costs, increased safety, increased mobility, significant reduction of traffic collisions. However, it cannot be forgotten that the extension of cyberspace affects the transportation increasingly. Accordingly, cars are produced with high level of connectivity and automation. Therefore, the risks arriving from the cyberspace can now endanger the safe and secured transportation. These tendencies shall motivate manufacturers and developers to permanently improve the ability of vehicles to protect themselves and their passengers. © 2020 Budapest University of Technology and Economics. All rights reserved.

关键词： Autonomous vehicles

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：