http://embedded.rwth-aachen.de/ 2009-11-24T10:55:06+01:00 http://embedded.rwth-aachen.de/ http://embedded.rwth-aachen.de/lib/images/favicon.ico text/html 2009-11-20T18:26:07+01:00 kamin http://embedded.rwth-aachen.de/doku.php?id=lehrstuhl:kontakt&rev=1258737967&do=diff Software für eingebettete Systeme Prof. Dr.-Ing. Stefan Kowalewski Anschrift Ahornstraße 55 52074 Aachen Telefon: +49 241 80-21151 Fax: +49 241 80-22150 Öffnungszeiten des Sekretariats Das Sekretariat ist zu folgenden Zeiten besetzt: Frau Herkenrath: Montag, Dienstag, Donnerstag: 08:30h - 12:30h Mittwoch: 08:30h - 16:30h Freitag: geschlossen Frau Vonderstein: Montag: 08:30h - 12:30h Dienstag: 08:30h - 16:00h Mittwoch: geschlossen Donnerstag: 08:30h - 12:30h Freitag: … text/html 2009-11-19T10:33:27+01:00 brauer http://embedded.rwth-aachen.de/doku.php?id=lehre:abschlussarbeiten&rev=1258623207&do=diff Wir betreuen Abschlussarbeiten auf den folgenden Gebieten: * Einsatz formaler Methoden in der Entwicklung eingebetteter Software/Systeme (z.B. Model Checking).: Dr.rer.nat. Bastian Schlich * Testen von Eingebetteten Systemen (im industriellen Umfeld): Dipl.-Inform. Ralf Mitsching * Modellbasierte Entwicklungsprozesse in der Regelungs- und Softwaretechnik: Dipl.-Inform. Andreas Polzer * Sicherheit in medizintechnischen Anwendungen: Dipl.-Ing. Andre Stollenwerk * Architekturen für z… text/html 2009-11-16T19:36:35+01:00 stollenwerk http://embedded.rwth-aachen.de/doku.php?id=lehre:wise0708:hardwarenahe_programmierung&rev=1258396595&do=diff Inhalt In diesem Praktikum werden hardwarenahe Programmierungskonzepte vorgestellt. Unter anderem werden folgende Themen behandelt: * Linker/Lader * Scheduler * Interrupts/Polling * Ein- und Ausgabenanbindung * Speicherverwaltung * Anbindung des Prozessors an Peripheriebausteine z.B. Anschluss an A/D-Wandler zur Messwerterfassung und- verarbeitung, Ansteuerung von Leistungsausgängen über D/A-Wandler, Anzeigen auf Display oder Steuerreaktion (Anschalten eines Ventilators bei … text/html 2009-11-16T19:36:22+01:00 stollenwerk http://embedded.rwth-aachen.de/doku.php?id=lehre:wise0809:hardwarenahe_programming&rev=1258396582&do=diff 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 text/html 2009-11-16T19:34:52+01:00 stollenwerk http://embedded.rwth-aachen.de/doku.php?id=lehre:wise0910:hnp&rev=1258396492&do=diff 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 text/html 2009-11-11T12:19:36+01:00 kamin http://embedded.rwth-aachen.de/doku.php?id=menu_intern&rev=1257938376&do=diff Einstieg für neue Mitarbeiter Menschem am i11 Anleitungen und Tipps Vorlagen Projekte Berichte, Protokolle und Übersichten Sitemap ALTES WIKI UND INTRANET Intranet Katalog * i11 Handbuch * Wiki Tipps * Lehre * Menschen am i11 * Webseite * Projekte * Admin * Vorlagen * Tips (Software usw.) text/html 2009-11-11T09:45:34+01:00 Beckschulze http://embedded.rwth-aachen.de/doku.php?id=bib:publikationen&rev=1257929134&do=diff % 2009 @inproceedings{ABK09, author = {Ashraf Armoush and Eva Beckschulze and Stefan Kowalewski}, title = {Safety Assessment of Design Patterns for Safety-Critical Embedded Systems}, booktitle = {35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009)}, year = {2009}, publisher = {IEEE CS}, owner = {armoush}, timestamp = {2009.09.16} } text/html 2009-11-11T01:39:56+01:00 kamin http://embedded.rwth-aachen.de/doku.php?id=lehrstuhl:mitarbeiter:kamin&rev=1257899996&do=diff 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) text/html 2009-11-05T17:45:36+01:00 kamin http://embedded.rwth-aachen.de/doku.php?id=en:lehrstuhl:mitarbeiter:kamin&rev=1257439536&do=diff 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) text/html 2009-11-04T16:29:01+01:00 stollenwerk http://embedded.rwth-aachen.de/doku.php?id=en:lehrstuhl:mitarbeiter:stollenwerk&rev=1257348541&do=diff 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) text/html 2009-11-04T16:28:13+01:00 stollenwerk http://embedded.rwth-aachen.de/doku.php?id=lehrstuhl:mitarbeiter:stollenwerk&rev=1257348493&do=diff 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) text/html 2009-11-03T12:49:29+01:00 jfiedler http://embedded.rwth-aachen.de/doku.php?id=intern&rev=1257248969&do=diff intern index text/html 2009-10-28T16:02:00+01:00 haensch http://embedded.rwth-aachen.de/doku.php?id=en:lehre:wise0910&rev=1256742120&do=diff 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 text/html 2009-10-28T16:00:40+01:00 haensch http://embedded.rwth-aachen.de/doku.php?id=lehre:wise0910:formale_methoden&rev=1256742040&do=diff 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… text/html 2009-10-28T15:59:40+01:00 haensch http://embedded.rwth-aachen.de/doku.php?id=en:lehrstuhl:mitarbeiter:haensch&rev=1256741980&do=diff 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 text/html 2009-10-28T15:54:51+01:00 haensch http://embedded.rwth-aachen.de/doku.php?id=lehrstuhl:mitarbeiter:haensch&rev=1256741691&do=diff 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 text/html 2009-10-28T15:50:21+01:00 haensch http://embedded.rwth-aachen.de/doku.php?id=lehre:wise0910&rev=1256741421&do=diff 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 text/html 2009-10-27T12:25:42+01:00 brauer http://embedded.rwth-aachen.de/doku.php?id=en:lehre:abschlussarbeiten:statische_analyse_mittels_sat_solving&rev=1256642742&do=diff 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. text/html 2009-10-27T12:25:12+01:00 brauer http://embedded.rwth-aachen.de/doku.php?id=en:lehre:abschlussarbeiten:implementierung_eines_simulators_fuer_renesas&rev=1256642712&do=diff 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 text/html 2009-10-27T11:39:49+01:00 brauer http://embedded.rwth-aachen.de/doku.php?id=en:lehre:abschlussarbeiten&rev=1256639989&do=diff 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