Dependable Computing – EDCC 2022 Workshops

Dependable Computing – EDCC 2022 Workshops
Author: Stefano Marrone
Publisher: Springer Nature
Total Pages: 161
Release: 2022-09-08
Genre: Computers
ISBN: 3031162455

This book constitutes refereed proceedings of the Workshops of the 18th European Dependable Computing Conference, EDCC: ​13th Workshop on Software Engineering for Resilient Systems, SERENE 2022; Third Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2022, Third Workshop on Artificial Intelligence for Railways, AI4RAILS, held in Zaragoza, Spain, in September 2022. The 11 workshop papers presented were thoroughly reviewed and selected from 22 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops
Author: Jérémie Guiochet
Publisher: Springer Nature
Total Pages: 448
Release: 2023-10-15
Genre: Computers
ISBN: 3031409531

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023. The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions. - - 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023) - - 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023) - - 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023) - - Second International Workshop on Security and Safety Interactions (SENSEI 2023) - - First International Workshop on Safety/ Reliability/ Trustworthiness of Intelligent Transportation Systems (SRToITS 2023) - - 6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023)

Dependable Computing - EDCC 2022 Workshops

Dependable Computing - EDCC 2022 Workshops
Author: Stefano Marrone
Publisher:
Total Pages: 0
Release: 2022
Genre:
ISBN: 9783031162466

This book constitutes refereed proceedings of the Workshops of the 18th European Dependable Computing Conference, EDCC: 13th Workshop on Software Engineering for Resilient Systems, SERENE 2022; Third Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 2022, Third Workshop on Artificial Intelligence for Railways, AI4RAILS, held in Zaragoza, Spain, in September 2022. The 11 workshop papers presented were thoroughly reviewed and selected from 22 submissions. The workshop papers complement the main conference topics by addressing dependability or security issues in specic application domains or by focussing in specialized topics, such as system resilience.

International Congress and Workshop on Industrial AI and eMaintenance 2023

International Congress and Workshop on Industrial AI and eMaintenance 2023
Author: Uday Kumar
Publisher: Springer Nature
Total Pages: 780
Release: 2024-01-01
Genre: Technology & Engineering
ISBN: 3031396197

This proceedings brings together the papers presented at the International Congress and Workshop on Industrial AI and eMaintenance 2023 (IAI2023). The conference integrates the themes and topics of three conferences: Industrial AI & eMaintenance, Condition Monitoring and Diagnostic Engineering Management (COMADEM) and, Advances in Reliability, Maintainability and Supportability (ARMS) on a single platform. This proceedings serves both academy and industry in providing an excellent platform for collaboration by providing a forum for exchange of ideas and networking. The 21st century has seen remarkable progress in Artificial Intelligence, with application to a variety of fields (computer vision, automatic translation, sentiment analysis in social networks, robotics, etc.) The IAI2023 focuses on Industrial Artificial Intelligence, or IAI. The emergence of industrial AI applications holds tremendous promises in terms of achieving excellence and cost-effectiveness in the operation and maintenance of industrial assets. Opportunities in Industrial AI exist in many industries such as aerospace, railways, mining, construction, process industry, etc. Its development is powered by several trends: the Internet of Things (IoT); the increasing convergence between OT (operational technologies) and IT (information technologies); last but not least, the unabated fast-paced developments of advanced analytics. However, numerous technical and organizational challenges to the widespread development of industrial AI still exist. The IAI2023 conference and its proceedings foster fruitful discussions between AI creators and industrial practitioners.

Handbook on Artificial Intelligence and Transport

Handbook on Artificial Intelligence and Transport
Author: Hussein Dia
Publisher: Edward Elgar Publishing
Total Pages: 649
Release: 2023-10-06
Genre: Computers
ISBN: 1803929545

With AI advancements eliciting imminent changes to our transport systems, this enlightening Handbook presents essential research on this evolution of the transportation sector. It focuses on not only urban planning, but relevant themes in law and ethics to form a unified resource on the practicality of AI use.

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Author: Birgit Milius
Publisher: Springer Nature
Total Pages: 237
Release: 2023-09-26
Genre: Computers
ISBN: 3031433661

This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023. The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.

Software Architecture. ECSA 2022 Tracks and Workshops

Software Architecture. ECSA 2022 Tracks and Workshops
Author: Thais Batista
Publisher: Springer Nature
Total Pages: 492
Release: 2023-07-15
Genre: Computers
ISBN: 3031368894

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022. The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions. Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th International Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA); 6th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd International Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA); 2nd International Workshop on Software Architecture and Machine Learning (SAML); 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd International Workshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1st International Workshop on Digital Twin Architecture (TwinArch).

Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops

Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops
Author: Mario Trapp
Publisher: Springer Nature
Total Pages: 360
Release: 2022-09-06
Genre: Computers
ISBN: 3031148622

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022. The 23 full papers included in this volume were carefully reviewed and selected from 27 submissions. · 17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021) · 3rd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2022) · 9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022) · 1st International Workshop on Security and Safety Interaction (SENSEI 2022) · 3rd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2022) · 5th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2022)