Related papers: Flight Software Development for the EIRSAT-1 Missi…
We present SpaceQA, to the best of our knowledge the first open-domain QA system in Space mission design. SpaceQA is part of an initiative by the European Space Agency (ESA) to facilitate the access, sharing and reuse of information about…
G\'EANT project is an example of a large organization with around 30 software projects and around 20 software development teams. Software development teams consist of many skilled associates coming from all members National Research and…
A plethora of astronomical science cases can only be achieved with high angular resolution observations, and we can expect the number of these to grow as astronomers are constrained by the size limitations of single-aperture space…
Mission-critical system, such as satellite systems, healthcare systems, and nuclear power plant control systems, undergo rigorous testing to ensure they meet specific operational requirements throughout their operation. This includes…
In this article, a floating robotic emulation platform for a virtual demonstration of satellite motion in space is presented. The robotic platform design is characterized by its friction-less, levitating, yet planar motion over a…
The exponential rise in small-satellites and CubeSats in Low Earth Orbit (LEO) poses important challenges for future space traffic management. At altitudes of 600 km and lower, aerodynamic drag accelerates de-orbiting of satellites.…
This volume contains the proceedings of F-IDE 2014, the first international workshop on Formal Integrated Development Environment, which was held as an ETAPS 2014 satellite event, on April 6, 2014, in Grenoble (France). High levels of…
Scientific software projects evolve rapidly in their initial development phase, yet at the end of a funding period, the completion of a research project, thesis, or publication, further engagement in the project may slow down or cease…
During the 1970s members of the British Interplanetary Society embarked on a landmark theoretical engineering design study to send a probe to Barnard's star. Project Daedalus was a two-stage vehicle employing electron beam driven inertial…
Software is the key crosscutting technology that enables advances in mathematics, computer science, and domain-specific science and engineering to achieve robust simulations and analysis for science, engineering, and other research fields.…
This paper discusses a PhD research project testing the hypothesis that using the United Nations Sustainable Development Goals(SDG) as explicit inputs to drive the Software Requirements Engineering process will result in requirements with…
The design of an Airwatch type space mission can greatly benefit from a flexible simulation code for establishing the values of the main parameters of the experiment. We present here a code written for this purpose. The cosmic ray primary…
In the context of critical applications, such as shielding and radiation protection, ensuring the quality of simulation software they depend on is of utmost importance. The assessment of simulation software quality is important not only to…
For the development of new digital signal processing systems and services, the rapid, easy, and convenient prototyping of ideas and the rapid time-to-market of products are becoming important with advances in technology. Conventionally, for…
This paper presents the thermo-mechanical design of the quantum light source on board SpooQy-1, a 3U CubeSat that was deployed from the International Space Station on 17th June 2019. SpooQy-1 is a technology demonstrator for space-based…
The development of software for wireless services on the Internet is a challenging task due to the extreme time-to-market pressure, the newness of the application domain, and the quick evolution of the technical infrastructure.…
CubeSats have the potential to expand astrophysical discovery space, complementing ground-based electromagnetic and gravitational-wave observatories. The CubeSat design specifications help streamline delivery of instrument payloads to…
The architecture of Exascale computing facilities, which involves millions of heterogeneous processing units, will deeply impact on scientific applications. Future astrophysical HPC applications must be designed to make such computing…
Research software refers to software development tools that accelerate discovery and simplifies access to digital infrastructures. However, although research software platforms can be built increasingly more innovative and powerful than…
Now in its sixth year of operation, the SPIRIT initiative remains unique in Australia, as a robust web-enabled robotic telescope initiative funded for education and outreach. With multiple modes of operation catering for a variety of usage…