Beágyazott rendszerek: Elemzés és modellezés SysML, UML és AADL segítségével

Eredeti címe:

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

Könyv tartalma:

Az első beágyazott rendszer 1960-as években történt megépítése óta a beágyazott rendszerek folyamatosan terjednek. Folyamatosan növekvő számú szolgáltatást nyújtanak, és mindennapi életünk részévé váltak. Ezeknek a rendszereknek a fejlesztése nehéz probléma, amelyre még nincs globális megoldás. További nehézséget jelent, hogy a rendszerek a valós világba kerülnek, amely nem diszkrét (ahogyan azt a számítástechnikában általában értik), hanem olyan gazdag viselkedési formákkal rendelkezik, amelyek az általában autonóm jellegük miatt néha megnehezítik az egyszerűsítő feltevések megfogalmazását, és esetleg előre nem látható helyzetekkel (például eseményekkel), vagy akár az eredeti tervezési feltevéseken kívül eső helyzetekkel is szembe kell nézniük.

A beágyazott rendszerek bemutatja a beágyazott rendszerek fejlesztésének jelenlegi állását, és különösen e rendszerek modellezésére és elemzésére összpontosít, a "modellvezérelt tervezés" (MDE2) vizsgálatával: SysML, UML/MARTE és AADL. Egy esettanulmányt mutat be (egy pacemaker alapján), amely lehetővé teszi az olvasó számára, hogy megfigyelje, hogyan kezelik egy rendszer különböző szempontjait a különböző megközelítések alkalmazásával. Mindhárom rendszer azért fontos, mert átfogó képet ad az olvasónak a lehetőségekről, és bemutatja az egyes megközelítések hozzájárulását a szoftver életciklusának különböző szakaszaiban. A specifikáció elemzésének és a kódgenerálásnak szentelt fejezetek is bemutatásra kerülnek.

Tartalom: A könyvben a következők olvashatóak: "A rendszerszemléletű szoftverek és a szoftveres rendszerek.

Előszó, Brian R. Larson.

Előszó, Dominique Potier.

Bevezetés, Fabrice Kordon, J r me Hugues, Agusti Canals és Alain Dohet.

1. rész. Általános fogalmak.

1. A beágyazott számítógépes rendszerek tervezésének elemei, Fabrice Kordon, J r me Hugues, Agusti Canals és Alain Dohet.

2. Esettanulmány: Pacemaker, Fabrice Kordon, J r me Hugues, Agusti Canals és Alain Dohet.

2. rész. SysML.

3. A SysML fogalmainak bemutatása, Jean-Michel Bruel és Pascal Roques.

4. Az esettanulmány modellezése SysML használatával, Lo c Fejoz, Philippe Leblanc és Agusti Canals.

5. Követelményelemzés, Ludovic Apvrille és Pierre De Saqui-Sannes.

3. rész. MARTE.

6. Bevezetés a MARTE fogalmaiba, S bastien G rard és Fran ois Terrier.

7. Esettanulmányok modellezése a MARTE segítségével, J r me Delatour és Jo l Champeau.

8. Modellalapú elemzés, Frederic Boniol, Philippe Dhaussy, Luka Le Roux és Jean-Charles Roger.

9. Modellalapú telepítés és kódgenerálás, Chokri Mraidha, Ansgar Radermacher és S bastien G rard.

4. rész. AADL.

10. Az AADL koncepciók bemutatása, J r me Hugues és Xavier Renault.

11. Esettanulmányok modellezése az AADL használatával, Etienne Borde.

12. Modellalapú elemzés, Thomas Robert és J r me Hugues.

13. Modellalapú kódgenerálás, Laurent Pautet és B chir Zalila.