Transmisión del "Workshop on Spacecraft Flight Software"

[Gerardo Puga]

Por si es de interés para gente que esté trabajando en sistemas críticos:

Se está llevando a cabo la conferencia del 2016 Workshop on Spacecraft Flight Software (FSW-16), y transmiten las sesiones por internet a través de su canal de YouTube.

Los temas abarcados cubren (copiado directamente de la página):
* Flight software engineering and testing
* Autonomy
* Model based software development
* Navigation, fault management, and command sequence control
* Onboard communication
* Space network protocols
* Onboard data processing
* Software modeling, simulation and testbeds
* Spacecraft software architectures
* Agile software development
* Flight processors and operating systems
* Planning, tasking and execution
* Systems engineering
* Software Verification and Validation
* Testing Technologies
* Lessons learned

Página principal del Workshop:
http://flightsoftware.jhuapl.edu/

Programa de la conferencia:
https://drive.google.com/file/d/0B_vnyUqHDu3DSWllS0JxUEFISkE/view?usp=sharing

Canal de YouTube para ver las sesiones actuales y pasadas:
https://www.youtube.com/channel/UCNUuEywaLBmwgOLRXhFPLPw

Saludos.

Gerardo.-

[Leandro Francucci]

Gracias por el aporte Gerardo,

Particularmente la edición del 2012 del FSW fue un disparador para investigar y determinar que varias misiones incluyendo el famoso vehículo Curiosty utilizan los modelos de comportamiento (específicamente Statecharts) para generar código de forma automática y además el concepto de Objeto Activo como unidad de concurrencia, los cuales colaboran entre si, intercambiando mensajes asincrónicos (o simplemente: eventos). Esto es básicamente programación reactiva.

Para mi grata sorpresa, el 75% del software (de más de 3 MLOC) del Curiosity está generado en forma automática a partir de modelos de comportamiento Statecharts ;) utilizando:

• Una simple herramienta para dibujar el modelo (MagicDraw), y a partir de esta generar el XMI
• Luego utilizan una herramienta propia, AutoCoder la cual a partir del XMI genera:
  • el código C del modelo basado en el framework QP
  • una serie de archivos para la simulación gráfica del modelo (en Python)
  • y un archivo para la verificación automática y formal del modelo, utilizando el lenguaje Promela, que es el lenguaje de entrada del verificador (libre y open-source) del modelo llamado SPIN.

Para aquellos interesados en estos temas: presentación UML State Chart Autocoding for the Mars Science Laboratory (MSL) Mission [Video] de Eddie Benowitz (JPL). Y adicionalmente algunos artículos relacionados e interesantes:

• Benowitz - Auto-coding UML Statecharts for Flight Software
• Benowitz - Automatic Code Generation For Instrument Flight Software
• Crane - UML vs Classical vs Rhapsody Statecharts
• David Keck - Examining the Rover Compute Element and the Mars Science Laboratory
• Kiri Wagstaff - From Protocol Specification to Statechart to Implementation
• Holzmann - Landing a Spacecraft On Mars
• Holzmann - Model-Driven Software Verification
• Holzmann - Mars Code
  

Saludos

LF

--
-- Recibiste este mensaje porque estás suscripto al Grupo Google Embebidos32. Para postear en este grupo, escribe un email a embeb...@googlegroups.com. Para des-suscribirte, envía un email a embebidos32+unsubscribe@googlegroups.com. Para más opciones, visita el sitio del grupo en https://groups.google.com/d/forum/embebidos32?hl=es
---
Has recibido este mensaje porque estás suscrito al grupo "Embebidos32" de Grupos de Google.
Para cancelar la suscripción a este grupo y dejar de recibir sus mensajes, envía un correo electrónico a embebidos32+unsubscribe@googlegroups.com.
Para acceder a más opciones, visita https://groups.google.com/d/optout.

[Gustavo F. Paredes - LU2JGP]

Si NASA se anima a programar un Rover marciano con esto, arriesgando el costo de ponerlo allí, me pongo ya (bueno, después de una semana de vacaciones en Traslasierras) a probar esta maravilla y me dejo de escribir tanto código a manopla. 

Muchas gracias por el aporte. 

Saludos 

Gustavo Paredes 

[Leandro Francucci]

Te imaginarás que por la envergadura del proyecto es imposible arriesgar absolutamente nada. El artículo Landing a Spacecraft On Mars (Holzman) describe brevemente lo más importante para conseguir que su software funcione: su proceso de desarrollo.

Saludos!

LF

[eamanu15 .]

La filosofía del ambiente espacial es sumamente conservadora. Utilizan componentes calificados para volar que son tecnología obsoleta (hablamos de 8086 en satélites Argentinas), se prefiere utilizar algo que se sabe que vuela "bien" y no algo que hay un mínimo riesgo que falle.

/******************************************************/
/* «Lo importante es no dejar de hacerse preguntas»   */
/* - Einstein.                                                                     */
/******************************************************/