Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring

Author(s):  
Miriam C. Bergue Alves ◽  
Doron Drusinsky ◽  
James Bret Michael ◽  
Man-Tak Shing
2013 ◽  
Vol 7 (4) ◽  
pp. 632-641 ◽  
Author(s):  
Miriam C. Bergue Alves ◽  
Doron Drusinsky ◽  
James Bret Michael ◽  
Man-Tak Shing

2001 ◽  
Vol 32 (8) ◽  
pp. 851-870 ◽  
Author(s):  
Joaquín Nicolás ◽  
Ambrosio Toval ◽  
Aurelio Arenas ◽  
Juan Alcalde

Author(s):  
Walter J. Sapp ◽  
D.E. Philpott ◽  
C.S. Williams ◽  
K. Kato ◽  
J. Stevenson ◽  
...  

Space flight, with its unique environmental constraints such as immobilization, decreased and increased pressures, and radiation, is known to affect testicular morphology and spermatogenesis. Selye, summarized the manifestations of physiological response to nonspecific stress and he pointed out that atrophy of the gonads always occurred. Reports of data collected from two dogs flown in space for 22 days (Cosmos 110) indicate that there was an increase of 30 to 70% atypical spermatozoa when compared to ground based controls. Seventy-five days after the flight the abnormalities had decreased to the high normal value of 30% and mating of these dogs after this period produced normal offspring, suggesting complete recovery. Effects of immobilization and increased gravity were investigated by spinning rats and mice at 2x g for 8-9 weeks. A decrease in testicular weight was noted in spun animals when compared to controls. Immobilization has been show to cause arrest of spermatogenesis in Macaca meminstrins.


Sign in / Sign up

Export Citation Format

Share Document