Metodologías,
Procesos y Entornos para Sistemas de Tiempo Real
Máster en
Computación
Curso
2008-2009
Facultad de Ciencias, Universidad de Cantabria
1. Profesores
2. Programa
3. Apuntes
4. Prácticas
1. Profesores
2. Programa
BLOQUE
TEMATICO 1 Panorámica
del diseño de sistemas de tiempo real
- Motivación y enfoque de la
asignatura.
- Características definitorias de
los sistemas de tiempo real.
- La gestión de la complejidad:
modelado, abstracción y partición.
- Formalismos y tendencias
empleados para definir e implementar sistemas de tiempo real:
Lenguajes, sistemas operativos, y diseño dirigido por modelos.
- Bases de UML 2.0 para el
desarrollo dirigido por modelos.
BLOQUE TEMATICO 2 El
proceso de desarrollo
- El papel del proceso de
desarrollo en el contexto de la ingeniería de software y los
condicionamientos de producción industrial de sistemas empotrados.
- Procesos utilizados en el
dominio de sistemas empotrados y de tiempo real.
- El proceso de desarrollo ROPES.
BLOQUE
TEMATICO 3
Metodologías de diseñó de tiempo real
- Metodología estructurada y COMET.
- Metodologías orientadas a
objetos: ROOM, HRT-HOOD, OOHARTS, Octopus/UML, SiMOO-RT, AccordUML,
Real-Time Perspective.
- Transformación de modelos UML a
lenguajes formales.
- Estrategias basadas en
componentes.
- El diseño dirigido por modelos y
las extensiones de UML para sistemas de tiempo real
BLOQUE TEMATICO 4 Patrones
de diseño
BLOQUE TEMATICO 5 Modelos
de
análisis
- Metodología de análisis de
sistemas de tiempo real con MAST.
- Composición de modelos de
análisis de planificabilidad.
- Análisis de planificabilidad en
estrategias orientadas a objetos.
- Validación temporal de los
principales patrones de diseño.
3. Apuntes
Para ver los apuntes en formato pdf pinchar sobre el enlace
correspondiente. Los enlaces irán apareciendo con el avance de la
asignatura:
Guia Docente
BLOQUE TEMATICO 1. Panorámica del
Diseño de Sistemas de tiempo Real
BLOQUE TEMATICO 2. El proceso de desarrollo
BLOQUE TEMATICO 3. Metodologías de
Diseño de Tiempo Real
BLOQUE TEMATICO 4. Patrones de Diseño
BLOQUE TEMATICO 5. Modelos de Análisis
Otra documentación
- Manual de
referencia del lenguaje Ada 2005
- Documentos del UML Profile
for MARTE
4. Prácticas