Originaltitel:
Embedded Systems: Analysis and Modeling with SysML, UML and AADL
Inhalt des Buches:
Seit der Konstruktion des ersten eingebetteten Systems in den 1960er Jahren haben sich eingebettete Systeme immer weiter verbreitet. Sie bieten eine ständig wachsende Anzahl von Diensten und sind Teil unseres täglichen Lebens. Die Entwicklung dieser Systeme ist ein schwieriges Problem, für das es noch keine globale Lösung gibt. Eine weitere Schwierigkeit besteht darin, dass die Systeme in die reale Welt eintauchen, die nicht diskret ist (wie es in der Informatik im Allgemeinen verstanden wird), sondern eine Fülle von Verhaltensweisen aufweist, die aufgrund ihres im Allgemeinen autonomen Charakters manchmal die Formulierung vereinfachender Annahmen erschweren, und dass sie mit möglicherweise unvorhergesehenen Situationen (z. B. Zwischenfällen) oder sogar Situationen konfrontiert werden, die außerhalb der ursprünglichen Entwurfsannahmen liegen.
Embedded Systems stellt den Stand der Technik bei der Entwicklung eingebetteter Systeme dar und konzentriert sich insbesondere auf die Modellierung und Analyse dieser Systeme durch die Betrachtung des "Model-Driven Engineering" (MDE2): SysML, UML/MARTE und AADL. Anhand einer Fallstudie (basierend auf einem Herzschrittmacher) kann der Leser beobachten, wie die verschiedenen Aspekte eines Systems mit den verschiedenen Ansätzen behandelt werden. Alle drei Systeme sind insofern wichtig, als sie dem Leser einen globalen Überblick über ihre Möglichkeiten geben und die Beiträge der einzelnen Ansätze in den verschiedenen Phasen des Software-Lebenszyklus aufzeigen. Weitere Kapitel sind der Analyse der Spezifikation und der Codegenerierung gewidmet.
Inhalt.
Vorwort, Brian R. Larson.
Vorwort, Dominique Potier.
Einführung, Fabrice Kordon, J r me Hugues, Agusti Canals und Alain Dohet.
Teil 1. Allgemeine Konzepte.
1. Elemente für den Entwurf von eingebetteten Computersystemen, Fabrice Kordon, J r me Hugues, Agusti Canals und Alain Dohet.
2. Fallstudie: Herzschrittmacher, Fabrice Kordon, J r me Hugues, Agusti Canals und Alain Dohet.
Teil 2. SysML.
3. Vorstellung der SysML-Konzepte, Jean-Michel Bruel und Pascal Roques.
4. Modellierung der Fallstudie mit SysML, Lo c Fejoz, Philippe Leblanc und Agusti Canals.
5. Anforderungsanalyse, Ludovic Apvrille und Pierre De Saqui-Sannes.
Teil 3. MARTE.
6. Eine Einführung in MARTE-Konzepte, S bastien G rard und Fran ois Terrier.
7. Fallstudienmodellierung mit MARTE, J r me Delatour und Jo l Champeau.
8. Modellgestützte Analyse, Frederic Boniol, Philippe Dhaussy, Luka Le Roux und Jean-Charles Roger.
9. Modellbasierter Einsatz und Codegenerierung, Chokri Mraidha, Ansgar Radermacher und S bastien G rard.
Teil 4. AADL.
10. Vorstellung der AADL-Konzepte, J r me Hugues und Xavier Renault.
11. Fallstudienmodellierung mit AADL, Etienne Borde.
12. Modellgestützte Analyse, Thomas Robert und J r me Hugues.
13. Modellgestützte Codegenerierung, Laurent Pautet und B chir Zalila.
Weitere Daten des Buches:
| ISBN: | 9781848215009 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
| Erscheinungsjahr: | 2013 |
| Seitenzahl: | 314 |
Kauf:
Derzeit verfügbar, auf Lager.
