Descripción
|
|
---|---|
A lo largo de la historia del software, tanto la industria como posteriormente también la comunidad científica han perseguido una metodología definitiva para el diseño e implementación de los sistemas informáticos. Sin embargo, múltiples son los ejemplos de estas metodologías que durante estas últimas décadas han sido propuestas, estandarizadas, desarrolladas herramientas para implementarlas y finalmente abandonadas. Múltiples son también las causas del fracaso de cada u na de ellas, siendo el exponencial crecimiento de la industria y sus crecientes necesidades factor común en el abandono de cada una de las propuestas. Los sistemas de tiempo real y sistemas empotrados, si bien se caracterizan por los especiales requisitos funcionales y no funcionales, también presentan necesidades especial es en su ciclo de vida. Ya sea por necesidades del servicio, o por mandato de normativas al respecto, también el diseño y el desarrollo de estos sistemas debe n seguir un especial proceso para su validación. La Agencia Espacial Europe a , como líder en este tipo de sistemas puso en marcha en 2004 un proyecto denominado ASSERT (Automated proof - based System and Software Engineering for Real - Time systems) , cuyo principal propósito era el estudio y propuesta de una metodología específica para el diseño y desarrollo de estos sistemas. Posteriormente, este proyecto fue ampliado con el proyecto TASTE ( The Assert Set of Tools for Engineering), cuyo objetivo era la implementación de un entorno de desar rollo que permitiera la puesta en práctica de la metodología propuesta en ASSERT. La presente memoria recoge el trabajo realizado por el autor en el proceso de diseño e implementación del software del satélite UPMSat - 2 mediante el uso de la metodología ASS ERT/TASTE. El proyecto UPMSat - 2 es un proyecto de la Universidad Politécnica de Madrid que tiene por objetivo el diseño, implementación, lanzamiento, operación y mantenimiento de un microsatélite que sirva de plataforma de demostración y validación de dive "rsos di spositivos y experimentos " | |
Internacional
|
No |
ISBN
|
|
Tipo de Tesis
|
Master |
Calificación
|
Sobresaliente |
Fecha
|
05/07/2013 |