Sistemas empotrados: Análisis y modelado con SysML, UML y AADL

Título original:

Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Contenido del libro:

Desde la construcción del primer sistema empotrado en los años 60, los sistemas empotrados no han dejado de extenderse. Proporcionan un número cada vez mayor de servicios y forman parte de nuestra vida cotidiana. El desarrollo de estos sistemas es un problema difícil que aún no tiene una solución global. Otra dificultad es que los sistemas se sumergen en el mundo real, que no es discreto (como se entiende generalmente en informática), sino que tiene una riqueza de comportamientos que a veces dificulta la formulación de hipótesis simplificadoras debido a su carácter generalmente autónomo y deben hacer frente a situaciones posiblemente imprevistas (incidentes, por ejemplo), o incluso a situaciones que quedan fuera de las hipótesis iniciales de diseño.

Embedded Systems presenta el estado del arte del desarrollo de sistemas empotrados y, en particular, se centra en el modelado y análisis de estos sistemas mediante el estudio de la "ingeniería dirigida por modelos" (MDE2): SysML, UML/MARTE y AADL. Se presenta un estudio de caso (basado en un marcapasos) que permite al lector observar cómo se abordan los distintos aspectos de un sistema utilizando los diferentes enfoques. Los tres sistemas son importantes porque proporcionan al lector una visión global de sus posibilidades y demuestran las aportaciones de cada enfoque en las distintas etapas del ciclo de vida del software. También se presentan capítulos dedicados al análisis de la especificación y la generación de código.

Contenido.

Prólogo, Brian R. Larson.

Prólogo, Dominique Potier.

Introducción, Fabrice Kordon, J r me Hugues, Agusti Canals y Alain Dohet.

Primera parte. Conceptos generales.

1. Elementos para el diseño de sistemas informáticos empotrados, Fabrice Kordon, J r me Hugues, Agusti Canals y Alain Dohet.

2. Estudio de caso: Marcapasos, Fabrice Kordon, J r me Hugues, Agusti Canals y Alain Dohet.

2ª parte. SysML.

3. Presentación de los conceptos SysML, Jean-Michel Bruel y Pascal Roques.

4. Modelización del caso práctico mediante SysML, Lo c Fejoz, Philippe Leblanc y Agusti Canals.

5. Análisis de requisitos, Ludovic Apvrille y Pierre De Saqui-Sannes.

Parte 3. MARTE. MARTE.

6. Introducción a los conceptos de MARTE, S bastien G rard y Fran ois Terrier.

7. Case Study Modeling Using MARTE, J r me Delatour y Jo l Champeau.

8. Análisis basado en modelos, Frederic Boniol, Philippe Dhaussy, Luka Le Roux y Jean-Charles Roger.

9. 9. Despliegue basado en modelos y generación de código, Chokri Mraidha, Ansgar Radermacher y S bastien G rard.

Parte 4. AADL. AADL.

10. Presentación de los conceptos de AADL, J r me Hugues y Xavier Renault.

11. Modelización de casos prácticos mediante AADL, Etienne Borde.

12. Análisis basado en modelos, Thomas Robert y J r me Hugues.

13. 13. Generación de código basada en modelos, Laurent Pautet y B chir Zalila.