Freie Universität Berlin
Institut für Informatik

AG Programmiersprachen und Rechnerarchitektur


Automatisierte Softwareentwicklung für Eingebettete Systeme

Seminar 19585

SoSe 2008

 

fehr@inf.fu-berlin.de

saad@inf.fu-berlin.de

Veranstalter

Prof. Dr. Elfriede Fehr

Dipl.-Inform. Mohammad Al Saad

 

 

 

 

 

 

Achtung: Die neuen Termine der Präsentationen sind

29.7.08 und 30.7.08 jeweils um 16h im SR  051

Wer verhindert ist bitte eine mail an

saad@inf.fu-berlin.de

 

 
 
 

Inhalt

Die stürmische Entwicklung "intelligenter" Gegenstände wird durch den technologischen Fortschritt im Bereich "Ubiquitous and Pervasive Computing" hervorgerufen.

Die hohen Erwartungen an Qualität und Anpassbarkeit Eingebetteter Systeme erfordern eine automatisierte Softwareentwicklung und rechnergestützte Testverfahren.

Im Mittelpunkt dieses Seminars steht die modellgetriebene Softwareentwicklung (MDSD). Neu ist dabei, dass Modelle nicht nur zum Zweck der Dokumentation bzw. Visualisierung eingesetzt werden: Die semantikbehafteten und ausdrucksstarken formalen Modelle dienen auch dazu, Schlüsselkonzepte und Randbedingungen der

Domäne (Plattform) vollständig und prägnant zu repräsentieren. Solche speziellen aber technologieneutralen Modelle (Domain specific language ) werden in konfigurierbare Codegeneratoren eingefügt, um nach deren Validierung die korrespondierenden Software Artefakte automatisiert zu generieren und in die entsprechende Plattform zu verteilen. Dieser automatisierte Entwicklungsprozess erlaubt eine produktlinienorientierte Softwarefertigung. Um den Entwicklungsprozess industriereif zu machen, wurde von der OMG (eine Initiative von 800 Unternehmen) die modellgetriebene Architektur (MDA) entwickelt.

http://www.omg.org/mda/mda_files/Member_and_Analyst_Quotes.pdf

In diesem Seminar werden einige Frameworks und Werkzeuge, die im MDSD-Software Entwicklungsprozess verwendet werden, untersucht und bewertet.

 

Zielgruppe

Studierende im Hauptstudium des Diplomstudiengangs oder im Bachelor/Masterstudiengang Informatik.

Aus dem Seminar können sich Studien- und Diplomarbeiten ergeben.

 

Scheinkriterien

Zu einer erfolgreichen Teilnahme am Seminar gehört ein Vortrag und eine schriftliche Ausarbeitung.

Der Vortrag sollte 25-30 Minuten dauern. Die Ausarbeitung sollte 10-12 Seiten umfassen und soll spätestens zwei Wochen nach dem Vortrag abgegeben werden.

Die vorträge finden

Ein paar Tipps für die Erstellung einer Seminararbeit finden sich hier:

 

Literatur:


Rupp, Hahn, Queins, Jeckle, Zengler: UML 2 glasklar. Praxiswissen für die UML-Modellierung und -Zertifizierung. München 2005.

Stahl, Tom und Markus Völter: Modellgetriebene Softwareentwicklung. Techniken, Engineering, Management. Heidelberg 2005.

http://www.ips.cs.tu-bs.de/images/mbees/MBEES08Proceedings.pdf

Roland Petrasch , Oliver Meimberg: Model Driven Architecture: Eine praxisorientierte Einführung in die MDA

 

 

 

 

Thema

Name

Literatur/Starting point

 

Softwareentwicklung eingebetteter Systeme

Motivation, Klassifizierung Charakteristika, Herauforderungen, Trends

 
http://de.wikipedia.org/wiki/Eingebettetes_System

 

http://pes.cs.tu-berlin.de/pes/teaching.php_id=1&lang=en.html

 

http://www.embeddedexpert.com/

 

http://www.itemis.de/unternehmen/presse/archiv/2688/model-driven-architecture-mda-fuer-eingebettete-systeme.html

 

http://www.sigs.de/publications/os/2007/04/habiger_wendler_OS_04_07.pdf

 

MDSD/MDA: Das Entwicklungsparadigma zur automatisierten Fertigung von SW, MOF, Tools

Motivation, Basistechnologie, Beschreibung, Werkzeugunterstüzung,

Fazit

 

http://www.sigs-datacom.de/sd/publications/os/2004/MDD/

 

MDA Tools am Horizont

 

http://www.oose.de/downloads/MDA_JavaMagazin_09_03.pdf

 

http://www.omg.org/docs/formal/02-04-03.pdf
 

UML-Profiles: Stereotype, Tagged-Values & OCL-Constraints.

Beschreibung, Beispiele, Beurteilung, Eisatz für ES

 

http://www.omg.org/news/whitepapers/050307_Embedded_Systems_in_UML_by_S_Mellor.pdf

 

Rupp, Hahn, Queins, Jeckle, Zengler: UML 2 glasklar. Praxiswissen für die UML-Modellierung und -Zertifizierung. München 2005.(Kap 19)

 

UML 2.0 superstructure Specification (Kap 18) -> 633-654 &

(Annex D "Component Profile Exampels") -> Seite 675-678

http://www.omg.org/docs/formal/05-07-04.pdf

 

 

http://www.sigs-datacom.de/sd/publications/os/2004/MDD/

 

UML Profile for Schedulability, Performance, and Time Specification

http://www.omg.org/technology/documents/formal/schedulability.htm

http://www.omg.org/docs/formal/03-09-01.pdf

 

http://citeseer.ist.psu.edu/cache/papers/cs/30959/http:zSzzSzwww.ctr.unican.eszSzpublicationszSzjlm-mgh-jmd-2004a.pdf/medina04uml.pdf

 

 

Komponentenbasierte Modellierung für die automatisierte Entwicklung von Eingebetteten Systemen

Motivation, Überblick, Konzept,

Anwendung, Fazit

 

http://www.omg.org/news/whitepapers/050307_Embedded_Systems_in_UML_by_S_Mellor.pdf

 

Entwicklung eingebetteter Softwaresysteme mit strukturieten Komponenten [F. Gutbrodt et al.]

Model-Driven Development of Component Infrastructures for Embedded Systems [M. Völter]

http://www.sse-tubs.de/publications/KRS_MBEES_InfoBericht_05.pdf

http://www.ias.uni-stuttgart.de/forschung/pub/MBEES_2005_Gutbrodt_Wedel-Vortrag.pdf

 

Komponentenbasierte Entwicklung auf Basis der "Model Driven Architecture" (BMW Group)

http://www.sigs.de/publications/os/2004/05/bien_beschorner_OS_05_04.pdf

 

 

IBM product support for MDA & Eclipse Development:

 

 

GEF(Graphical Editing Framework)

EMF(Eclipse Modeling Framework)

OpenarchitectureWare (oAW)

 

Werkzeuge für

Metamodellierung, DSL-Modellierung, Modelvalidierung und automatisierte Codegegenerierung

 

 

 

2 Personen

ScatterFactory: ein architekturzentriertes Framework für drahtlose Sensor Netze 2 Personen  

Diplomarbeit von B. Hentrich

Visual ScatteUnit: ein modelgetriebenes Framework für das automatisierte Testen von Applikationen drahtloser Sensor Netze 2 Personen http://www2.informatik.hu-berlin.de/~hs/Lehre/2004-WS_SWQS/20041126_modellbasiert.ppt

 

Studienarbeit von N. Kamenzky

Diplomarbeit von N. Kamenzky

PuLSE:

Product Line Software Engineering

Motivation, Begriffe, Beschreibung,

Methoden, Einsatz für die Entwicklung eingebetteter Systeme

2 Personen

http://www.cin.ufpe.br/~in1045/papers/art23.pdf

 

http://www.cis.ksu.edu/~hatcliff/Papers/CALM-Cadena-IEEE-Computer-Feb-2006.pdf

 

 

http://www.software-kompetenz.de/?14183

 

http://www.software-kompetenz.de/?21618

 

 

Comparision of Software Product Line Architecture Design Mthods:

COPA, FAST, FORM, Kobra and QADA [M. Matinlassi]

 

Product Line Software Engineering of Embedded Systems

[Niemelän et al.]

http://delivery.acm.org/10.1145/380000/375271/p118-niemela.pdf?key1=375271&key2=7462068021&coll=GUIDE&dl=GUIDE,GUIDE&CFID=24744866&CFTOKEN=94442653

 

Applying Productline to the embedded systems [H. Kim]

http://www.springerlink.com/content/u7122w834k6th854/fulltext.pdf

 

GoPhone

A Sofware Productline in the Mobile Phone Domain

(Fraunhofer IESE)

  http://www.software-kompetenz.de/servlet/is/21618/iese-025_04.pdf?command=downloadContent&filename=iese-025_04.pdf

 

http://www.software-kompetenz.de/?21618

 

 

CoSMIC toolsuite

Component synthesis using Model-Integrated Computing

(Uni Vanderbilt)

 

   

http://www.cs.wustl.edu/~schmidt/PDF/mde-book.pdf

http://dawis2.icb.uni-due.de/events/AOM_AOSD2005/Gokhale.pdf

http://www.cs.wustl.edu/~schmidt/PDF/IJES05.pdf

 

 

 

 

 

dauern. Die Ausarbeitung sollte 15-18 Seiten umfassen. Ein paar Tipps für
die Erstellung einer Seminararbeit finden sich hier:
Bitte auch unbedingt die folgende Warnung beachten!

 

 

 

 

 

 

Bitte auch unbedingt die folgende Warnung beachten!
Bitte auch unbedingt die folgende Warnung beachten!
 
Bitte auch unbedingt die folgende Warnung beachten!
Scheinkriterien: Zu einer erfolgreichen Teilnahme am Seminar gehört ein
Vortrag und eine schriftliche Ausarbeitung. Der Vortrag sollte 25-30 Minuten