Space systems. Programme management. Non-conformance control system

2015 ◽  
Sensors ◽  
2021 ◽  
Vol 21 (14) ◽  
pp. 4905
Author(s):  
Angel Porras-Hermoso ◽  
Daniel Alfonso-Corcuera ◽  
Javier Piqueras ◽  
Elena Roibás-Millán ◽  
Javier Cubas ◽  
...  

This paper presents the development of the UPMSat-2 sun sensor, from the design to on-orbit operation. It also includes the testing of the instrument, one of the most important tasks that needs to be performed to operate a sensor with precision. The UPMSat-2 solar sensor has been designed, tested, and manufactured at the Universidad Politécnica de Madrid (UPM) using 3D printing and COTS (photodiodes). The work described in this paper was carried out by students and teachers of the Master in Space Systems (Máster Universitario en Sistemas Espaciales—MUSE). The solar sensor is composed of six photodiodes that are divided into two sets; each set is held and oriented on the satellite by its corresponding support printed in Delrin. The paper describes the choice of components, the electrical diagram, and the manufacture of the supports. The methodology followed to obtain the response curve of each photodiode is simple and inexpensive, as it requires a limited number of instruments and tools. The selected irradiance source was a set of red LEDs and halogen instead of an AM0 spectrum irradiance simulator. Some early results from the UPMSat-2 mission have been analyzed in the present paper. Data from magnetometers and the attitude control system have been used to validate the data obtained from the sun sensor. The results indicate a good performance of the sensors during flight, in accordance with the data from the ground tests.


2009 ◽  
Author(s):  
Daniel James Beaman ◽  
David Ian Brink ◽  
Barry Ritchie ◽  
Michael John Pitts ◽  
Mohd Rushdan Jaafar ◽  
...  

Author(s):  
D. Brink ◽  
B. Ritchie ◽  
I. Abbasy ◽  
M. Pitts ◽  
M.R. Jaafar ◽  
...  

2009 ◽  
Author(s):  
Daniel James Beaman ◽  
David Ian Brink ◽  
Barry Ritchie ◽  
Michael John Pitts ◽  
Mohd Rushdan Jaafar ◽  
...  

2004 ◽  
Author(s):  
H. Frampton ◽  
J.C. Morgan ◽  
S.K. Cheung ◽  
L. Munson ◽  
K.T. Chang ◽  
...  

2021 ◽  
Vol 182 (1) ◽  
pp. 31-67
Author(s):  
Étienne André ◽  
Emmanuel Coquard ◽  
Laurent Fribourg ◽  
Jawher Jerray ◽  
David Lesens

The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a manual design is to automatically synthesize the main parameters of the system. In this paper, we present an approach for the specific case of the scheduling of the flight control of a space launcher. The approach requires two successive steps: (1) the formalization of the problem to be solved in a parametric formal model and (2) the synthesis of the model parameters with a tool. We first describe the problem of the scheduling of a launcher flight control, then we show how this problem can be formalized with parametric stopwatch automata; we then present the results computed by the parametric timed model checker IMITATOR. We enhance our model by taking into consideration the time for switching context, and we compare the results to those obtained by other tools classically used in scheduling.


Sign in / Sign up

Export Citation Format

Share Document