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

4th International Conference on Advancements in Computing, ICAC 2022

作者： Attanayaka, Buddhima Nawinna, Dasuni Manathunga, Kalpani Abeygunawardhana, Pradeep K.W. Department of Computer Systems Engineering Faculty of Computing Sri Lanka Institute of Information Technology Sri Lanka Department of Computer Systems & Software Engineering Faculty of Computing Sri Lanka Institute of Information Technology Sri Lanka

ISBN: (纸本)9798350398090

Requirement elicitation (RE) is a cognitively challenging and time-consuming task in software development due to the numerous challenges associated with it including conflicting requirements, unspoken, or assumed requirements, difficulty meeting with relevant stakeholders, stakeholder resistance to change, and not enough time set aside for meetings with all stakeholders. The prime causes of software implementation failure have been identified as inadequacies in the treatment of requirements. Without collecting the quality requirement, cannot achieve the goal of a quality software product. Through identifying the success factors affecting requirement elicitation, the paths to the quality requirements can be identified. The success factors identify through this research are experience, business analyst skills, stakeholder relationship, organizational elicitation process. This study aims to identify the factors affecting requirement elicitation based on the data collected from business analysts and similar positions in the software industry through a survey, interviews, and analyzed data to provide the initial validation for the identified factors. Through the analysis, we identified the main factors affecting successful requirement elicitation with a perfect significance value of less than 0.05 for all factors. © 2022 IEEE.

关键词： Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

On the Constrained CAV Platoon Control Problem

引用

IEEE Transactions on Control of Network systems 2025年第2期12卷 1552-1564页

作者： Bahavarnia, MirSaleh Ji, Junyi Taha, Ahmad F. Work, Daniel B. Vanderbilt University Department of Civil and Environmental Engineering NashvilleTN37235 United States Institute for Software Integrated Systems United States

The main objective of the connected and automated vehicle (CAV) platoon control problem is to regulate CAVs' position while ensuring stability and accounting for vehicle dynamics. Although this problem has been studied in the literature, existing research has some limitations. This paper presents two new theoretical results that address these limitations: (i) the synthesis of unrealistic high-gain control parameters due to the lack of a systematic way to incorporate the lower and upper bounds on the control parameters, and (ii) the performance sensitivity to the communication delay due to inaccurate Taylor series approximation. To be more precise, taking advantage of the well-known Padé approximation, this paper proposes a constrained CAV platoon controller synthesis that (i) systematically incorporates the lower and upper bounds on the control parameters, and (ii) significantly improves the performance sensitivity to the communication delay. The effectiveness of the presented results is verified through conducting extensive numerical simulations. The proposed controller effectively attenuates the stop-and-go disturbance - a single cycle of deceleration followed by acceleration - amplification throughout the mixed platoon (consisting of CAVs and human-driven vehicles). Modern transportation systems will benefit from the proposed CAV controls in terms of effective disturbance attenuation as it will potentially reduce collisions. © 2014 IEEE.

关键词： Delay control systems

来源：评论

学校读者我要写书评

暂无评论

Robust sliding mode control scheme for uncertain fractional stochastic systems: Nonlinear analysis and design

引用

Asian Journal of Control 2023年第5期25卷 4086-4095页

作者： Parvizian, Majid Khandani, Khosro Max Planck Institute for Software Systems Saarbrücken Germany Department of Electrical Engineering Faculty of Engineering Arak University Arak Iran

This paper investigates the (Figure presented.) sliding mode control (SMC) design for fractional stochastic systems. We study a very general category of stochastic systems that are nonlinear and driven by fractional Brownian motion (fBm). A robust (Figure presented.) SMC scheme is presented for a fractional stochastic model with external disturbance, state- and disturbance-dependent noise, and uncertainties, which ensures that the closed-loop system is stochastically stable. We propose a novel sliding surface and then prove its reachability in the state space. Furthermore, the conditions for the stochastic stability of the sliding motion are derived via nonlinear Hamilton–Jacobi (HJ)-type inequalities. In addition, an (Figure presented.) SMC method is developed for a special class of fractional stochastic models, and two sets of linear matrix inequality (LMI) conditions are obtained, which are sufficient for stochastic stability. Eventually, the validity of the results is validated via a simulation example. ©2023Chinese Automatic Control Society and John Wiley & Sons Australia, Ltd.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

USING A SMART CITY DISTRICT SIMULATOR TO TEST NEW DIGITAL SERVICES 16

USING A SMART CITY DISTRICT SIMULATOR TO TEST NEW DIGITAL SE...

引用

16th International Conference on ICT, Society and Human Beings, ICT 2023, the 15th International Conference on e-Health, EH 2023, the 9th International Conference on Connected Smart Cities, CSC 2023 and 8th International Conference on Big Data Analytics, Data Mining and Computational Intelligence, BigDaCI 2023

作者： Neuschwander, Philipp Elberzhager, Frank Ajdari, Arian Stüpfert, Phil Fraunhofer Institute for Experimental Software Engineering IESE Fraunhofer Platz 1 Kaiserslautern67663 Germany

ISBN: (纸本)9789898704504

Cities have become more and more digital in recent years. They have developed various digital services that they provide to their citizens. However, it is often difficult to test ideas for new services from both a technical and a user-centric perspective. Reasons for this are, among others, that existing technical infrastructures provide a complex environment where deployment is often time-consuming. Furthermore, certain qualities such as performance or data protection have to be ensured, which is something a prototypical solution might not be able to offer. We are developing digital solutions for a smart city district, and one of our main challenges is that the area is still under construction and no technical infrastructure exists yet. Therefore, we developed a mock environment for a digital ecosystem in which we can easily test new ideas and early service prototypes. In this publication, we report on how we used this environment in a hackathon event and provide experiences from the participants that used our smart city district simulator. We provide examples of the solutions and discuss how our technical solution supported the development of new digital solutions and how it might also be a solution for other cities. © ICT *** rights reserved.

关键词： Smart city

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in software engineering Using TLA+

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

Frontiers in Education (FIE) Conference

作者： Konstantin Läufer Gunda Mertin George K. Thiruvathukal Department of Computer Science Software and Systems Laboratory Loyola University Chicago Institute for Software Engineering and Programming Languages University of Lübeck

ISBN: (数字)9798350351507

ISBN: (纸本)9798350363067

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions $(\text{TLA}^{+})$ , into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive “failuresy” through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding $\text { TLA }^{+}$ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in $\text { TLA }^{+}$ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudi

关键词： Computer science Open Access Model checking System recovery software Safety Logic Reliability Proposals software engineering

来源：评论

学校读者我要写书评

暂无评论

POTENTIALS AND BARRIERS OF THE METAVERSE FOR CIRCULAR ECONOMY

POTENTIALS AND BARRIERS OF THE METAVERSE FOR CIRCULAR ECONOM...

引用

2024 Winter Simulation Conference, WSC 2024

作者： Kunert, Julia van der Valk, Hendrik Scheerer, Hannah Hoppe, Christoph TU Dortmund University NRW Dortmund Germany Fraunhofer Institute for Software and Systems Engineering ISST NRW Dortmund Germany Dept. of Industrial Manufacturing Fraunhofer ISST NRW Dortmund Germany

ISBN: (纸本)9798331534202

Sustainability is a challenge for society that circular economy tries to tackle. The metaverse, as an emerging technology that incorporates digital twins and simulation in an immersive virtual environment, has not been thoroughly investigated in connection to circular economy. Thus, the purpose of this study is to summarize the potentials and barriers of the use of the metaverse for circular economy. By conducting a structured literature review, this paper categorizes the findings into dimensions that are important for both the metaverse and circular economy. A variety of potentials and barriers that cover different perspectives important for businesses aiming to comply with circular economy principles is discovered. The findings include potentials and barriers in several areas, like the access to the metaverse, connected costs, data, knowledge transfer, collaboration, innovation, product design, production planning, training of employees, and transportation. The results can be used to promote the implementation of circular economy principles. © 2024 IEEE.

关键词： Virtual environments

来源：评论

学校读者我要写书评

暂无评论

Machine Learning-assisted Test Records Analysis during the Real-Time Validation of Automotive software systems based on HIL Simulation 58

Machine Learning-assisted Test Records Analysis during the R...

引用

58th Hawaii International Conference on System Sciences, HICSS 2025

作者： Abboush, Mohammad Knieke, Christoph Rausch, Andreas Technische Universität Clausthal Institute for Software and Systems Engineering Germany

ISBN: (纸本)9780998133188

In the automotive industry, according to ISO 26262, comprehensive testing is conducted to ensure software systems quality over various phases of the V-model. However, at the system integration and testing phase, a significant amount of time series data is analyzed manually based on expert knowledge to identify the nature of the failure occurring, which is a costly process in terms of time, effort, and difficulty. This study proposes a novel Machine Learning (ML)-assisted failure analysis approach for the real-time validation of automotive software systems (ASSs). Specifically, based on a representative critical faults dataset, intelligent data-driven ML-based Fault Detection and Diagnosis (FDD) models are developed, including LSTM and Denoising Autoencoder (DAE) + k-means techniques for known and unknown sensor-related faults, respectively. The novelty of these models lies in their ability to identify single and simultaneous faults in noisy conditions. To assess the efficacy of the developed model, a dataset from a virtual test drive platform with a high-fidelity entire vehicle model was employed. The evaluation outcomes illustrate the superiority of the proposed model for known faults classification in comparison to other state-of-the-art methods, with an average F1-score of 91.85%. Furthermore, the integration of DAE with k-means exhibited a high clustering performance against noise with a low MSE and DB, i.e., 0.044 and 0.68, respectively. Consequently, the proposed approach facilitates the real-time validation of the ASSs in an efficient manner enhancing the safety and reliability. © 2025 IEEE Computer Society. All rights reserved.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Concept About Shared Digital Twin of EV Batteries to Improve the Data Exchange in the Context of Battery Transport 17

Concept About Shared Digital Twin of EV Batteries to Improve...

引用

17th IEEE International Conference on Service Operations and Logistics, and Informatics, SOLI 2023

作者： Plotnikov, Max Schier, Arkadius Fraunhofer Institute for Material Flow & Logistics Software & Information Engineering Dortmund Germany

ISBN: (纸本)9798350396003

The present work is based on a concept to improve the information exchange during off-site transport of batteries in the context of electromobility with different actors of the value chain using descriptive research design. The challenges regarding the exchange of information with corresponding actors such as the responsible authorities or safety institutions form the main research subject of this thesis. A measure of the European Commission for the electronic provision of transport information combined with the Shared Digital Twin of a battery by means of Battery Passport makes it possible to improve the error-prone current process, especially in the B2A sector. Hereby, synergy effects arise for different actors in terms of data availability, - integrity and - sovereignty through cloud-based provision of the transport information of batteries. © 2023 IEEE.

关键词： Electronic data interchange

来源：评论

学校读者我要写书评

暂无评论

Towards Feature-based Versioning for Musicological Research 24

Towards Feature-based Versioning for Musicological Research

引用

18th International Working Conference on Variability Modelling of software-Intensive systems, VaMoS 2024

作者： Grünbacher, Paul Neuwirth, Markus Institute of Software Systems Engineering Johannes Kepler University Linz Linz4040 Austria

ISBN: (纸本)9798400708770

This paper discusses the management of revisions and variants of musical works for the context of musicological research. Domain-specific languages (DSLs) are a fundamental tool in music notation and analysis, as they enable the notation of music and also support music analysis when investigating particular structural properties of melody, harmony, rhythm, or form. However, the fields of music philology and music analysis still lack a systematic approach for uniformly managing revisions and variants of musical compositions. This research-in-progress paper proposes the use of feature-based versioning to streamline the management of revisions and variants in music artifacts. We introduce an illustrative example and present research challenges regarding variability and feature-based versioning for musicological research. We present a preliminary approach which involves mapping features to specific parts of musical works and musical analyses, thereby facilitating the composition of new variants based on selected features, a prerequisite for enhanced research in music philology and music analysis. © 2024 Owner/Author.

关键词： Music

来源：评论

学校读者我要写书评

暂无评论

GoLive A modular Mixed Reality Simulation for Semantic Plug and Play 23

GoLive A modular Mixed Reality Simulation for Semantic Plug ...

引用

23rd International Conference on Control, Automation and systems, ICCAS 2023

作者： Wanninger, Constantin Badem, Thomas Schorner, Martin Eymueller, Christian Poeppel, Alexander Reif, Wolfgang Institute for Software and Systems Engineering University of Augsburg Augsburg Germany

ISBN: (纸本)9788993215274

In the field of mobile robotics, the interaction of robots with their environment plays a key role. Simulations serve to simulate a part of the environment so that the partly complex hardware is not damaged in extensive field tests. However, the transition from simulation to reality can be difficult. This paper presents a modular simulation and visualization with mixed reality mechanisms that can be reconfigured at runtime using a new concept called MR devices. A MR device is a physical device that registers with the simulation through self-description mechanisms and can interact with real objects. MR devices themselves can be used as tangible user interfaces in mixed reality visualization, e.g. to influence the composition of the environment. This concept enables the stepwise transition from simulation to reality. The advantages of these intermediate steps are presented by means of three scenarios, on which drones, sensors, infrastructure and also gas emitters are used. GoLive builds on the self-description mechanisms resulting from the own preliminary work: Semantic Plug and Play, in which capabilities and properties can be described by Semantic Web mechanisms and linked to the execution logic of the hardware at runtime. © 2023 ICROS.

关键词： Robotics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：