Suchergebnisse - "Safety critical systems"

Runtime Monitoring Approach to Safeguard Behavior of Autonomous Vehicles at Traffic Lights

Autoren: Aniculaesei, Adina Elhajji, Yousri

Quelle: Electronics (Switzerland). 14(12)

Schlagwörter: dilemma zone problem, safety-critical systems, runtime monitoring, safety assurance, autonomous driving systems, vehicle behavior at traffic lights

Dateibeschreibung: electronic

Zugangs-URL: https://research.chalmers.se/publication/547270
https://research.chalmers.se/publication/547270/file/547270_Fulltext.pdf

Switched control barrier functions-based safe docking control strategy for a planar floating platform

Autoren: Saradagi, Akshit Sankaranarayanan, Viswa Narayanan Banerjee, Avijit et al.

Quelle: Control Engineering Practice. 158

Schlagwörter: Control barrier functions, Autonomous docking, Planar floating platforms, Safety critical systems, Space-emulating test-beds, Control applications, Robotics, Robotics and Artificial Intelligence, Robotik och artificiell intelligens

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-111725
https://doi.org/10.1016/j.conengprac.2025.106274

Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures

Autoren: Ovsiannikova, Polina Pakonen, Antti Muromsky, Dmitry et al.

Quelle: IEEE Open Journal of the Industrial Electronics Society. 5:616-631

Schlagwörter: Function block diagrams (FBDs), instrumentation and control (I&C) architecture, logical programming, nonfunctional requirements, ontology, safety-critical systems, Dependable Communication and Computation Systems, Kommunikations- och beräkningssystem

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-108369
https://doi.org/10.1109/OJIES.2024.3413568

SAFE-COLOR: Color Fidelity Benchmarks and Thresholds for Safety-Critical Object Detection

Autoren: Damschen, Marvin Avula, Ramana Reddy Mohamad, Mazen

Quelle: 2025 IEEE Intelligent Vehicles Symposium (IV). :1571-1576

Schlagwörter: Object Detection, Safety-Critical Systems, Autonomous Vehicles, Other Computer and Information Science, Color Fidelity, Annan data- och informationsvetenskap, Simulation-Based Validation

Dateibeschreibung: application/pdf

Zugangs-URL: http://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-78766

Proceedings of 1st GENZERO Workshop

Weitere Verfasser: Andreoni, Martin Thakkar, Shreekant

Schlagwörter: Open Access, Autonomous Systems, Generative AI, Large Language Models, Zero Trust Architecture, CyberPhysical Systems, UAV Swarms, Secure Communications, Distributed Intelligence, Real-Time Anomaly Detection, Machine Learning, Robotics, Security and Resilience, AI-Driven Approaches, Secure Autonomy, Safety-Critical Systems, Fault Mitigation, Swarm Intelligence, Secure Computing, Autonomous Robotics, Artificial intelligence, Machine learning, Security and fire alarm systems, Computer security, Transport technology and trades

Dateibeschreibung: application/pdf

Relation: Artificial Intelligence (R0)

Zugangs-URL: https://library.oapen.org/handle/20.500.12657/108702

Scheduling Dynamic Software Updates in Mobile Robots

Autoren: El Yaacoub, Ahmed Mottola, Luca Voigt, Thiemo et al.

Quelle: UPDATE ACM Transactions on Embedded Computing Systems. 22(6):1-27

Schlagwörter: Dynamic software updates, mobile robotics, safety-critical systems, aerial drones

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-511912
https://doi.org/10.1145/3623676

Safety-Ensured Robotic Control Framework for Cutting Task Automation in Endoscopic Submucosal Dissection

Autoren: Yitaek Kim Iñigo Iturrate Christoffer Sloth et al.

Quelle: IEEE Access, Vol 13, Pp 102803-102814 (2025)

Schlagwörter: safety-critical systems, FOS: Computer and information sciences, model-free control barrier functions, Systems and Control (eess.SY), Safety-Critical Systems, Electrical Engineering and Systems Science - Systems and Control, TK1-9971, Computer Science - Robotics, FOS: Electrical engineering, electronic engineering, information engineering, Model-Free Control Barrier Functions, Endoscopic surgery robot, Electrical engineering. Electronics. Nuclear engineering, Robotics (cs.RO), Endoscopic Surgery Robot, Robust Control, robust control

Zugangs-URL: http://arxiv.org/abs/2503.08214
https://doaj.org/article/d4d04e292de74e3782fcab6aa8bb3ed1
https://portal.findresearcher.sdu.dk/da/publications/1ec19ffc-22e0-44fd-b76f-401a3d362c25
https://doi.org/10.1109/ACCESS.2025.3578607

LLMs Can Check Their Own Results toMitigate Hallucinations inTraffic Understanding Tasks

Autoren: Mahawatta, Malsha Cabrero-Daniel, Beatriz Yu, Yinan et al.

Quelle: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). :114-130

Schlagwörter: Natural Language Processing, Språkbehandling och datorlingvistik, automotive, hallucination detection, large language models, multi-modal data, perception systems, safety-critical systems

Zugangs-URL: https://gup.ub.gu.se/publication/350675

Rumo a uma estrutura de verificação e validação baseada em arquiteturas de microserviços

Towards a verification and validation framework based on microservices architectures

Autoren: HERNÁNDEZ, LIDIA GLORIA WILSON Pinho, Luís Miguel Rosário da Silva REPOSITÓRIO P.PORTO

Weitere Verfasser: HERNÁNDEZ, LIDIA GLORIA WILSON Pinho, Luís Miguel Rosário da Silva REPOSITÓRIO P.PORTO

Quelle: urn:tid:204033896

Schlagwörter: Microservices Architectures, Formal Verification, Verification Framework, Software Frameworks, Safety-critical Systems

Dateibeschreibung: application/pdf

Verfügbarkeit: http://hdl.handle.net/10400.22/30971

Towards Credible Simulators: A Validation Methodology for Safety-Critical Virtual Testing

Autoren: Avula, Ramana Reddy Mohamad, Mazen Sangchoolie, Behrooz et al.

Quelle: Lecture Notes in Computer Science ISBN: 9783032020178

Schlagwörter: Unreal engine, Simulation validation, Virtual testing toolchain, Safety-critical systems, Camera model fidelity, Other Computer and Information Science, Annan data- och informationsvetenskap

Dateibeschreibung: application/pdf

Zugangs-URL: http://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-78760

SoK: How Artificial-Intelligence Incidents Can Jeopardize Safety and Security: How Artificial-Intelligence Incidents Can Jeopardize Safety and Security

Autoren: Richard May Jacob Krüger Thomas Leich

Quelle: Proceedings of the 19th International Conference on Availability, Reliability and Security. :1-12

Schlagwörter: safety-critical systems, safety, Securtiy, vulnerabilities, security, artificial intelligence, SDG 3 – Goede gezondheid en welzijn, machine learning, SDG 3 - Good Health and Well-being, Machine learning, Safety-critical systems, Vulnerabilities, Artifical intelligence, Safety

The tension of usable safety, security and privacy

Autoren: Marc-André Kaufhold Tilo Mentler Simon Nestler et al.

Quelle: i-com, Vol 24, Iss 1, Pp 1-7 (2025)

Schlagwörter: safety-critical systems, usable safety, Electronic computers. Computer science, Communication. Mass media, human-centered computing, usable security, QA75.5-76.95, P87-96

Dateibeschreibung: text

Zugangs-URL: https://doaj.org/article/708150674f4547228f845b85d4dcba85
https://tuprints.ulb.tu-darmstadt.de/29957/1/10.1515_icom-2025-0009.pdf

Semantic Diverse DMR and TMR for High-Integrity AI-Based Function Efficiency

Autoren: Martí Caro Axel Brando Jaume Abella et al.

Weitere Verfasser: Martí Caro Axel Brando Jaume Abella et al.

Quelle: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Schlagwörter: Redundancy, Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Object detection, Safety critical systems

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/2117/424688
https://doi.org/10.1145/3716140

A Practical Cache Partitioning Method for Multi-Core Processor on a Commercial Safety-Critical Partitioned RTOS

Autoren: Taeho Kim

Quelle: IEEE Access, Vol 13, Pp 25505-25519 (2025)

Schlagwörter: safety-critical systems, Avionics real-time operating systems, Electrical engineering. Electronics. Nuclear engineering, multi-core processor, cache partitioning, TK1-9971

Zugangs-URL: https://doaj.org/article/5b1098cc90614d86987cd5db9c122dd6

Artificial Intelligence for Safety-Critical Systems in Industrial and Transportation Domains: A Survey

Autoren: Perez-Cerrolaza, Jon Abella, Jaume Borg, Markus et al.

Quelle: ACM Computing Surveys. 56(7)

Schlagwörter: Accident prevention, Engineering education, Ethical technology, Machine learning, Artificial intelligence technologies, Autonomous system, Cutting edges, Functional Safety, Human safety, Learn+, Machine learning algorithms, Safety critical systems, State of the art, Transportation domain, Security systems

Dateibeschreibung: electronic

Zugangs-URL: https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-73311
https://doi.org/10.1145/3626314

Design of a Real-Time Visual Analytics Decision Support Interface to Manage Air Traffic Complexity

Autoren: Zohrevandi, Elmira Vrotsou, Katerina Westin, Carl et al.

Quelle: 2024 IEEE Visualization and Visual Analytics (VIS). :301-305

Schlagwörter: Computer and Information Sciences, Visual analytics, Visualization design, Safety-critical systems, Design study, Focus+context techniques, Data- och informationsvetenskap, Human Computer Interaction, Människa-datorinteraktion (interaktionsdesign)

Dateibeschreibung: application/pdf

Zugangs-URL: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-210012

Trade Study of Scripting Languages for Avionics Systems

Autoren: Prat, Arnau Torens, Christoph Carrick, Benjamin et al.

Quelle: 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC). :01-09

Schlagwörter: safety-critical systems, scripting languages, software certification, avionics systems, memory management, lua scripting language, interpreted languages, real-time requirements, software engineering

Zugangs-URL: https://elib.dlr.de/208728/
https://doi.org/10.1109/dasc62030.2024.10748678

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+

Autoren: Laufer, Konstantin Mertin, Gunda Thiruvathukal, George K.

Quelle: 2024 IEEE Frontiers in Education Conference (FIE). :1-5

Schlagwörter: FOS: Computer and information sciences, Computer Sciences, Computer Science Education, 4. Education, Software Testing, Software Engineering, Safety-Critical Systems, Formal Methods, Model Checking, Software Engineering (cs.SE), Computer Science - Software Engineering, Programming Languages and Compilers

Dateibeschreibung: application/pdf

Zugangs-URL: http://arxiv.org/abs/2407.21152

Supporting Formal Software Verification with Large Language Models: An Experimental Study

Autoren: Wang, Weiqi Farrell, Marie Cordeiro, Lucas et al.

Quelle: Wang, W, Farrell, M, Cordeiro, L & Zhao, L 2025, Supporting Formal Software Verification with Large Language Models: An Experimental Study. in 33rd IEEE International Requirements Engineering Conference (RE 2025). IEEE.

Schlagwörter: Bounded Model Checking, Large Language Models, Software Verification, requirements engineering, Safety-Critical Systems, Formal Verification

Zugangs-URL: https://research.manchester.ac.uk/en/publications/736074e1-4db2-4d62-8502-7d84b443d60a

Timing Behavior Characterization of Critical Real-Time Systems through Hybrid Timing Analysis

Autoren: Barone, Salvatore Casola, Valentina Torca, Salvatore Della et al.

Quelle: 2023 7th International Conference on System Reliability and Safety (ICSRS). :306-311

Schlagwörter: Behavioral sciences, Rail transportation, Hybrid Timing Analysis, Execution-Trace Analysis, 0202 electrical engineering, electronic engineering, information engineering, Transportation, Codes Instruments, Timing, Real-Time Systems, 02 engineering and technology, Safety-Critical Systems, Software, Codes Instruments, Transportation, Software, Rail transportation, Timing, Behavioral sciences, Safety-Critical Systems, Real-Time Systems, Hybrid Timing Analysis, Execution-Trace Analysis

Dateibeschreibung: application/pdf

Zugangs-URL: https://hdl.handle.net/11588/951118
https://ieeexplore.ieee.org/document/10381272/authors#authors
https://hdl.handle.net/11588/951118
https://ieeexplore.ieee.org/document/10381272/authors#authors
https://doi.org/10.1109/ICSRS59833.2023.10381272