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

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

来源：评论

学校读者我要写书评

暂无评论

Models and algorithms for determining the probability of occurrence of a critical combination of events for three-element minimum sections in intelligent decision support systems

Models and algorithms for determining the probability of occ...

引用

Advanced Technology (KhPIWeek), IEEE KhPI Week on

作者： Oleksii Kolomiitsev Iryna Zakharchenko Viacheslav Tretiak Serhii Osiievskyi Alina Rybalchenko Hennadii Heiko Computer Engineering and Programming Department National Technical University “Kharkiv Polytechnic Institute” Kharkiv Ukraine Department of mathematics and software of ACS Ivan Kozhedub Kharkiv National Air Force University Kharkiv Ukraine

A method for determining the probability of occurrence of a critical combination of events for the three-element minimum cross-sections of attributes of the characteristics of the software quality model of intelligent...

关键词：

来源：评论

学校读者我要写书评

暂无评论

Implementing a Virtual Network on the SDN Data Plane

Implementing a Virtual Network on the SDN Data Plane

引用

2020 IEEE East-West Design and Test Symposium, EWDTS 2020

作者： Burdonov, Igor Yevtushenko, Nina Kossachev, Alexandr Ivannikov Institute for System Programming of Ras Software Engineering Department Moscow Russia

ISBN: (数字)9781728198996

ISBN: (纸本)9781728198996

The paper investigates the implementation of virtual networks on the SDN data plane, modeled by a graph of physical connections between network nodes. A virtual network is defined as a set of ordered host pairs (sender, receiver), and it is implemented by a set of host-host paths that uniquely determine the switch settings. It is shown that any set of host pairs can be implemented on a connected graph without the occurrence of an infinite transfer of packets in a loop and without duplicate paths when the host receives the same packet several times. However, undesired paths may occur when a host receives a packet that is not intended for this host. On the other hand, it is shown that in some cases, implementation without undesired paths inevitably leads to duplication or looping of packets. The question is posed: on which graph can any set of host pairs be implemented without looping, duplication and undesired paths? A sufficient condition is proposed and a hypothesis is put that this condition is also the necessary condition. © 2020 IEEE.

关键词： software defined networking

来源：评论

学校读者我要写书评

暂无评论

Deriving Distinguishing Sequences for Input/Output Automata

Deriving Distinguishing Sequences for Input/Output Automata

引用

2020 IEEE East-West Design and Test Symposium, EWDTS 2020

作者： Yevtushenko, Nina Burdonov, Igor Kossachev, Alexandr Ivannikov Institute for System Programming of Ras Software Engineering Department Moscow Russia

ISBN: (纸本)9781728198996

Input/Output (I/O) automata are widely used when deriving high quality tests for (components of) complex discrete systems based on so called distinguishing sequences. For I/O automata, the number of distinguishability relations is much bigger than for classical deterministic Finite State Machines (FSM). In order to avoid submitting the same test sequence several number of times, i.e., avoid the "all weather conditions"assumption, the separability relation can be considered. If two Input/Output automata are separable then there exists an input sequence such that after submitting this sequence and observing produced outputs it can be uniquely concluded which automaton is under testing. In this paper, we modify the discipline of applying input sequences and discuss the derivation of separating sequences for automata with mixed states, i.e., states where transitions both under inputs and under outputs are defined, as well as with cycles labeled by outputs. We also illustrate how an adaptive separating sequence can be derived when both automata are input-enabled. © 2020 IEEE.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Mapping aids using source location tracking increase novices' performance in programming cyber-physical systems

arXiv

引用

arXiv 2022年

作者： Witte, Thomas Vogt, Andrea Seufert, Tina Tichy, Matthias Institute of Software Engineering and Programming Languages Ulm University Germany Department Learning and Instruction Institute of Psychology Education Ulm University Germany

Motivation and Background. Novices need to overcome initial barriers while programming cyber-physical systems behavior, like coding quadcopter missions, and should thus be supported by an adequately designed programming environment. Using multiple representations by including graphical previews is a common approach to ease coding and program understanding. However, novices struggle to map information of the code and graphical previews. Previous studies imply that mapping aids in a live programming environment might support novices while programming and foster a deeper understanding of the content. To implement these mapping aids in a domain independent way Source Location Tracking based on run-time information can be used. Method. In our study, we tested N = 82 participants while interacting and learning in an online programming environment. Using our 2x2 between-subject design study, we investigated the effects of two mapping aids: highlighting and dynamic linking on coding correctness including typical errors, and learning outcomes. Based on process data successful strategies were analyzed. Results. Combining both mapping aids compared to one aid resulted in higher performance. While highlights were more helpful for implementing the quadcopter missions (mission 1: p = .008*, ηpartial2 = .091), dynamic linking improved learning outcomes on the comprehension (F(1,75) = 5.61, p = .020*, ηpartial2 = .070) and application level (F(1,75) = 4.08, p = .047*, ηpartial2 = .052). Traces of learning strategies were related to higher coding correctness (organizing: r = .553, p © 2022, CC BY-NC-ND.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

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)

来源：评论

学校读者我要写书评

暂无评论

Methodology of Teaching programming Science Through Online Platforms 3

Methodology of Teaching Programming Science Through Online P...

引用

3rd IEEE International Conference on Problems of Informatics, Electronics and Radio engineering, PIERE 2024

作者： Nishanov, Akram Allamov, Oybek Yusupova, Janar Matyakubov, Marks Qalandarov, Baxtiyor Bahrom, Reyimberganov Tashkent University of Information Technologies named after Muhammad al-Khwarizmi Department of Systematic and Practical Programming Tashkent Uzbekistan Urgench Branch of Tashkent University of Information Technology named after Muhammad al-Khwarizmi Department of Software Engineering Urgench Uzbekistan Urgench Branch of Tashkent University of Information Technology named after Muhammad al-Khwarizmi Urgench branch of Tatu named after Muhammad al-Khwarizmi Urgench Uzbekistan Urgench Branch of Tashkent University of Information Technology named after Muhammad al-Khwarizmi Urgench branch of Tatu named after Muhammad al-Khwarizmi Urgench Uzbekistan

ISBN: (纸本)9798331516321

This article presents an experiment conducted among students of the Faculty of 'software engineering' of the Urgench branch of TATU named after Muhammad al-Khwarizmi. Teaching programming using online platforms in education has shown promising results in improving student outcomes. This article discusses the methodology used, the comparative results, and the impact of the platform on software education. The rapid adoption of online platforms in education has changed the way programming is taught, providing students with an interactive, hands-on learning environment. This shift is especially relevant in teaching programming, where real-time feedback and practice are essential to mastering algorithms and coding concepts. The study compared two groups: one was trained using the https://***/platform and the assignments were checked using this system, and the second group was trained using traditional methods. The results showed that students who used the online platform had a high level of mastery, which highlighted the effectiveness of integrating https://***/into programming education. © 2024 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Energy Efficiency Improvement System for AC Circuits

Energy Efficiency Improvement System for AC Circuits

引用

IEEE NW Russia Young Researchers in Electrical and Electronic engineering Conference (EIConRusNW)

作者： Vladimir Kulagin Kirill Selivanov Andrey Vlasov Dmitrii Aminev Lyudmila Bunina Sergey Bikovsky Moscow technical university of communications and informatics Moscow Russian Federation Department of Design and Technology of Electronic Devices Bauman Moscow State Technical University BMSTU Moscow Russian Federation Department of Development of software solutions and system programming Russian Technological University – MIREA Moscow Russian Federation Department of Electrical Engineering Systems Russian Technological University – MIREA Moscow Russian Federation

The problem of the rational use of energy resources remains constantly relevant and requires the search for new approaches. One of them is power control. In AC circuits, the authors see the most promising method of phase AC power control. Based on it, a power control module was developed. The structural and circuit diagrams of the developed device are presented to implement the proposed solution. The authors produced its experimental prototype and conducted experimental testing at various levels of regulated power. Savings when using the proposed power control module were calculated using the example of energy consumption in various sectors of energy-intensive systems. According to the data obtained, the module allows saving energy consumption without significant discomfort to the energy user. The calculated results allow concluding that the proposed AC power control module is fully operational, and its widespread use will significantly reduce the need for electricity.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Systematic Review on Security and Safety of Self-Adaptive Systems

SSRN

引用

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：