Cover Image

Implementation of the Collision Avoidance System for DO-178C Compliance

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zrelli, Rim, Misson, Henrique Amaral, Kamkuimo, Sorelle, Attia, Maroua Ben, Shabah, Abdo, de Magalhaes, Felipe Gohring, Nicolescu, Gabriela
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Distributed Resource Allocation and Application Deployment in Mesh Edge Networks
by: Bernard, Antoine, et al.
Published: (2025)

A Practical Implementation of Customized Scrum-Based Agile Framework in Aerospace Software Development Under DO-178C Constraints
by: Umer, Malik Muhammad
Published: (2025)

Improving the Developer Experience with a Low-Code Process Modelling Language
by: Henriques, Henrique, et al.
Published: (2025)

Compliance Management for Federated Data Processing
by: Kokash, Natallia, et al.
Published: (2026)

Towards Automated Continuous Security Compliance
by: Angermeir, Florian, et al.
Published: (2024)

Describing Globally Distributed Software Architectures for Tax Compliance
by: Dorner, Michael, et al.
Published: (2023)

Rethinking Legal Compliance Automation: Opportunities with Large Language Models
by: Hassani, Shabnam, et al.
Published: (2024)

Modelling Privacy Compliance in Cross-border Data Transfers with Bigraphs
by: Althubiti, Ebtihal, et al.
Published: (2025)

An Empirical Study of Complexity, Heterogeneity, and Compliance of GitHub Actions Workflows
by: Abrokwah, Edward, et al.
Published: (2025)

RepoMod-Bench: A Benchmark for Code Repository Modernization via Implementation-Agnostic Testing
by: Li, Xuefeng, et al.
Published: (2026)

Benchmarking formalisms for dynamic structure system Modeling and Simulation
by: Attia, Aya, et al.
Published: (2024)

Can Large Language Models Detect Real-World Android Software Compliance Violations?
by: Zhang, Haoyi, et al.
Published: (2025)

Toward Regulatory Compliance: A few-shot Learning Approach to Extract Processing Activities
by: KC, Pragyan, et al.
Published: (2024)

GDPR-Bench-Android: A Benchmark for Evaluating Automated GDPR Compliance Detection in Android
by: Ran, Huaijin, et al.
Published: (2025)

From Conflicts to Collisions: A Two-Stage Collision Scenario-Testing Approach for Autonomous Driving Systems
by: Chen, Siyuan, et al.
Published: (2026)

DivQAT: Enhancing Robustness of Quantized Convolutional Neural Networks against Model Extraction Attacks
by: Khaled, Kacem, et al.
Published: (2025)

Comparative Analysis of the Code Generated by Popular Large Language Models (LLMs) for MISRA C++ Compliance
by: Umer, Malik Muhammad
Published: (2025)

Compact Constraint Encoding for LLM Code Generation: An Empirical Study of Token Economics and Constraint Compliance
by: Tang, Hanzhang
Published: (2026)

An Exploratory Mixed-Methods Study on General Data Protection Regulation (GDPR) Compliance in Open-Source Software
by: Franke, Lucas, et al.
Published: (2024)

Explainability as a Compliance Requirement: What Regulated Industries Need from AI Tools for Design Artifact Generation
by: Shah, Syed Tauhid Ullah, et al.
Published: (2025)

Taking a Closer Look at Warnings Generated by PMD and SonarQube, their Rules and Compliance to Established Coding Standards
by: Deshapriya, Lakmal, et al.
Published: (2026)

Quality in model-driven engineering: a tertiary study
by: Goulão, Miguel, et al.
Published: (2025)

Compliance as Code: A Study of Linux Distributions and Beyond
by: Ruohonen, Jukka, et al.
Published: (2026)

ARPaCCino: An Agentic-RAG for Policy as Code Compliance
by: Romeo, Francesco, et al.
Published: (2025)

Assessing Privacy Compliance of Android Third-Party SDKs
by: Meng, Mark Huasong, et al.
Published: (2024)

Verify Implementation Equivalence of Large Models
by: Zhan, Qi, et al.
Published: (2026)

CircuChain: Disentangling Competence and Compliance in LLM Circuit Analysis
by: Ravishankara, Mayank
Published: (2026)

Aligning Security Compliance and DevOps: A Longitudinal Study
by: Moyón, Fabiola, et al.
Published: (2025)

Enhancing Legal Compliance and Regulation Analysis with Large Language Models
by: Hassani, Shabnam
Published: (2024)

Inferring Attributed Grammars from Parser Implementations
by: Pointner, Andreas, et al.
Published: (2025)

STCLocker: Deadlock Avoidance Testing for Autonomous Driving Systems
by: Cheng, Mingfei, et al.
Published: (2025)

IPSynth: Interprocedural Program Synthesis for Software Security Implementation
by: Shokri, Ali, et al.
Published: (2024)

Professional Insights into Benefits and Limitations of Implementing MLOps Principles
by: Araujo, Gabriel, et al.
Published: (2024)

Microkernel-Based Web Architecture: Design & Implementation Considerations
by: Dini, Vick
Published: (2025)

Evaluating SZZ Implementations: An Empirical Study on the Linux Kernel
by: Lyu, Yunbo, et al.
Published: (2023)

Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents
by: Winston, Cailin, et al.
Published: (2026)

Enhancing Code Quality with Generative AI: Boosting Developer Warning Compliance
by: Chang, Hansen, et al.
Published: (2025)

Systematic Mapping Study on Requirements Engineering for Regulatory Compliance of Software Systems
by: Kosenkov, Oleksandr, et al.
Published: (2024)

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
by: Wijayakoon, Chanuka, et al.
Published: (2025)

Bita: A Conversational Assistant for Fairness Testing
by: Johnson, Keeryn, et al.
Published: (2025)