Embedded Systems: Analiză și modelare cu SysML, UML și AADL

Titlul original:

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

Conținutul cărții:

De la construirea primului sistem încorporat în anii 1960, sistemele încorporate au continuat să se răspândească. Acestea furnizează un număr din ce în ce mai mare de servicii și fac parte din viața noastră de zi cu zi. Dezvoltarea acestor sisteme este o problemă dificilă care nu are încă o soluție globală. O altă dificultate constă în faptul că sistemele sunt scufundate în lumea reală, care nu este discretă (așa cum se înțelege în general în informatică), ci are o bogăție de comportamente care împiedică uneori formularea de ipoteze simplificatoare din cauza naturii lor în general autonome și trebuie să facă față unor situații posibil neprevăzute (incidente, de exemplu) sau chiar unor situații care se află în afara ipotezelor inițiale de proiectare.

Embedded Systems prezintă stadiul actual al dezvoltării sistemelor încorporate și, în special, se concentrează pe modelarea și analiza acestor sisteme prin analiza "ingineriei bazate pe modele" (MDE2): SysML, UML/MARTE și AADL. Este prezentat un studiu de caz (bazat pe un stimulator cardiac) care permite cititorului să observe modul în care diferitele aspecte ale unui sistem sunt abordate utilizând diferitele abordări. Toate cele trei sisteme sunt importante prin faptul că oferă cititorului o viziune globală asupra posibilităților acestora și demonstrează contribuțiile fiecărei abordări în diferitele etape ale ciclului de viață al software-ului. De asemenea, sunt prezentate capitole dedicate analizei specificației și generării de cod.

Cuprins.

Prefață, Brian R. Larson.

Prefață, Dominique Potier.

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

Partea 1. Concepte generale.

1. Elemente pentru proiectarea sistemelor informatice integrate, Fabrice Kordon, J r me Hugues, Agusti Canals și Alain Dohet.

2. Studiu de caz: Pacemaker, Fabrice Kordon, J r me Hugues, Agusti Canals și Alain Dohet.

Partea 2. SysML.

3. Prezentarea conceptelor SysML, Jean-Michel Bruel și Pascal Roques.

4. Modelarea studiului de caz utilizând SysML, Lo c Fejoz, Philippe Leblanc și Agusti Canals.

5. Analiza cerințelor, Ludovic Apvrille și Pierre De Saqui-Sannes.

Partea 3. MARTE.

6. O introducere în conceptele MARTE, S bastien G rard și Fran ois Terrier.

7. Modelarea studiilor de caz utilizând MARTE, J r me Delatour și Jo l Champeau.

8. Analiza bazată pe modele, Frederic Boniol, Philippe Dhaussy, Luka Le Roux și Jean-Charles Roger.

9. Implementarea și generarea de cod pe bază de model, Chokri Mraidha, Ansgar Radermacher și S bastien G rard.

Partea 4. AADL.

10. Prezentarea conceptelor AADL, J r me Hugues și Xavier Renault.

11. Modelarea studiilor de caz utilizând AADL, Etienne Borde.

12. Analiza bazată pe modele, Thomas Robert și J r me Hugues.

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