English
Related papers

Related papers: Robust Software Development for University-Built S…

200 papers

CubeSats are small satellites used for scientific experiments because they cost less than full sized satellites. Each CubeSat uses an on-board computer. The on-board computer performs sensor measurements, data processing, and CubeSat…

Space Physics · Physics 2022-11-07 Brosnan Yuen , Mihai Sima

The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the construction of systems that are correct-by-design. BIP has been effectively used for the construction and analysis of large systems such as robot…

Software Engineering · Computer Science 2019-11-20 Anastasia Mavridou , Joseph Sifakis , Janos Sztipanovits

The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the construction of systems that are correct-by-design. BIP has been effectively used for the construction and analysis of large systems such as robot…

Software Engineering · Computer Science 2018-06-04 Anastasia Mavridou , Joseph Sifakis , Janos Sztipanovits

CubeSat-based nanosatellites are composed of COTS components and rely on its structure and standardized interfaces. A challenge in the nanosatellites context is to adapt the V\&V (Verification and Validation) process to answer to the…

Other Computer Science · Computer Science 2020-12-01 Carlos Leandro Gomes Batista , Tania Basso , Fátima Mattiello-Francisco , Regina Moraes

Sensitive computation often has to be performed in a trusted execution environment (TEE), which, in turn, requires tamper-proof hardware. If the computational fabric can be tampered with, we may no longer be able to trust the correctness of…

Cryptography and Security · Computer Science 2017-11-09 Yan Michalevsky , Yonatan Winetraub

This paper details our journey in designing and selecting a suitable application sandboxing mechanism for a satellite under development, with a focus on small satellites. Central to our study is the development of selection criteria for…

Cryptography and Security · Computer Science 2024-04-08 Gabriele Marra , Ulysse Planta , Philipp Wüstenberg , Ali Abbasi

Realizing functional space systems using flight-tested components is problematic in developing economies, as such components are costly for most institutions to sponsor. The B.Sc. project, Subsystems for 2nd Iteration Cairo University…

Other Computer Science · Computer Science 2022-05-18 Ahmed Farid , Ahmed Samy , Ahmed Shalaby , Ahmed Tarek , Mahmoud Ayyad , Muhammad Assem , Samy Amin

An approach towards wireless ranging and synchronization using commercial of-the-shelf software-defined radio payloads for small satellites, esp. CubeSats is studied. The approach only relies on the programmable logic configuration and…

Systems and Control · Electrical Eng. & Systems 2022-12-02 Markus Gardill , Dominik Pearson , Julian Scharnagl , Klaus Schilling

CubeSats are tiny satellites with increasing capabilities. They have been used for more than a decade by universities to train students on space technologies, in a hands-on project aiming at building, launching and operating a real…

Small satellite communications recently entered a period of massive interest driven by the uprising space applications. CubeSats are particularly attractive due to their low development costs which makes them very promising in playing a…

Signal Processing · Electrical Eng. & Systems 2022-01-25 Amr Zeedan , Tamer Khattab

Micro- and nanosatellites have become popular platforms for a variety of commercial and scientific applications, but today are considered suitable mainly for short and low-priority space missions due to their low reliability. In part, this…

Hardware Architecture · Computer Science 2019-03-22 Christian M. Fuchs , Nadia Murillo , Aske Plaat , Erik Van der Kouwe , Daniel Harsono , Todor Stefanov

The on-orbit processing of massive satellite-native data relies on powerful computing power. Satellite computing has started to gain attention, with researchers proposing various algorithms, applications, and simulation testbeds.…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-07-18 Chao Wang , Yiran Zhang , Qing Li , Ao Zhou , Shangguang Wang

CubeSats offer a low-cost platform for space research, particularly for Earth observation. However, their resource-constrained nature and being in space, challenge the flexibility and complexity of the deployed image processing pipelines…

Image and Video Processing · Electrical Eng. & Systems 2025-06-05 Robert Bayer , Julian Priest , Daniel Kjellberg , Jeppe Lindhard , Nikolaj Sørenesen , Nicolaj Valsted , Ívar Óli , Pınar Tözün

One of the primary objectives of small satellites is to reduce the costs associated with spacecraft development and operations as compared to traditional spacecraft missions. Small satellite missions are generally able to reduce mission…

Instrumentation and Methods for Astrophysics · Physics 2019-01-24 Dustin M. Geletko , Matthew D. Grubb , John P. Lucas , Justin R. Morris , Max Spolaor , Mark D. Suder , Steven C. Yokum , Scott A. Zemerick

The Educational Irish Research Satellite, known as EIRSAT-1, is a student-led project to design, build, test and launch Ireland's first satellite. The on-board software for this mission is being developed using Bright Ascension's…

Since the early 2000' years, the CubeSats have been growing and getting more and more "space" in the Space industry. Their short development schedule, low cost equipment and piggyback launches create a new way to access the space, provide…

Software Engineering · Computer Science 2021-02-25 Carlos Leandro Gomes Batista , Fátima Mattiello-Francisco

CubeSats have democratised access to space for universities, start-ups and emerging space nations, but the same design decisions that reduce cost and complexity introduce distinctive cybersecurity risks. Existing risk assessment…

Cryptography and Security · Computer Science 2026-04-02 Jonathan Shelby

Cube satellites, or CubeSats, are small satellites commonly used to perform Earth imaging and on-orbit scientific experiments. CubeSats are often powered using expensive, inflexible commercial-off-the-shelf solar panels, largely due to a…

Instrumentation and Detectors · Physics 2024-07-30 Nicholas J. Sorensen , Erik F. Halliwell

Space systems miniaturization has been increasingly popular for the past decades, with over 1600 CubeSats and 300 sub-CubeSat sized spacecraft estimated to have been launched since 1998. This trend towards decreasing size enables the…

Instrumentation and Methods for Astrophysics · Physics 2022-10-20 Konstantinos Kanavouras , Andreas Makoto Hein , Maanasa Sachidanand

The article is a short overview of a proposal of a CubeSat type nanosatellite designed to conduct biopharmaceutical tests on the low earth orbit. Motivations behind the emerging demand for such solution nowadays and in the close future are…

Biological Physics · Physics 2018-02-13 Anna Kornakiewicz , Jakub Mielczarek , Adam Zadrozny
‹ Prev 1 2 3 10 Next ›