Model-Based Engineering of Embedded Systems - Cover

Leseprobe

Model-Based Engineering of Embedded Systems

eBook - The SPES 2020 Methodology

Manfred Broy/Klaus Pohl/Harald Hönninger et al

SPRINGER

Informatik, EDV/Informatik

Erschienen am 08.11.2012, 1. Auflage 2012

62,95 €

(inkl. MwSt.)

Download

E-Book Download

Auf Wunschliste

Bibliografische Daten

ISBN/EAN: 9783642346149

Sprache: Englisch

Umfang: 301 S., 5.91 MB

E-Book
Format: PDF
DRM: Digitales Wasserzeichen

Beschreibung

Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and challenging because of their overall system complexity, their tighter and cross-functional integration, the increasing requirements concerning safety and real-time behavior, and the need to reduce development and operation costs.

This book provides a comprehensive overview of the Software Platform Embedded Systems (SPES) modeling framework and demonstrates its applicability in embedded system development in various industry domains such as automation, automotive, avionics, energy, and healthcare. In SPES 2020, twenty-one partners from academia and industry have joined forces in order to develop and evaluate in different industrial domains a modeling framework that reflects the current state of the art in embedded systems engineering.

The content of this book is structured in four parts. Part I Starting Point discusses the status quo of embedded systems development and model-based engineering, and summarizes the key requirements faced when developing embedded systems in different application domains. Part II The SPES Modeling Framework describes the SPES modeling framework. Part III Application and Evaluation of the SPES Modeling Framework reports on the validation steps taken to ensure that the framework met the requirements discussed in Part I. Finally, Part IV Impact of the SPES Modeling Framework summarizes the results achieved and provides an outlook on future work.

The book is mainly aimed at professionals and practitioners who deal with the development of embedded systems on a daily basis. Researchers in academia and industry may use it as a compendium for the requirements and state-of-the-art solution concepts for embedded systems development.

Autorenportrait

Klaus Pohl is full professor for Software Systems Engineering at the Institute of Computer Science and Business Computing of the University of Duisburg-Essen in Germany, and director of paluno The Ruhr Institute for Software Technology. He was scientific founding director of Lero, the Irish Software Engineering Institute, served as coordinator of the FP7 Network of Excellence S-Cube (Software Services and Systems Network) and is member of several steering committees and boards of directors including the European Technology Platform NESSI (Networked European Software and Services Initiative) and the German Innovation Alliance SPES 2020.

Harald Hönninger is Vice President of Advance Engineering for Software-Intensive Systems at Corporate Research and Advanced Development with Robert Bosch GmbH. In his position, he is responsible for the pre-development of software-intensive systems and for corporate-wide software-, hardware- and systems engineering methods.

Reinhold Achatz recently joined ThyssenKrupp, where he leads the Corporate Center Technology, Innovation& Quality. Before he was Corporate Vice President of Siemens AG and head of Corporate Research and Technologies as well as the Corporate Development Center. He has been honored as a Siemens Top Innovator for his outstanding innovations in software-based components for set-up, operations and execution accuracy of machine tools.

Manfred Broy is full professor for Software and Systems Engineering at the Institute for Computer Science of the Technical University of Munich. Among other awards, he received the Leibniz Preis, the highest scientific award of the Federal Republic of Germany, the Order of Merit of the Federal Republic of Germany and the Konrad-Zuse-Medal for extraordinary services in Computer Science. Manfred Broy is a Max-Planck-Fellow, member of the German Academy of Science and Engineering and member of the German National Academy of the SciencesLeopoldina.

Inhalt

Part I Starting Situation.- Challenges in Engineering for Software-Intensive Embedded Systems.- Requirements from the Application Domains.- Part II The SPES Modeling Framework.- Introduction to the SPES Modeling Framework.- Requirements Viewpoint.- Functional Viewpoint.- Logical Viewpoint.- Technical Viewpoint.- Modeling Quality Aspects: Safety.- Modeling Quality Aspects: Real-Time.- Part III Application and Evaluation of the SPES Modeling Framework.- Overview of the SPES Evaluation Strategy.- Application and Evaluation in the Automation Domain.- Application and Evaluation in the Automotive Domain.- Application and Evaluation in the Avionics Domain.- Application and Evaluation in the Energy Domain.- Application and Evaluation in the Healthcare Domain.- Evaluation Summary.- Part IV Impact of the SPES Modeling Framework.- Lessons Learned.- Outlook.

Informationen zu E-Books

„E-Book“ steht für digitales Buch. Um diese Art von Büchern lesen zu können wird entweder eine spezielle Software für Computer, Tablets und Smartphones oder ein E-Book Reader benötigt. Da viele verschiedene Formate (Dateien) für E-Books existieren, gilt es dabei, einiges zu beachten.

Von uns werden digitale Bücher in den folgenden Formaten ausgeliefert: EPUB und PDF, jeweils mit DRM (Digital Rights Management) oder ohne DRM. Bei den Formaten PDF und EPUB ohne DRM müssen Sie lediglich prüfen, ob Ihr E-Book Reader kompatibel ist. Wenn ein Format mit DRM genutzt wird, besteht zusätzlich die Notwendigkeit, dass Sie eine kostenlose Adobe-ID besitzen. Wenn Sie ein E-Book, das Adobe® Digital Editions benötigt herunterladen, erhalten Sie eine ACSM-Datei, die zu Digital Editions hinzugefügt und mit Ihrem Account verknüpft werden muss. Einige E-Book Reader (zum Beispiel PocketBook Touch) unterstützen auch das direkte Eingeben der Login-Daten des Adobe Accounts – somit können diese ACSM-Dateien direkt auf das betreffende Gerät kopiert werden.

Da E-Books nur für eine begrenzte Zeit – in der Regel 6 Monate – herunterladbar sind, sollten Sie stets eine Sicherheitskopie auf einem Dauerspeicher (Festplatte, USB-Stick oder CD) vorsehen. Auch ist die Menge der Downloads auf maximal 5 begrenzt.

WISSENSWERTES ZU E-BOOKS

E-Books sind elektronische Ausgaben von normalen (physischen) Büchern. Man kann sie auf speziellen Lesegeräten, Smartphones und Tablet-PCs, z.B. einem iPad oder auch auf ganz normalen PCs lesen.

Eine besondere Form der Lesegeräte sind E-Book Reader. Auf einem E-Book-Reader können Sie Ihre Lieblingsbücher stets parat haben. Anstatt herkömmlicher LCD-Displays wird eine sog. E-Ink-Technologie verwenden, wodurch eine bessere Lesbarkeit erreicht wird, fast wie bei einem auf Papier gedruckten Buch.

Dabei haben E-Books einige Vorteile gegenüber dem gedruckten Buch:

E-Books sind jederzeit und an jedem Ort verfügbar.
E-Books bieten interaktive Möglichkeiten und Funktionen, so kann z.B. die Schriftgröße nach Belieben verändert werden.
E-Books benötigen sie in der Regel nur wenig Speicherplatz auf Ihrem Gerät.

Sie können also komplette Bibliotheken auf Ihrem E-Book-Reader anlegen. Aus urheberrechtlichen Gründen ist aber z.B. das Ausdrucken von E-Books oder Teilen daraus nicht möglich.

E-Books müssen in einem bestimmten Format für die Nutzung auf den o.g. Geräten vorliegen. Gängige Formate sind EPUB oder PDF. Das EPUB-Format ist ein internationaler Standard speziell für E-Books, PDF-Formate werden auch für viele andere PC-Anwendungen genutzt.

Die E-Books werden vorwiegend über das Internet vertrieben. Um ein E-Book per Download zu beziehen, benötigen Sie eine Online-Verbindung. Einmal heruntergeladen, können E-Books jederzeit auch offline gelesen werden.

Häufig stellt sich die Frage, was kosten E-Books im Vergleich zu gedruckten Büchern? E-Books unterliegen genauso wie gedruckte Bücher der deutschen Buchpreisbindung. Das bedeutet, dass alle E-Books überall gleich viel kosten. Durchschnittlich sind E-Books ca. 20% günstiger als gedruckte Bücher.

HINWEISE FÜR DAS HERUNTERLADEN VON E-BOOKS

Welche Software wird benötigt, um E-Books herunterladen zu können?

Zum Download von E-Books wird die Software Adobe Digital Editions benötigt, die kostenlos heruntergeladen werden kann (http://www.adobe.com/de/products/digital-editions/download.html). Je nach E-Book Reader kann zusätzliche Software notwendig sein, Sie erfahren das aus der Anleitung Ihres Readers.

Was ist eine Adobe-ID?

Für die Installation von Adobe Digital Editions wird eine Adobe-ID benötigt, um ein Benutzerkonto beim Softwarehersteller Adobe zu erhalten. Die Adobe-ID ist kostenlos und in wenigen Minuten erstellt. Durch diese ID ist es möglich, Sicherungskopien zu erstellen oder E-Books auf Ihren E-Book-Reader bzw. andere Geräte zu kopieren. Außerdem werden Sie beim Kauf eines DRM-geschützten E-Books (s.u.) immer wieder zu einer Autorisierung aufgefordert. Ohne eine persönliche Adobe-ID werden digitale Inhalte dem Gerät und nicht Ihrem persönlichen Konto zugeordnet. Geräte können auch nachträglich mit einer Adobe-ID autorisiert werden, dies funktioniert innerhalb von Adobe Digital Editions unter dem Menüpunkt „Computer autorisieren“. Generell gilt es zu beachten, separate Computer stets mit derselben ID zu aktivieren, da Sie ansonsten über verschiedene Konten verfügen, die nachträglich nicht mehr zusammengeführt werden können.

Können E-Books auch mit dem Adobe Reader oder Adobe Acrobat gelesen werden?

Rein PDF-formatierte E-Books können auch ohne Adobe Digital Editions (s.o.) gelesen werden, sofern diese nicht DRM-geschützt sind (s.u.). Zum Öffnen von E-Books im EPUB-Format wird diese Software benötigt.

Was bedeutet DRM?

Die DRM-Technologie („Digital Rights Management“) gibt Verlagen die Möglichkeit, urheberrechtliche Inhalte zu schützen bzw. Rechte für diese Inhalte zu vergeben. Je nach Vorgabe des Verlages dürfen DRM-geschützte E-Books auf einer bestimmten Anzahl von Geräten aktiviert werden. Private Sicherheitskopien dürfen erstellt, EPUB-Formate aber in der Regel nicht ausgedruckt werden. PDF-Formate können davon abweichende Vorschriften beinhalten.

Mit welchen Betriebssystemen können E-Books heruntergeladen werden?

Adobe Digital Editions (als Voraussetzung um komfortabel alle Formate von E-Books lesen zu können) ist mit den folgenden Betriebssystemen kompatibel:

Windows® ab XP SP3
Mac OS X 10.6+

Welche Systemanforderungen müssen Computer erfüllen?

Dies kann je nach E-Reader variieren. Bitte prüfen Sie vor dem Kauf, ob Ihr Computer mit dem von Ihnen ausgewählten E-Reader kompatibel ist.

Können E-Books auf andere Computer kopiert bzw. weitergegeben werden?

E-Books, die aufgrund von DRM (s.o.) gegen illegale Vervielfältigung geschützt sind, können nicht weitergegeben werden. Allerdings können mithilfe der Software Adobe Digital Editions und Ihrer persönlichen Adobe-ID E-Books auf bis zu sechs PCs oder anderer Geräte aktiviert werden. Dazu genügt eine kurze Anmeldung.