Lehrstuhl Informatik 11 - Embedded Software Laboratory

Dipl.-Inform. Volker Kamin

kamin — 2009-11-05T17:45:36+01:00

Research Assistant kamin[at]embedded[dot]rwth-aachen[dot]de If I do not reply to your mails within a reasonable amount of time please give me a call, they might have been misinterpreted as spam. Phone +49 241 80 21157 Fax +49 241 80 22150 Address: Ahornstr. 55, 52074 Aachen, Germany Office: room 2301 (building H)

Dipl.-Inform. Volker Kamin

kamin — 2009-11-05T14:02:24+01:00

Wissenschaftlicher Mitarbeiter kamin[at]embedded[dot]rwth-aachen[dot]de Falls ich auf Emails nicht in angemessener Zeit antworten sollte, rufen Sie mich bitte an, da Ihre Emails fälschlicherweise als SPAM erkannt worden sein könnten. Tel. +49 241 80 21157 Fax +49 241 80 22150 Adresse: Ahornstr. 55, 52074 Aachen, Germany Büro: Raum 2301 (Gebäude H)

Dipl.-Ing. André Stollenwerk

stollenwerk — 2009-11-04T16:29:01+01:00

Contact Research Assistant Tel: +49 241 80 21166 Fax: +49 241 80 22150 Email (education): hnp[at]embedded.rwth-aachen.de Email (others): stollenwerk[at]embedded.rwth-aachen.de gpg-key ID: 0x0A1C1267 fingerprint: 3A96 900F 5EAC BAA7 34AF 5406 5870 67C2 0A1C 1267 Address: Ahornstr. 55, 52074 Aachen, Germany Office: room 2308 (building H)

Dipl.-Ing. Andre Stollenwerk

stollenwerk — 2009-11-04T16:28:13+01:00

Kontakt Wissenschaftlicher Mitarbeiter Email (Lehre): hnp[at]embedded.rwth-aachen.de Email (alles Andere): stollenwerk[at]embedded.rwth-aachen.de Tel: +49 241 80 21166 Fax: +49 241 80 22150 gpg-Schlüssel ID: 0x0A1C1267 Fingerabdruck: 3A96 900F 5EAC BAA7 34AF 5406 5870 67C2 0A1C 1267 Adresse: Ahornstr. 55, 52074 Aachen Büro: Raum 2308 (Gebäude H)

Hardwarenahe Programmierung

stollenwerk — 2009-11-04T08:53:11+01:00

Inhalt In diesem Praktikum werden hardwarenahe Programmierungskonzepte vorgestellt. Unter anderem werden folgende Themen behandelt: * Bootloader * Scheduler * Interrupts/Polling * Ein- und Ausgabenanbindung * Speicherverwaltung * Anbindung des Prozessors an Peripheriebausteine z.B. Anzeigen auf Display oder externer Speicherbaustein

Intern

jfiedler — 2009-11-03T12:49:29+01:00

intern index

bib:publikationen

Beckschulze — 2009-10-30T12:31:30+01:00

% 2009 @INPROCEEDINGS{AK09, author = {Ashraf Armoush and Stefan Kowalewski}, title = {Safety Recommendations for Safety-Critical Design Patterns}, booktitle = {Design of Dependable Critical Systems (DDCS) In the framework of the SAFECOMP2009}, year = {2009}, owner = {armoush}, timestamp = {2009.09.16} }

menu_intern

jfiedler — 2009-10-29T08:40:13+01:00

Intranet Katalog * i11 Handbuch * Wiki Tipps * Lehre * Webseite * Projekte * Admin * Vorlagen * Tips (Software usw.)

Winter Semester 09/10

haensch — 2009-10-28T16:02:00+01:00

Bachelor Verification and Program Analysis * Seminar (4 Credits) * Tutors: Dipl.-Inf. Jörg Brauer, Dipl.-Inform. Dominique Gückel, and Dipl.-Inform. Volker Kamin Akkustand-Erfassung für Elektrorollstühle * Laboratory (2 Credits) * Tutor: Dipl.-Inform. Andreas Polzer

Formale Methoden für eingebettete Systeme

haensch — 2009-10-28T16:00:40+01:00

Neuigkeiten 05.10.2009 Aus organisatorischen Gründen findet die erste Vorlesung am 13.10.2009 statt. Für Masterstudenten, die an der Einführungsveranstaltung der Fachgruppe teilnehmen wollen, bieten wir eine Zusammenfassung an. Außerdem können die Folien der ersten Veranstaltung über das L2P System bezogen werden. 15.09.2009 Die erste Vorlesung findet am 13.10.2009 in AH III statt. Inhalt In dieser Vorlesung werden verschiedene formale Methoden erklärt und es wird gezeigt wie diese i…

Dipl.-Inform. Paul Hänsch

haensch — 2009-10-28T15:59:40+01:00

Scholarship holder haensch[at]embedded[dot]rwth-aachen[dot]de Tel. +49 241 80 21167 Address: Ahornstr. 55, 52074 Aachen, Germany Office: room 2303 (building H) Research Area Reachability analysis of hybrid systems

Dipl.-Inform. Paul Hänsch

haensch — 2009-10-28T15:54:51+01:00

Promotionsstipendiat haensch[at]embedded[dot]rwth-aachen[dot]de Tel. +49 241 80 21167 Adresse: Ahornstr. 55, 52074 Aachen Büro: Raum 2303 (Gebäude H) Forschungsschwerpunkt Erreichbarkeitsanalyse hybrider Systeme

Wintersemester 09/10

haensch — 2009-10-28T15:50:21+01:00

Bachelor Einführung in die Technische Informatik * Vorlesung (V4/Ü2) * ECTS: 7 * Betreuer: Kamal Barakat, M.Sc und Hilal Diab, M.Sc. Verifikation und Programmanalyse * Seminar (4 Credits) * Betreuer: Dipl.-Inf. Jörg Brauer, Dipl.-Inform. Dominique Marcel Gückel und Dipl.-Inform. Volker Kamin

Static Analysis of Microcontroller Software using SAT- and Constraint-Solving

brauer — 2009-10-27T12:25:42+01:00

Motivation Classical static analysis problems such as reaching definitions analysis or live variables analysis can not only be described by means of equation system, but it is also well-known that such analyses can equivalently be defined as set-constraints [Aik99]. Recently, there have been manifold advances in Boolean satisfiability solvers, making it possible to analyze formulae consisting of millions of variables.

Implementation of a Simulator for a Renesas Microcontroller

brauer — 2009-10-27T12:25:12+01:00

Motivation We have been and still are developing a model-checker for microcontroller code called [mc]square at our chair. [mc]square is a CTL model-checker requiring an assember or C program as input. The state space of the model checker is created when executing a program via a simulator of the respective microcontroller (simply stated). [mc]square currently has simulators for

BSc/MSc/Diploma Theses

brauer — 2009-10-27T11:39:49+01:00

We supervise diploma theses in the following areas: * Application of Formal Methods in the Design of Embedded Software/Systems (e.g. Model Checking): Dr.rer.nat. Bastian Schlich * Testing of Embedded Systems: Dipl.-Inform. Ralf Mitsching * Model-Based Development Processes in Control and Software Engineering: Dipl.-Inform. Andreas Polzer * Safety in Medical Applications: Dipl.-Ing. André Stollenwerk

Dipl.-Inform. Andreas Polzer

Polzer — 2009-10-20T10:17:50+01:00

I am a researcher at the chair of Embedded Software (RWTH Aachen University) since January 2006. In the first time I worked on a project called ZAMOMO. Within the project my interest was focused non-functional requirements and their integration into the model-based development process of Embedded Systems.

Dipl.-Inform. Andreas Polzer

Polzer — 2009-10-20T10:02:22+01:00

Ich bin Mitarbeiter des Lehrstuhls für Informatik 11 seit Januar 2006. Mein Aufgabengebiet umfasst die Bearbeitung eines Forschungsprojekts, das die Verzahnung von Regelungs- und Softwaretechnik beeinhaltet (ZAMOMO). Mein besonderes Interesse liegt im Bereich der nichtfunktionalen Anforderungen und deren Integration in den Entwicklungprozess von eingebetteten Systemen.

Mitarbeiter - Franke Tel. geändert

franke — 2009-10-16T11:09:59+01:00

Die angegebenen E-Mail Adressen enden jeweils auf [at]embedded[dot]rwth-aachen[dot]de. Bei den angegebenen Telefonummern handelt es sich um die Durchwahl nach +49 241 80. Name Telefon E-Mail Lehrstuhlinhaber Prof. Dr.-Ing. Stefan Kowalewski 21150 kowalewski Sekretariat Marina Herkenrath 21151 herkenrath Karin Vonderstein 21152 vonderstein Post-Doktoranden Dr.rer.nat. Bastian Schlich 21158 schlich Dr.rer.nat. Carsten Weise 21159 weise Wissenschaftliche Mitarbeiter Ashraf…

Testpage - angelegt

jfiedler — 2009-10-15T18:54:24+01:00

Zwei Leerzeichen werden immer als Formmatierungsanweisung interpretiert: * Zwei Leerzeichen vor dem “-“ => 1.Ebene * Vier Leerzeichen vor dem “-“ => 2.Ebene * Dritte Ebene mit Bullet durch“*“ Hier