Airborne software tests on a fully virtual platform
Software Engineering
2012-04-17 v1
Abstract
This paper presents the early deployment of a fully virtual platform to perform the tests of certified airborne software. This is an alternative to the current approach based on the use of dedicated hardware platforms.
Keywords
Cite
@article{arxiv.1204.3410,
title = {Airborne software tests on a fully virtual platform},
author = {Famantanantsoa Randimbivololona and Abderrahmane Brahmi and Philippe Le Meur},
journal= {arXiv preprint arXiv:1204.3410},
year = {2012}
}
Comments
EDCC 2012
Related papers
View all related →
Logic in Computer Science · Computer Science
A Scalable Approach for Hardware Semiformal Verification
Tomas Grimm, Djones Lettnin, Michael Hübner
2018-02-12
Software Engineering · Computer Science
Survey on software testing techniques in cloud computing
Priyadharshini. V, Malathi. A
2014-02-11
Software Engineering · Computer Science
Lessons from Formally Verified Deployed Software Systems (Extended version)
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer +1
2026-01-21
Software Engineering · Computer Science
Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles
Martin Becker, Markus Neumair, Alexander Söhn, Samarjit Chakraborty
2017-06-12
Systems and Control · Electrical Eng. & Systems
Unified Simulation and Test Platform for Control Systems of Unmanned Vehicles
Xunhua Dai, Chenxu Ke, Quan Quan, Kai-Yuan Cai
2019-08-08
Software Engineering · Computer Science
Automated Test Production -- Complement to "Ad-hoc" Testing
José Marcos Gomes, Luis Alberto Vieira Dias
2024-01-05
Software Engineering · Computer Science
Event-Driven Simulation for Rapid Iterative Development of Distributed Space Flight Software
Toby Bell, Simone D'Amico
2025-05-20
Distributed, Parallel, and Cluster Computing · Computer Science
Reliability of Computational Experiments on Virtualised Hardware
Ian P. Gent, Lars Kotthoff
2011-10-31
Software Engineering · Computer Science
A Model of Cloud Based Application Environment for Software Testing
T. Vengattaraman, P. Dhavachelvan, R. Baskaran
2010-04-13
Signal Processing · Electrical Eng. & Systems
Open-Source Software Radio Platform for Research on Cellular Networked UAVs -- It Works!
Aly Sabri Abdalla, Andrew Yingst, Keith Powell, Antoni Gelonch-Bosch +1
2021-12-17
Distributed, Parallel, and Cluster Computing · Computer Science
Experimental Assessment of Containers Running on Top of Virtual Machines
Hossein Aqasizade, Ehsan Ataie, Mostafa Bastam
2024-01-17
Software Engineering · Computer Science
From Design Contracts to Component Requirements Verification
Jing Liu, John D. Backes, Darren Cofer, Andrew Gacek
2016-04-26
Distributed, Parallel, and Cluster Computing · Computer Science
A Survey of Virtualization Technologies With Performance Testing
Joshua White, Adam Pilbeam
2010-10-18
Robotics · Computer Science
Simulation Platform for Autonomous Aerial Manipulation in Dynamic Environments
Fengyu Quan, Huisheng Huang, Hongjie Zeng, Haoyao Chen +1
2021-03-22
Systems and Control · Electrical Eng. & Systems
A Verification Framework for Certifying Learning-Based Safety-Critical Aviation Systems
Ali Baheri, Hao Ren, Benjamin Johnson, Pouria Razzaghi +1
2022-05-17
Robotics · Computer Science
A Simulator for Fully-Actuated UAVs
Azarakhsh Keipour, Mohammadreza Mousaei, Sebastian Scherer
2023-05-15
Software Engineering · Computer Science
A holistic approach for cross-platform software development
Juliano Zanuzzio Blanco, Daniel Lucrédio
2021-05-04
Systems and Control · Electrical Eng. & Systems
{\AE}r{\o}: A Platform Architecture for Mixed-Criticality Airborne Systems
Shibarchi Majumder, Jens Frederik Dalsgaard Nielsen, Thomas Bak
2022-08-31
Robotics · Computer Science
MRS Modular UAV Hardware Platforms for Supporting Research in Real-World Outdoor and Indoor Environments
Daniel Hert, Tomas Baca, Pavel Petracek, Vit Kratky +15
2023-02-10
Distributed, Parallel, and Cluster Computing · Computer Science
Optimizing Infrastructures for Testing Using Virtualization
Omer Khalid, Arsalaan Sheikh, Brice Copy
2012-10-30
Distributed, Parallel, and Cluster Computing · Computer Science
A Formal Approach to Network/Distributed Systems Complex Testing
Andrey A. Shchurov, Radek Marik, Vladimir A. Khlevnoy
2015-04-28
Software Engineering · Computer Science
Software Testing in the Quantum World
Rui Abreu, Shaukat Ali, Paolo Arcaini, Jose Campos +10
2026-01-22
Software Engineering · Computer Science
Supporting the monitoring of the verification process of critical systems'software
Julio Escribano-Barreno, Marisol García-Valls
2015-12-16
Software Engineering · Computer Science
Scalable Software Testing in Fast Virtual Platforms: Leveraging SystemC, QEMU and Containerization
Lukas Jünger, Jan Henrik Weinstock, Tim Kraus
2025-06-13
Systems and Control · Computer Science
Advanced Testing Chain Supporting the Validation of Smart Grid Systems and Technologies
Ron Brandl, Panos Kotsampopoulos, Georg Lauss, Marios Maniatopoulos +4
2018-12-24