An airborne software development approach for manned and unmanned aerial vehicles aimed at reducing inconsistencies across system, model-based functional, and embedded software domains is presented and a repository-centered implementation to address recurring failure modes is proposed.
Abstract
This paper presents an airborne software development approach for manned and unmanned aerial vehicles aimed at reducing inconsistencies across system, model-based functional, and embedded software domains. In environments influenced by standards such as ARP-4754B and DO-178C, these inconsistencies typically stem from insufficient enforcement across domain boundaries rather than missing process definitions. Building on a previously proposed toolchain centered on a relational interface database, we identify recurring failure modes and propose a repository-centered implementation to address them, tailored to small, resource-constrained teams operating without heavyweight process overhead. Each domain is assigned a primary repository with cross-repository references and dedicated CI pipelines that generate, update, and validate the exchanged artifacts. Automated interface updates, differential change notifications, and consistency checks propagate changes with minimal manual effort and surface inconsistencies before the time-consuming code-generation and compilation steps. An initial implementation in an ongoing experimental project is described, with qualitative feedback from its early use.
A Domain-Specific Language (DSL), named RI language, designed for the declarative description of microservices, along with a supporting tool, TSE (Toolbox Service Executor), implemented in Python and based on the RI grammar, enables the representation of structural and operational aspects of services in a technology-agnostic manner.
Cássio Ritse, Machado Dos, S. Silva et al.· 0 citations
: This paper presents an automated approach to deriving informal test cases from Requirements Interchange Format (ReqIF)-structured system requirements based on general-purpose Large Language Models (LLMs) with integrated linkage to test evidences based on Digital Dependability Identities (DDIs). Our method enables scenario-based testing while drastically reducing effort and cost: test cases become available within hours instead of months. The automation supports formal traceability, safety argumentation, and change impact analysis. An automated conversion of derived test cases into ASAM OpenScenario (XOSC) and Open Test Sequence Exchange (OTX) formats accelerates design and implementation of platform-independent, executable test specifications while improving their reuse across development stages. A systematic review process allows domain experts to refine and extend generated specifications. We discuss testbed configuration including resource allocation, toolchain integration, and parameter initialization to satisfy test constraints and strengthen confidence in results against the original acceptance criteria. Finally, we execute the reviewed test cases in a simulated environment within a Virtual Continuous Testing (VCT) pipeline for efficient verification and validation in an X-in-the-Loop (XiL) testbed based on VCIP/FERAL. The closed-loop approach advances automated testing by combining efficiency, consistency, and scalability in test generation, which is showcased within an automotive use case.
Adam Bachorek, Stefan Schwenk, Naveed Akram et al.· International Conference on...· 0 citations
A structured framework for cross-domain integration and system-level validation in SDV environments that unifies four foundational engineering capabilities: explicit modeling of inter-domain dependencies, standardized signal interface definitions aligned with AUTOSAR Adaptive specifications, cross-domain temporal synchronization mechanisms, and coordinated scenario-based validation orchestration.
Sumaiyya Fatima· International Journal of Eng...· 0 citations
Algorithm-Driven Development is introduced, a methodology developed from industrial practice to address recurring challenges in translating requirements into reliable, testable, and maintainable software behavior that provides systematic coverage of functional scenarios from the outset of development.
Philippe Jawish, Pierre Evrard, Alexandre Lemerle et al.· Journal of Systems and Softw...· 0 citations
JDomInO is presented, a bidirectional synchronization toolchain for tactical DDD that keeps a Java codebase and its domain model connected through a shared metamodel, with the goal of keeping the two in sync as the system evolves.
Wei-Xing Zhang, Mario Herb, W. Cheng et al.· 0 citations
This study investigates whether a frontier LLM can generate Dockerfiles and Docker Compose configurations for multi-service applications using repository contents without access to developer-authored deployment artifacts and analytically derives a minimal explicit deployment specification for information that cannot be reliably inferred from repository artifacts.
Oleg Grynets, Kyrylo Fursov, V. Lyashkevych et al.· arXiv.org· 1 citation
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
