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

SSRN 2022年

作者： Pekaric, Irdin Groner, Raffaela Witte, Thomas Adigun, Jubril Gbolahan Raschke, Alexander Felderer, Michael Tichy, Matthias University of Innsbruck Department of Computer Science Technikerstraße 21a InnsbruckA-6020 Austria Ulm University Institute of Software Engineering and Programming Languages James-Franck-Ring 9 Ulm89081 Germany

Context: Cyber-physical systems (CPS) are increasingly self-adaptive, i.e. they have the ability to introspect and change their behavior. This self-adaptation process must be considered when modeling the safety and security aspects of the ***: This study collects and compares security attacks and safety hazards on self-adaptive systems (SAS) described in the literature. In addition, mitigation and treatment strategies as well as the modeling and analysis approaches are ***: We conducted a systematic literature review on 21 selected papers. The selection process involved a database search and snowballing methodologies. The coding scheme to analyze the content of the papers was obtained through our research questions, existing domain-specific taxonomies, and open ***: Safety and Security are not jointly modeled in the context of self-adaptive systems. The adaptation process is often not considered in the attack and hazard analysis due to naïve assumptions and modeling. The proposed approaches are mostly verified and validated through ***: A thorough and joint modeling approach for safety and security in self-adaptive systems is still an open challenge that needs to be addressed. Further work is needed to address the gap between safety and security modeling in self-adaptive systems. © 2022, The Authors. All rights reserved.

关键词： Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

B2A, A Straight-Through Approach from Basics to Advanced Level: Case Study for Python Course 11

B2A, A Straight-Through Approach from Basics to Advanced Lev...

引用

11th Workshop on software Quality Analysis, Monitoring, Improvement, and Applications, SQAMIA 2024

作者： Shazmeen, Abbasi Dakić, Pavle Zoltan, Alwahab Dhulfiqar Department of Programming Languages and Compilers Faculty of Informatics Eötvös Loránd University 1/C Pázmány Péter st. BudapestH-1117 Hungary Faculty of Informatics and Computing Singidunum University Danijelova 32 Belgrade Serbia Institute of Informatics Information Systems and Software Engineering Faculty of Informatics and Information Technologies Slovak University of Technology in Bratislava Ilkovičova 2 Bratislava842 16 Slovakia

In this study, we present a straightforward teaching strategy for teaching the Python programming language. Our method emphasizes a clear progression from fundamental to sophisticated concepts. Beginning with a thorough explanation of core Python ideas, we show a beginner-level script that dissects each line of code and displays the results. One distinguishing feature of our system is that students use ChatGPT to optimize code, which encourages them to improve the core program with fewer lines. After getting the updated solutions, students carefully compare the original and optimized programs to discover improvements and potential flaws. This study underlines the effectiveness of the Straight-Through Approach, which focuses on improving Python understanding while also developing critical thinking and code optimization skills. Our findings show that this strategy is a simple and effective way for teachers to assist students in growing from basic to advanced Python abilities, resulting in a dynamic and successful learning environment. The proposed technique will teach students how to use AI-driven modules correctly, such as ChatGPT. © 2024 Copyright for this paper by its authors.

关键词： Python

来源：评论

学校读者我要写书评

暂无评论

Model-based Generation of Attack-Fault Trees

arXiv

引用

arXiv 2023年

作者： Groner, Raffaela Witte, Thomas Raschke, Alexander Hirn, Sophie Pekaric, Irdin Frick, Markus Tichy, Matthias Felderer, Michael Institute of Software Engineering and Programming Languages Ulm University Germany Department of Computer Science University of Innsbruck Austria Department of Information Systems and Computer Science University of Liechtenstein Liechtenstein Germany Department of Mathematics and Computer Science University of Cologne Germany

Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and Attack Trees and can be used to model and model-check a holistic view on both safety and security. Manually creating a complete AFT for the whole system is, however, a daunting task. It needs to span multiple abstraction layers, e.g., abstract application architecture and data flow as well as system and library dependencies that are affected by various vulnerabilities. We present an AFT generation tool-chain that facilitates this task using partial Fault and Attack Trees that are either manually created or mined from vulnerability databases. We semi-automatically create two system models that provide the necessary information to automatically combine these partial Fault and Attack Trees into complete AFTs using graph transformation rules. © 2023, CC BY-NC-ND.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service

Runtime Verification of Autonomous Systems Utilizing Digital...

引用

Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), IEEE International Conference on

作者： Morten Haahr Kristensen Alberto Bonizzi Cláudio Gomes Simon Thrane Hansen Carlos Isasa Hannes Iven Eduard Kamburjan Peter Gorm Larsen Martin Leucker Prasad Talasila Valdemar Trøjgård Tang Stefano Tonetta Lars B. Vosteen Thomas Wright Department of Electrical and Computer Engineering Aarhus University Denmark Fondazione Bruno Kessler Italy Interdisciplinary Centre for Security Reliability and Trust University of Luxembourg Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany Department of Informatics University of Oslo Norway

ISBN: (数字)9798350389760

ISBN: (纸本)9798350389777

Autonomous Systems (AS) enable systems to adapt to drastic and unprecedented environmental changes, a capability that can be enhanced through the utilization of Digital Twins (DTs). However, the additional capabilities of AS come at the cost of explainability, as the expanding adaptation space complicates the reasoning about the system's behavior. For certain types of systems, it is crucial to ensure that specific properties are upheld despite the system's autonomous behavior. To facilitate the monitoring of these properties, we propose the use of Runtime Verification (RV). This tutorial demonstrates the integration of RV tools into the Digital Twins as a Service (DTaaS) platform to monitor and verify the behavior of AS in real-time. By exploring various methods to incorporate RV tools within a DT context, the tutorial aims to advance the application of RV technologies in autonomic computing and self-adaptive system design. Specifically, we demonstrate how the behavior of a self-configuring DT can be verified utilizing RV. This is accomplished through the DTaaS platform, which supports seamless deployment of DT-based AS.

关键词： Runtime Costs Autonomous systems Tutorials Real-time systems Cognition Digital twins Distributed computing Monitoring System analysis and design

来源：评论

学校读者我要写书评

暂无评论

Non-Intrusive MC/DC Measurement Based on Traces

Non-Intrusive MC/DC Measurement Based on Traces

引用

Theoretical Aspects of software engineering (TASE)

作者： Faustin Ahishakiye Svetlana Jakšić Volker Stolz Felix Dino Lange Malte Schmitz Daniel Thoma Department of Computing Mathematics and Physics Western Norway University of Applied Sciences Bergen Norway Western Norway University of Applied Sciences Bergen Norway University of Lubeck Lubeck Germany Institute for Software Engineering and Programming Languages University of Lübeck Lübeck Germany

We present a novel, non-intrusive approach to MC/DC coverage measurement using modern processor-based tracing facilities. Our approach does not require recompilation or instrumentation of the software under test. Instead, we use the Intel Processor Trace (Intel PT) facility present on modern Intel CPUs. Our tooling consists of the following parts: a frontend that detects so-called decisions (Boolean expressions) that are used in conditionals in C source code, a mapping from conditional jumps in the object code back to those decisions, and an analysis that computes satisfaction of the MC/DC coverage relation on those decisions from an execution trace. This analysis takes as input a stream of instruction addresses decoded from Intel PT trace data, which was recorded while running the software under test. We describe our architecture and discuss limitations and future work.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

engineering self-coordinating software intensive systems

Engineering self-coordinating software intensive systems

引用

FSE/SDP Workshop on the Future of software engineering Research, FoSER 2010

作者： Schäfer, Wilhelm Birattari, Mauro Blömer, Johannes Dorigo, Marco Engels, Gregor O'Grady, Rehan Platzner, Marco Rammig, Franz Reif, Wolfgang Trächtler, Ansgar Heinz Nixdorf Institute University of Paderborn Fürstenallee 11 Paderborn Germany Heinz Nixdorf Institute University of Paderborn Pohlweg 98 Paderborn Germany Heinz Nixdorf Institute University of Paderborn Warburger Str. 100 Paderborn Germany Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn Germany Department of Control Engineering and Mechatronics University of Paderborn Pohlweg 98 Paderborn Germany IRIDIA CoDE Université Libre de Bruxelles Ave. F. Roosevelt 50 1050 Brussels Belgium Department of Software Engineering and Programming Languages University of Augsburg Universitätsstr. 6a Augsburg Germany

ISBN: (纸本)9781450304276

It my great pleasure and honor to welcome you to FoSER 2010: The FSE/SDP Workshop on the Future of software engineering Research. This workshop was organized in collaboration with and made possible by generous support from the software Design and Productivity Coordinating Group (SDP) of the U.S. National Coordination Office (NCO) for Networking and Information Technology Research and Development (NITRD), and the National Science Foundation (NSF). This one-time, international working conference has brought together top academic and industrial researchers and government research funding agency personnel from around the world to engage in an extended discussion of consequential new ideas about the future of our field. The ideas produced by this workshop will be disseminated in two forms. First, the position papers accepted by the program committee will be published in a companion to the Proceedings of FSE-18. Second, the workshop findings will be published subsequently in a special report by NITRD/SDP. The call for papers for FoSER 2010 solicited 4-page position papers with new ideas about the future of software and software-reliant systems, and the research that will be needed to meet future needs. Papers were expected to be creative and thought-provoking, and to articulate compelling new perspectives, positions, problem formulations, assumptions and approaches. The workshop did not seek, and did not accept, technical research papers or abstracts. The workshop received a total of 139 position papers. Of these, 90 papers (65%) were accepted. Each paper was reviewed by at least two members of the workshop program committee. The committee was asked to accept all papers presenting significant new ideas about how our field should move forward. Copyright 2010 ACM.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Property-Directed verification of recurrent neural networks

arXiv

引用

arXiv 2020年

作者： Khmelnitsky, Igor Neider, Daniel Roy, Rajarshi Barbot, Benoît Bollig, Benedikt Finkel, Alain Haddad, Serge Leucker, Martin Ye, Lina LSV CNRS ENS Paris-Saclay Université Paris-Saclay France Inria France Max Planck Institute for Software Systems Kaiserslautern Germany Université Paris-Est Créteil France Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany CentraleSupélec Université Paris-Saclay France Institut Universitaire de France France

This paper presents a property-directed approach to verifying recurrent neural networks (RNNs). To this end, we learn a deterministic finite automaton as a surrogate model from a given RNN using active automata learning. This model may then be analyzed using model checking as verification technique. The term property-directed reflects the idea that our procedure is guided and controlled by the given property rather than performing the two steps separately. We show that this not only allows us to discover small counterexamples fast, but also to generalize them by pumping towards faulty flows hinting at the underlying error in the *** Codes 68Q60, 68T07 Copyright © 2020, The Authors. All rights reserved.

关键词： Recurrent neural networks

来源：评论

学校读者我要写书评

暂无评论

Model Based Safety Analysis

引用

IFAC Proceedings Volumes 2009年第5期42卷 3-3页

作者： Wolfgang Reif Department of Software Engineering and Programming Languages Institute of ComputerScience University of Augsburg 86135 Augsburg Germany

In safety critical applications, the growing complexity and risk associated with embedded software intensive systems demands for reliable safety assessments. Additionally, in many application areas standards and norms require the usage of model based techniques to guarantee the quality of safety critical systems. Model based safety analysis is a formally grounded approach to compute reliable safety properties from system models. In this context the term safety covers functional correctness, failure tolerance, safety optimisation as well as balancing antagonistic safety concerns. The analysis has both qualitative and quantitative aspects. Systems under consideration are discrete reactive systems. An extension also applies to self-organising systems. The talk presents the approach as well as some interesting applications. Wolfgang Reif is a full professor of Computer Science at the University of Augsburg, Germany. He is Dean of the Faculty of Applied Computer Science, Director of the institute for software & Systems engineering, and Director of the elite graduate program software engineering wihtin the Bavarian Elite Network (joint program with TU Muenchen and LMU Muenchen).

关键词：

来源：评论

学校读者我要写书评

暂无评论

Uvl: Feature Modelling with the Universal Variability Language

SSRN

引用

SSRN 2024年

作者： Benavides, David Sundermann, Chico Feichtinger, Kevin Galindo, José A. Rabiser, Rick Thüm, Thomas Department of Computer Languages and Systems Universidad de Sevilla Av. Reina Mercedes Seville41012 Spain Institute of Software Engineering and Programming Languages University of Ulm Albert-Einstein-Allee 11 Ulm89069 Germany CRC 1608 KASTEL – Dependability of Software-intensive Systems Karlsruhe Institute of Technology Am Fasanengarten 5 Karlsruhe76131 Germany Christian Doppler Laboratory VaSiCS LIT CPS Lab Johannes Kepler University Linz Altenberger Straße 69 Linz4040 Austria

Feature modelling is a cornerstone of software product line engineering, providing a means to represent software variability through features and their relationships. Since its inception in 1990, feature modelling has evolved through various extensions, and after three decades of development, there is a growing consensus on the need for a standardised feature modelling language. Despite multiple endeavours to standardise variability modelling and the creation of various textual languages, researchers and practitioners continue to use their own approaches, impeding effective model sharing. In 2018, a collaborative initiative was launched by a group of researchers to develop a novel textual language for representing feature models. This paper introduces the outcome of this effort: the Universal Variability Language (\UVL), which is designed to be human-readable and serves as a pivot language for diverse software engineering tools. The development of \UVL drew upon community feedback and leveraged established literature in the field of variability modelling. The language is structured into three levels -Boolean, Arithmetic, and Type- and allows for language extensions to introduce additional constructs enhancing its expressiveness. \UVL is integrated into various existing software tools, such as FeatureIDE and FLAMA, and is maintained by a consortium of institutions. © 2024, The Authors. All rights reserved.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Editorial: Special issue dedicated to ICFP 2010

引用

Journal of Functional programming 2012年第4-5期22卷 379-381页

作者： UMUT A. ACAR JAMES CHENEY STEPHANIE WEIRICH Programming Languages and Systems Group Max Planck Institute for Software Systems Germany (e-mail: umut@***) Laboratory for Foundations of Computer Science University of Edinburgh Edinburgh UK (e-mail: jcheney@inf.ed.ac.uk) School of Engineering and Applied Science University of Pennsylvania Philadelphia PA 19104 USA (e-mail: sweirich@cis.upenn.edu)

The 15th ACM SIGPLAN International Conference on Functional programming (ICFP) took place on September 27–29, 2010 in Baltimore, Maryland. After the conference, the programme committee, chaired by Stephanie Weirich, selected several outstanding papers and invited their authors to submit to this special issue of Journal of Functional programming. Umut A. Acar and James Cheney acted as editors for these submissions. This issue includes the seven accepted papers, each of which provides substantial new material beyond the original conference version. The selected papers reflect a consensus by the program committee that ICFP 2010 had a number of strong papers that link core functional programming ideas with other areas, such as multicore, embedded systems, and data compression.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：