Vstavané systémy: Analýza a modelovanie pomocou SysML, UML a AADL

Pôvodný názov:

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

Obsah knihy:

Od skonštruovania prvého vstavaného systému v 60. rokoch minulého storočia sa vstavané systémy neustále šíria. Poskytujú neustále rastúci počet služieb a sú súčasťou nášho každodenného života. Vývoj týchto systémov je zložitý problém, ktorý zatiaľ nemá globálne riešenie. Ďalším problémom je, že systémy sú ponorené do reálneho sveta, ktorý nie je diskrétny (ako sa všeobecne chápe v informatike), ale má bohatstvo správania, ktoré niekedy bráni formulácii zjednodušujúcich predpokladov vzhľadom na ich všeobecne autonómny charakter a musia čeliť prípadne nepredvídaným situáciám (napríklad incidentom), alebo dokonca situáciám, ktoré ležia mimo pôvodných predpokladov návrhu.

Vstavané systémy predstavujú súčasný stav vývoja vstavaných systémov a sústreďujú sa najmä na modelovanie a analýzu týchto systémov prostredníctvom "modelom riadeného inžinierstva" (MDE2): SysML, UML/MARTE a AADL. Uvádza sa prípadová štúdia (založená na kardiostimulátore), ktorá umožňuje čitateľovi pozorovať, ako sa riešia rôzne aspekty systému pomocou rôznych prístupov. Všetky tri systémy sú dôležité tým, že čitateľovi poskytujú celkový pohľad na ich možnosti a demonštrujú prínos jednotlivých prístupov v rôznych fázach životného cyklu softvéru. Uvedené sú aj kapitoly venované analýze špecifikácie a generovaniu kódu.

Obsah.

Predslov, Brian R. Larson.

Predslov, Dominique Potier.

Úvod, Fabrice Kordon, J r me Hugues, Agusti Canals a Alain Dohet.

Časť 1. Všeobecné pojmy.

1. Prvky pre návrh vstavaných počítačových systémov, Fabrice Kordon, J r me Hugues, Agusti Canals a Alain Dohet.

2. Prípadová štúdia: Fabrice Kordon, J r me Hugues, Agusti Canals a Alain Dohet.

Časť 2. SysML.

3. Prezentácia koncepcií SysML, Jean-Michel Bruel a Pascal Roques.

4. Modelovanie prípadovej štúdie pomocou SysML, Lo c Fejoz, Philippe Leblanc a Agusti Canals.

5. Analýza požiadaviek, Ludovic Apvrille a Pierre De Saqui-Sannes.

Časť 3. MARTE.

6. Úvod do koncepcií MARTE, S bastien G rard a Fran ois Terrier.

7. Modelovanie prípadových štúdií pomocou MARTE, J r me Delatour a Jo l Champeau.

8. Analýza založená na modeli, Frederic Boniol, Philippe Dhaussy, Luka Le Roux a Jean-Charles Roger.

9. Nasadenie a generovanie kódu na základe modelu, Chokri Mraidha, Ansgar Radermacher a S bastien G rard.

Časť 4. AADL.

10. Predstavenie koncepcií AADL, J r me Hugues a Xavier Renault.

11. Modelovanie prípadových štúdií pomocou AADL, Etienne Borde.

12. Analýza založená na modeli, Thomas Robert a J r me Hugues.

13. Generovanie kódu na základe modelu, Laurent Pautet a B chir Zalila.