Artificial intelligence (AI) may help clinicians with a wide range of patient care including intelligent systems of healthcare. In healthcare, AI approaches that encompass machine learning (ML) to deep learning (DL) a...
详细信息
The proceedings contain 55 papers. The special focus in this conference is on systems, software and Services Process Improvement. The topics include: Sleepless in the Code: Exploring the Relationship Between Occupatio...
ISBN:
(纸本)9783031711381
The proceedings contain 55 papers. The special focus in this conference is on systems, software and Services Process Improvement. The topics include: Sleepless in the Code: Exploring the Relationship Between Occupational Anxiety and Sleep Patterns in the software Industry;how to Explain Artificial Intelligence to Humans: Learning from Quality Function Deployment;large Language Models for softwareengineering: A Systematic Mapping Study;REFIoT: A Framework to Combat Requirements engineering in IoT Applications and systems;Using Data Augmentation to Support AI-Based Requirements Evaluation in Large-Scale Projects;artificial Intelligence-Enabled Medical Device Standards: A Multidisciplinary Literature Review;toward the Development of a Method for Identifying Problems and Providing Strategies to Reduce Them in software Development Teams;investigating systems Modernisation: Approaches, Challenges and Risks;Analysing the Role of Generative AI in softwareengineering - Results from an MLR;Virtual Emergency Warnings via C-ITS – An Interdisciplinary Approach;AI-Driven Test Flow Generation from Semi-formal Functional Safety Requirements;Understanding the Implications: Critical Path Analysis vs Dependent Failure Analysis in ISO 26262 Safety Methodology;Towards the Development of a Data Security Risk Management Framework for Medical Device software AI Models;towards an Integrated Cybersecurity Framework for Small and Medium Enterprises;Situation Analysis for Railway Safety: Adapting SOTIF for Passive Crossings;leveraging Digital Twins for Smart Hydropower: A Pathway to Industry 4.0;A Proposal for ISO24089 Audit Methodology Before Type Approvals: Interface with Automotive SPICE® PAM4.0;A Proposal for Enhancing IEC 61508 Methodology for the β-Factor Estimation;Consistency for More Than One TARA and Security Element Out of Context Experiences.
The management of aging built infrastructure represents one of the most pressing challenges facing most developed countries. The circumstance that a sizable portion of the world's infrastructure, mostly made of re...
详细信息
The management of aging built infrastructure represents one of the most pressing challenges facing most developed countries. The circumstance that a sizable portion of the world's infrastructure, mostly made of reinforced concrete, is approaching its design life-expectancy of 50-100 years, poses a serious risk of cascade failures with severe socioeconomic consequences. This has led to the growing implementation of new maintenance regulations, in which Structural Health Monitoring (SHM) plays predominant role as an effective means of preventive maintenance. Nonetheless, the extensive implementation of SHM systems still encounters serious difficulties, both from hardware and software standpoints. Clear evidence of the latter is the current lack of widely accepted software programs capable of managing dense sensor networks on a regional scale. Indeed, most innovations in the realm of SHM remain confined to research environments without a clear transition to engineering routine practice. In this context, this work presents the latest advances in the development of a comprehensive SHM software platform called MOVA/MOSS. Originally designed as a software framework for conducting long-term integrated SHM of structures (encompassing both dynamic and static monitoring), the most recent upgrades involve the incorporation of digital twins and artificial intelligence for real-time system and damage identification. The potential of the developed software platform is showcased through several real-world structures, with particular focus on the integration possibilities of non-supervised (data-driven) and supervised (model-driven) damage identification.
This study deals with the development of a new geoprocessing tool useful for wet gap crossing during military operations. At present, there is no software in the Czech Armed Forces that an engineer staff officer can c...
详细信息
ISBN:
(纸本)9783031713965;9783031713972
This study deals with the development of a new geoprocessing tool useful for wet gap crossing during military operations. At present, there is no software in the Czech Armed Forces that an engineer staff officer can comprehensively use to analyse wet gaps. The use of this geoprocessing tool will allow a faster and more efficient task analysis in the planning process. Members of the staffs of individual battalions of the 7th Mechanized Brigade, the 151st and 153rd Engineer Battalions and students of the University of Defence experimentally verified the usability of the geoprocessing tool. The advantage of own development is the possibility of updating the geoprocessing tool and admin options. The proposed geoprocessing tool can also be used as an interoperable element in the planning process of international task forces. The issue of wet gap crossing also confirms its importance from the conflict in Ukraine (e.g. of crossing the North Donetsk, Dnieper River) and also by the acquisition processes for newly acquired combat vehicles and support assets (military bridge vehicles, pontoon bridge set).
Malware, malicious software designed to disrupt, damage, or gain unauthorized access to computersystems, poses a significant and evolving threat to cybersecurity. Malware detection is an essential component of modern...
详细信息
A servo driven control system is proposed to assist the steering wheel In this paper. The hardware part controls the angle and torque of the motor based on PID algorithm to achieve full closed-loop control, and collec...
详细信息
Artificial Intelligence (AI) is significantly impacting foreseeing fields offering a better-automated decision making process and autonomous systems. Therefore, it is important to design high-quality AI systems that f...
详细信息
ISBN:
(纸本)9798400717017
Artificial Intelligence (AI) is significantly impacting foreseeing fields offering a better-automated decision making process and autonomous systems. Therefore, it is important to design high-quality AI systems that focus on the users' priorities and avoid potential unethical and undesired behaviours. In the current scenario, Human-computer Interaction (HCI) and AI are not separate fields but they contaminate each other and, consequently, the symbiosis between humans and AI system is fostered. Ensuring that AI development benefits humans, while providing an high-level automation, remains a primary concern. For this reason, the human-centered design approach should be adopted to create systems that being trustworthy, safe, reliable, and governance compliant are able to enhance the user's cognitive abilities and protect they from potential risks. In this context, it is fundamental to identify guidelines to follow while designing high-quality Symbiotic AI (SAI) systems and metrics for their appropriate evaluation. Assessing the empirical validity of the proposed solution is of crucial importance and the planning and execution of a user study is one of the main aspects of this work. The research project concerns the design of SAI systems, more specifically the definition of best practices and metrics to adopt while creating and evaluating these systems. This contribution presents the preliminary results obtained during the initial part of the research. The main opportunities and challenges in this new research field are also discussed.
Self-driving cars face significant testing challenges, constrained by high costs and limited test environments. This necessitates innovative approaches to simulation-based testing to improve deployment and evaluation ...
详细信息
ISBN:
(纸本)9783031645723;9783031645730
Self-driving cars face significant testing challenges, constrained by high costs and limited test environments. This necessitates innovative approaches to simulation-based testing to improve deployment and evaluation efficiency. Our study introduces a novel methodology that leverages dangerous real-world road maps sourced from Google Earth as the initial seed for generating driving scenarios. In contrast, traditional approaches use randomly generated seeds/maps to initialize the search process. We systematically adjust road points by evolving these maps to induce out-of-bounds (OOB) errors. Our preliminary results demonstrate a significant improvement in generating failing scenarios, when using real-world maps as seeds compared to random seeds/maps. Specifically, the evolved real-world maps are more likely to be valid (e.g., not self-intersecting) and have a higher incidence of OOB failures. This work opens avenues for further research into optimizing scenario generation for broader applications in autonomous systems testing.
Specifications for reactive systems synthesis consist of assumptions and guarantees. However, some specifications may include unnecessary assumptions, i.e., assumptions that are not necessary for realizability. While ...
详细信息
ISBN:
(纸本)9781665457019
Specifications for reactive systems synthesis consist of assumptions and guarantees. However, some specifications may include unnecessary assumptions, i.e., assumptions that are not necessary for realizability. While the controllers that are synthesized from such specifications are correct, they are also inflexible and fragile;their executions will satisfy the specification's guarantees in only very specific environments. In this work we show how to detect unnecessary assumptions, and to transform any realizable specification into a corresponding realizable core specification, one that includes the same guarantees but no unnecessary assumptions. We do this by computing an assumptions core, a locally minimal subset of assumptions that suffices for realizability. Controllers that are synthesized from a core specification are not only correct but, importantly, more general;their executions will satisfy the specification's guarantees in more environments. We implemented our ideas in the Spectra synthesis environment, and evaluated their impact over different benchmarks from the literature. The evaluation provides evidence for the motivation and significance of our work, by showing (1) that unnecessary assumptions are highly prevalent, (2) that in almost all cases the fully-automated removal of unnecessary assumptions pays off in total synthesis time, and (3) that core specifications induce more general controllers whose reachable state space is larger but whose representation more memory efficient.
Microservices are popular because they have the advantages of loose coupling, low cohesion, and small and autonomous compared to monolithic systems. And when it comes to cloud deployment, it also has a natural advanta...
详细信息
暂无评论