Systemy wbudowane: Analiza i modelowanie za pomocą SysML, UML i AADL

Oryginalny tytuł:

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

Zawartość książki:

Od czasu skonstruowania pierwszego systemu wbudowanego w latach 60. ubiegłego wieku, systemy wbudowane wciąż się rozprzestrzeniają. Zapewniają one stale rosnącą liczbę usług i są częścią naszego codziennego życia. Rozwój tych systemów jest trudnym problemem, który nie ma jeszcze globalnego rozwiązania. Inną trudnością jest to, że systemy są zanurzone w rzeczywistym świecie, który nie jest dyskretny (jak jest to ogólnie rozumiane w informatyce), ale ma bogactwo zachowań, które czasami utrudniają formułowanie założeń upraszczających ze względu na ich ogólnie autonomiczny charakter i muszą stawić czoła potencjalnie nieprzewidzianym sytuacjom (na przykład incydentom), a nawet sytuacjom, które wykraczają poza początkowe założenia projektowe.

Embedded Systems przedstawia aktualny stan wiedzy na temat rozwoju systemów wbudowanych, a w szczególności koncentruje się na modelowaniu i analizie tych systemów poprzez spojrzenie na "inżynierię opartą na modelach" (MDE2): SysML, UML/MARTE i AADL. Przedstawiono studium przypadku (oparte na rozruszniku serca), które umożliwia czytelnikowi obserwację, w jaki sposób różne aspekty systemu są rozwiązywane przy użyciu różnych podejść. Wszystkie trzy systemy są ważne, ponieważ zapewniają czytelnikowi globalny obraz ich możliwości i demonstrują wkład każdego podejścia na różnych etapach cyklu życia oprogramowania. Przedstawiono również rozdziały poświęcone analizie specyfikacji i generowaniu kodu.

Spis treści.

Przedmowa, Brian R. Larson.

Słowo wstępne, Dominique Potier.

Wprowadzenie, Fabrice Kordon, J r me Hugues, Agusti Canals i Alain Dohet.

Część 1. Pojęcia ogólne.

1. Elementy projektowania wbudowanych systemów komputerowych, Fabrice Kordon, J r me Hugues, Agusti Canals i Alain Dohet.

2. Studium przypadku: Rozrusznik serca, Fabrice Kordon, J r me Hugues, Agusti Canals i Alain Dohet.

Część 2. SysML.

3. Prezentacja koncepcji SysML, Jean-Michel Bruel i Pascal Roques.

4. Modelowanie studium przypadku przy użyciu języka SysML, Lo c Fejoz, Philippe Leblanc i Agusti Canals.

5. Analiza wymagań, Ludovic Apvrille i Pierre De Saqui-Sannes.

Część 3. MARTE.

6. Wprowadzenie do koncepcji MARTE, S bastien G rard i Fran ois Terrier.

7. Modelowanie studium przypadku przy użyciu MARTE, J r me Delatour i Jo l Champeau.

8. Analiza oparta na modelach, Frederic Boniol, Philippe Dhaussy, Luka Le Roux i Jean-Charles Roger.

9. Model-Based Deployment and Code Generation, Chokri Mraidha, Ansgar Radermacher i S bastien G rard.

Część 4. AADL.

10. Prezentacja koncepcji AADL, J r me Hugues i Xavier Renault.

11. Modelowanie studium przypadku z wykorzystaniem AADL, Etienne Borde.

12. Analiza oparta na modelach, Thomas Robert i J r me Hugues.

13. Model-Based Code Generation, Laurent Pautet i B chir Zalila.