A Comparative Survey on Flight Software Frameworks for 'New Space'
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Mull It Over: Mutation Testing Based on LLVM
Mull it over: mutation testing based on LLVM Alex Denisov Stanislav Pankevich Independent researcher Independent researcher Berlin, Germany Berlin, Germany Email: [email protected] Email: [email protected] Abstract—This paper describes Mull, an open-source tool for framework [4]. It uses two components of LLVM: IR, its low- mutation testing based on the LLVM framework. Mull works level intermediate language, to perform mutations and JIT with LLVM IR, a low-level intermediate representation, to per- for runtime compilation and execution of a tested program form mutations, and uses LLVM JIT for just-in-time compilation. This design choice enables the following two capabilities of Mull: and its mutated counterparts. LLVM IR is also referred to language independence and fine-grained control over compilation as LLVM Bitcode or simply as bitcode. We use these terms and execution of a tested program and its mutations. Mull interchangeably. can work with code written in any programming language that supports compilation to LLVM IR, such as C, C++, Rust, or We consider the following criteria important for a practical Swift. Direct manipulation of LLVM IR allows Mull to do less implementation of mutation testing tool: the tool must be work to generate mutations: only modified fragments of IR code fast, configurable and easy to set up and use. The tool are recompiled, and this results in faster processing of mutated should allow smooth integration with build tools. The tool programs. To our knowledge, no existing mutation testing tool provides these capabilities for compiled programming languages. should be ready for use in mutation testing analysis of real- We describe the algorithm and implementation details of Mull, world production and open source projects. -
Algorithme Embarqué De Navigation Optique Autonome Pour Nanosatellites Interplanétaires Boris Segret
Algorithme embarqué de navigation optique autonome pour nanosatellites interplanétaires Boris Segret To cite this version: Boris Segret. Algorithme embarqué de navigation optique autonome pour nanosatellites interplané- taires. Astrophysique [astro-ph]. Université Paris sciences et lettres, 2019. Français. NNT : 2019PSLEO017. tel-02889414 HAL Id: tel-02889414 https://tel.archives-ouvertes.fr/tel-02889414 Submitted on 3 Jul 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Préparée à l’Observatoire de Paris Algorithme embarqué de navigation optique autonome pour nanosatellites interplanétaires Soutenue par Composition du jury : Boris SEGRET Marie-Christine ANGONIN Présidente Le 25 septembre 2019 Professeure, Sorbonne Université et SYRTE, l’Observatoire de Paris Véronique DEHANT Rapporteuse Professeure, Observatoire Royal de Belgique o École doctorale n 127 Mathieu BARTHÉLÉMY Rapporteur Maître de Conférence, Institut de Planéto- Astronomie et logie et d’Astrophysique de Grenoble Astrophysique d’Ile de France Éric CHAUMETTE Examinateur Professeur, -
CHRONIK RAUMFAHRTSTARTS Januar Bis März 2018 Von Arno Fellenberg
Heft 45 Ausgabe 1/2018 RC I RAUMFAHRT INFORMATIONS CONCRET DIENST CHRONIK RAUMFAHRTSTARTS Januar bis März 2018 von Arno Fellenberg Raumfahrt Concret Informationsdienst – RCI – 2 – Raumfahrt Concret Informationsdienst RC I RAUMFAHRT INFORMATIONS CONCRET DIENST INHALT COPYRIGHT 2018 / AUTOR VORWORT SEITE 3 CHRONOLOGISCHE STARTFOLGE SEITE 4 BAHNDATEN SEITE 31 ABSTÜRZE UND LANDUNGEN SEITE 38 Impressum Herausgeber: Redaktionskollegium: Raumfahrt Concret Arno Fellenberg (Chronik) Informationsdienst (RCI) Michael Gräfe (SLS & Orion) Ralf Hupertz (Layout) Verlagsanschrift: Jürgen Stark (Statistik) Verlag Iniplu 2000 c/o Initiative 2000 plus e.V. Redaktionsanschrift: Lindenstr. 63 Arno Fellenberg 17033 Neubrandenburg Bochumer Landstr. 256 45276 Essen Druck: [email protected] Henryk Walther Papier- & Druck-Center GmbH & Co. KG Einzelpreis: Neubrandenburg 5,00 € www.walther-druck.de RC-Kunden: 3,00 € Fotos Titelseite (SpaceX): Erststart der Falcon Heavy und Landung der beiden seitlichen Booster (18-017) Chronik – Raumfahrtstarts, Januar bis März 2018 Raumfahrt Concret Informationsdienst – 3 – Chronik Raumfahrtstarts Januar bis März 2018 von Arno Fellenberg Liebe Leserinnen und Leser! Mit dem ersten Teil der RCI-Chronik Raumfahrtstarts des Jahres 2018 beginnen wir den zwölften Jahrgang umfangreicher Informationen zu allen Raumfahrtstarts weltweit unter dem Logo des Raumfahrt Concret Informationsdienst. Diese Ausgabe umfasst die Starts der Monate Januar bis März 2018. Sie finden in diesem Band in chronologischer Folge wichtige Angaben zu allen Raum- fahrtstarts des Berichtszeitraums. Wie gewohnt, werden alle Raumflugkörper näher vor- gestellt und deren Mission wird kurz beschrieben. Weiterhin finden Sie hier eine kompakte Startliste, die die wichtigsten verfügbaren Bahnparameter dieser Raumflugkörper umfasst. Schließlich sind alle Satelliten aufgelistet, die im Berichtszeitraum abgestürzt sind bzw. zur Erde zurückgeführt wurden. Beim Transport von Kleinsatelliten zur ISS, werden diese im Bericht des Startfahrzeuges beschrieben. -
Integrated Solution for Rapid Development of Complex Gnc Software
INTEGRATED SOLUTION FOR RAPID DEVELOPMENT OF COMPLEX GNC SOFTWARE Jean-Sébastien Ardaens (1), Gabriella Gaias (2) (1) German Space Operations Center (DLR/GSOC), 82234 Wessling, Germany, [email protected] (2) German Space Operations Center (DLR/GSOC), 82234 Wessling, Germany, [email protected] ABSTRACT low altitude (500km) with very different ballistic coefficients, it has to be avoided to fix problems - which The paper describes the integrated software solution could have been detected before - after establishing the retained for the design and development of the formation because of the high propellant cost required AVANTI experiment, a challenging on-board to maintain the formation. autonomous formation-flying endeavour to be After a brief description of the envisioned experiment, conducted in 2016. This solution aims at enabling rapid the paper proposes some ideas to reduce the prototyping by providing a powerful development, development and validation efforts of such a GNC validation and testing environment, able to support experiment while ensuring a smooth integration in the simultaneously the design and validation of novel satellite bus to augment the chance of successful Guidance, Navigation and Control algorithms, the completion of the experiment. definition and documentation of the interfaces with the ground segment, the implementation of the onboard 2. OVERVIEW software using space quality standards, the integration into an existing satellite bus and all related testing 2.1. The AVANTI Experiment activities. As mentioned in the introduction, AVANTI will 1. INTRODUCTION demonstrate the capability to perform rendezvous and receding approaches with respect to a noncooperative The possibility to conduct a spaceborne experiment is a client satellite making use of vision-based angles-only rare and precious opportunity that has to be taken even measurements. -
On the Verge of an Astronomy Cubesat Revolution
On the Verge of an Astronomy CubeSat Revolution Evgenya L. Shkolnik Abstract CubeSats are small satellites built in standard sizes and form fac- tors, which have been growing in popularity but have thus far been largely ignored within the field of astronomy. When deployed as space-based tele- scopes, they enable science experiments not possible with existing or planned large space missions, filling several key gaps in astronomical research. Unlike expensive and highly sought-after space telescopes like the Hubble Space Telescope (HST), whose time must be shared among many instruments and science programs, CubeSats can monitor sources for weeks or months at time, and at wavelengths not accessible from the ground such as the ultraviolet (UV), far-infrared (far-IR) and low-frequency radio. Science cases for Cube- Sats being developed now include a wide variety of astrophysical experiments, including exoplanets, stars, black holes and radio transients. Achieving high- impact astronomical research with CubeSats is becoming increasingly feasible with advances in technologies such as precision pointing, compact sensitive detectors, and the miniaturisation of propulsion systems if needed. CubeSats may also pair with the large space- and ground-based telescopes to provide complementary data to better explain the physical processes observed. A Disruptive & Complementary Innovation Fifty years ago, in December 1968, National Aeronautics and Space Admin- istration (NASA) put in orbit the first satellite for space observations, the Orbiting Astronomical Observatory 2. Since then, astronomical observation from space has always been the domain of big players. Space telescopes are arXiv:1809.00667v1 [astro-ph.IM] 3 Sep 2018 usually designed, built, launched and managed by government space agencies such as NASA, the European Space Agency (ESA) and the Japan Aerospace School of Earth and Space Exploration; Interplanetary Initiative { Arizona State Univer- sity, Tempe, AZ 85287. -
Space Telescopes and Instrumentation 2018: Optical, Infrared, and Millimeter Wave
PROCEEDINGS OF SPIE Space Telescopes and Instrumentation 2018: Optical, Infrared, and Millimeter Wave Makenzie Lystrup Howard A. MacEwen Giovanni G. Fazio Editors 10–15 June 2018 Austin, Texas, United States Sponsored by 4D Technology (United States) • Andor Technology, Ltd. (United Kingdom) • Astronomical Consultants & Equipment, Inc. (United States) • Giant Magellan Telescope (Chile) • GPixel, Inc. (China) • Harris Corporation (United States) • Materion Corporation (United States) • Optimax Systems, Inc. (United States) • Princeton Infrared Technologies (United States) • Symétrie (France) Teledyne Technologies, Inc. (United States) • Thirty Meter Telescope (United States) •SPIE Cooperating Organizations European Space Organisation • National Radio Astronomy Observatory (United States) • Science & Technology Facilities Council (United Kingdom) • Canadian Astronomical Society (Canada) Canadian Space Association ASC (Canada) • Royal Astronomical Society (United Kingdom) Association of Universities for Research in Astronomy (United States) • American Astronomical Society (United States) • Australian Astronomical Observatory (Australia) • European Astronomical Society (Switzerland) Published by SPIE Volume 10698 Part One of Three Parts Proceedings of SPIE 0277-786X, V. 10698 SPIE is an international society advancing an interdisciplinary approach to the science and application of light. The papers in this volume were part of the technical conference cited on the cover and title page. Papers were selected and subject to review by the editors and conference program committee. Some conference presentations may not be available for publication. Additional papers and presentation recordings may be available online in the SPIE Digital Library at SPIEDigitalLibrary.org. The papers reflect the work and thoughts of the authors and are published herein as submitted. The publisher is not responsible for the validity of the information or for any outcomes resulting from reliance thereon. -
Source Code Verification for Embedded Systems Using Prolog
Source Code Verification for Embedded Systems using Prolog Frank Flederer Ludwig Ostermayer University of Wuerzburg University of Wuerzburg Aerospace Information Technology Knowledge-based Systems [email protected] [email protected] Dietmar Seipel Sergio Montenegro University of Wuerzburg University of Wuerzburg Knowledge-based Systems Aerospace Information Technology [email protected] [email protected] System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their abstract syntax tree (AST). Tree structures can be elegantly analyzed with the logic programming language Prolog. Moreover, Prolog offers further advantages for a thorough analysis: On the one hand, it natively provides versatile options to efficiently process tree or graph data structures. On the other hand, Prolog’s non-determinism and backtracking eases tests of different variations of the program flow without big effort. A rule-based approach with Prolog allows to characterize the verification goals in a concise and declarative way. In this paper, we describe our approach to verify the source code of a flash file system with the help of Prolog. The flash file system is written in C++ and has been developed particularly for the use in satellites. We transform a given abstract syntax tree of C++ source code into Prolog facts and derive the call graph and the execution sequence (tree), which then are further tested against verification goals. The different program flow branching due to control structures is derived by backtracking as subtrees of the full execution sequence. -
Software Evolution from TET-1 to Eu:CROPIS
Software Evolution from TET-1 to Eu:CROPIS Olaf Maibaum (1), Ansgar Heidecker (2) (1) German Aerospace Center (DLR), Simulation and Software Technology, Lilienthalplatz 7, 38108 Braunschweig, Germany (2) German Aerospace Center (DLR), Institute of Space Systems, Robert Hooke Str. 7, 28359 Bremen, Germany ABSTRACT The base of the Eu:CROPIS (Euglena Combined Regenerative Organic food Production In Space) Attitude and Orbit Control System (AOCS) is the three layer AOCS software architecture of the TET-1 satellite (Technology demonstrator). Because of different AOCS requirements between TET-1 and Eu:CROPIS, a software reuse is only possible for software components in the interface layer. In the other two architecture layers, the software components have to be replaced by new implementations to fulfil the changed requirements of the Eu:CROPIS mission. In contrast to the former software evolution from BIRD (Bispectral Infra-Red Detection) to the TET-1 AOCS, the software evolu- tion is forced in Eu:CROPIS by the reuse of software design principals applied in TET- 1. This enables the change of the underlying scheduling mechanisms from a fixed-time approach to a more reactive software behavior presented in this paper. 1. INTRODUCTION The reactive scheduling mechanism used in the Eu:CROPIS AOCS is a result from ex- periences made in the BIRD mission [7]. This mechanism, named “Tasking Frame- work”, resolves one weakness in the BIRD and TET-1 AOCS software [8]: the scant timing for the control torque computation. The Tasking Framework is the core element in the runtime system development of DLR’s OBC-NG (Onboard Computer – Next Generation) project [5], which will provide a distributed onboard computer platform for reconfigurable and high redundant systems. -
Секретариат Distr.: General 20 December 2019 Russian Original: French
Организация Объединенных Наций ST/SG/SER.E/886 Секретариат Distr.: General 20 December 2019 Russian Original: French Комитет по использованию космического пространства в мирных целях Информация, представляемая в соответствии с Конвенцией о регистрации объектов, запускаемых в космическое пространство Вербальная нота Постоянного представительства Франции при Организации Объединенных Наций (Вена) от 20 марта 2019 года на имя Генерального секретаря Постоянное представительство Франции при Организации Объединенных Наций и других международных организациях в Вене свидетельствует свое ува- жение Управлению по вопросам космического пространства и в соответствии с положениями Конвенции о регистрации объектов, запускаемых в космическое пространство, открытой для подписания 14 января 1975 года, и положениями резолюции 62/101 Генеральной Ассамблеи от 17 декабря 2007 года имеет честь представить нижеследующую информацию о космических объектах, зареги- стрированных Францией в 2018 году*. В 2018 году Франция зарегистрировала 13 космических объектов (два спут- ника и 11 элементов ракет-носителей) в своем национальном регистре, который ведется от имени государства Национальным центром космических исследова- ний, в соответствии со статьями 12 и 28 Закона № 2008-518 от 3 июня 2008 года, касающимися космических операций, статьями 14-1 — 14-6 Декрета № 84-510 от 28 июня 1984 года, касающимися Национального центра, и положениями по- становления от 12 августа 2011 года о введении перечня информации, необходи- мой для идентификации космического объекта. В приложениях -
Performance Optimization Strategies for Transactional Memory Applications
Performance Optimization Strategies for Transactional Memory Applications zur Erlangung des akademischen Grades eines Doktors der Ingenieurwissenschaften von der Fakultät für Informatik des Karlsruher Instituts für Technologie (KIT) genehmigte Dissertation von Martin Otto Schindewolf aus Eschwege Tag der mündlichen Prüfung: 19. April 2013 Erster Gutachter: Prof. Dr. Wolfgang Karl Zweiter Gutachter: Prof. Dr. Albert Cohen KIT – Universität des Landes Baden-Württemberg und nationales Forschungszentrum der Helmholtz-Gesellschaft www.kit.edu Ich versichere hiermit wahrheitsgemäß, die Arbeit bis auf die dem Aufgabensteller bereits bekannte Hilfe selbständig angefertigt, alle benutzten Hilfsmittel vollständig und genau angegeben und alles kenntlich gemacht zu haben, was aus Arbeiten anderer unverändert oder mit Abänderung entnommen wurde. Karlsruhe, den 4. März 2013 Martin Schindewolf Abstract Transactional Memory (TM) has been proposed as an architectural extension to enable lock-free data structures. With the ubiquity of multi-core systems, the idea of TM gains new momentum. The motivation for the invention of TM was to simplify the synchronization of parallel threads in a shared memory system. TM features optimistic concurrency as opposed to the pessimistic concurrency with traditional locking. This optimistic approach lets two transactions execute in parallel and assumes that there is no data race. In case of a data race, e.g., both transactions write to the same address, this conflict must be detected and resolved. Therefore a TM run time system monitors shared memory accesses inside transactions. These TM systems can be implemented in software (STM), hardware (HTM) or as a hybrid combination of both. Most of the research in TM focuses on language extensions, compiler support, and the optimization of algorithmic details of TM systems. -
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain
ACCEPTED FOR PUBLICATION ON IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain Oscar Cornejo, Fabrizio Pastore, Member, IEEE, and Lionel C. Briand, Fellow, IEEE Abstract—On-board embedded software developed for spaceflight systems (space software) must adhere to stringent software quality assurance procedures. For example, verification and validation activities are typically performed and assessed by third party organizations. To further minimize the risk of human mistakes, space agencies, such as the European Space Agency (ESA), are looking for automated solutions for the assessment of software testing activities, which play a crucial role in this context. Though space software is our focus here, it should be noted that such software shares the above considerations, to a large extent, with embedded software in many other types of cyber-physical systems. Over the years, mutation analysis has shown to be a promising solution for the automated assessment of test suites; it consists of measuring the quality of a test suite in terms of the percentage of injected faults leading to a test failure. A number of optimization techniques, addressing scalability and accuracy problems, have been proposed to facilitate the industrial adoption of mutation analysis. However, to date, two major problems prevent space agencies from enforcing mutation analysis in space software development. First, there is uncertainty regarding the feasibility of applying mutation analysis optimization techniques in their context. Second, most of the existing techniques either can break the real-time requirements common in embedded software or cannot be applied when the software is tested in Software Validation Facilities, including CPU emulators and sensor simulators. -
Picsat: a Cubesat Mission for Exoplanetary Transit Detection in 2017
SSC17-III-09 PicSat: a Cubesat mission for exoplanetary transit detection in 2017 V. Lapeyrere, S. Lacour, L. David, M. Nowak, A. Crouzier, G. Schworer, P. Perrot, S. Rayane LESIA, Observatoire de Paris, PSL Research University, CNRS, Sorbonne Universités, UPMC Univ. Paris 06, Univ. Paris Diderot, Sorbonne Paris Cité 5 place Jules Jansen, 92195 Meudon; [email protected] ABSTRACT The PicSat mission is based on a 3U Cubesat architecture, with a payload specifically designed for high precision stellar photometry. The satellite is planned to be launched in September 2017. The main objective of the mission is the continuous monitoring of the brightness of Beta Pictoris. The Hill Sphere of planet Beta Pictoris b shall pass in front of its host during this period (from April 2017 to February 2018). To be ready on time for this rendez-vous, our philosophy was to focus our resources on the development of the payload and the flight software, where we have the expertise. We subcontracted the design and the realization of the platform and of the Attitude and Determination Control System. The payload is designed with a 37mm effective aperture and a single pixel avalanche photodiode. A single-mode fiber is used to guide the stellar light from the focal plane to the photodiode. To guarantee photometric precision and payload stabilization, the residual jitter of the three-axis ADCS is complemented with a two-axis piezoelectric actuation system that locks the position of the fiber on the center of the star. The flight software is based on a "L0/L1" dual-level architecture, making use of Gericos, an active object framework developed in-house.