Sistemi embedded: Analisi e modellazione con SysML, UML e AADL

Titolo originale:

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

Contenuto del libro:

Dalla costruzione del primo sistema embedded negli anni '60, i sistemi embedded hanno continuato a diffondersi. Forniscono un numero sempre crescente di servizi e fanno parte della nostra vita quotidiana. Lo sviluppo di questi sistemi è un problema difficile che non ha ancora una soluzione globale. Un'altra difficoltà è rappresentata dal fatto che i sistemi sono immersi nel mondo reale, che non è discreto (come generalmente inteso nell'informatica), ma ha una ricchezza di comportamenti che a volte ostacola la formulazione di ipotesi semplificative a causa della loro natura generalmente autonoma e devono affrontare situazioni eventualmente impreviste (incidenti, per esempio), o addirittura situazioni che esulano dalle ipotesi iniziali di progettazione.

Embedded Systems presenta lo stato dell'arte dello sviluppo di sistemi embedded e, in particolare, si concentra sulla modellazione e sull'analisi di questi sistemi esaminando la "model-driven engineering" (MDE2): SysML, UML/MARTE e AADL. Viene presentato un caso di studio (basato su un pacemaker) che consente al lettore di osservare come vengono affrontati i diversi aspetti di un sistema utilizzando i diversi approcci. Tutti e tre i sistemi sono importanti in quanto forniscono al lettore una visione globale delle loro possibilità e dimostrano i contributi di ciascun approccio nelle diverse fasi del ciclo di vita del software. Vengono inoltre presentati capitoli dedicati all'analisi delle specifiche e alla generazione del codice.

Contenuti.

Prefazione, Brian R. Larson.

Prefazione, Dominique Potier.

Introduzione, Fabrice Kordon, J r me Hugues, Agusti Canals e Alain Dohet.

Parte 1. Concetti generali.

1. Elementi per la progettazione di sistemi informatici embedded, Fabrice Kordon, J r me Hugues, Agusti Canals e Alain Dohet.

2. Caso di studio: Pacemaker, Fabrice Kordon, J r me Hugues, Agusti Canals e Alain Dohet.

Parte 2. SysML.

3. Presentazione dei concetti SysML, Jean-Michel Bruel e Pascal Roques.

4. Modellazione del caso di studio mediante SysML, Lo c Fejoz, Philippe Leblanc e Agusti Canals.

5. Analisi dei requisiti, Ludovic Apvrille e Pierre De Saqui-Sannes.

Parte 3. MARTE.

6. Introduzione ai concetti di MARTE, S bastien G rard e Fran ois Terrier.

7. Modellazione di casi di studio con MARTE, J r me Delatour e Jo l Champeau.

8. Analisi basata su modelli, Frederic Boniol, Philippe Dhaussy, Luka Le Roux e Jean-Charles Roger.

9. Distribuzione e generazione di codice basate su modelli, Chokri Mraidha, Ansgar Radermacher e S bastien G rard.

Parte 4. AADL.

10. Presentazione dei concetti AADL, J r me Hugues e Xavier Renault.

11. Modellazione di casi di studio con AADL, Etienne Borde.

12. Analisi basata su modelli, Thomas Robert e J r me Hugues.

13. Generazione di codice basata su modelli, Laurent Pautet e B chir Zalila.