30.11.2012 Aufrufe

Jahresbericht 2008 - Fakultät für Elektrotechnik, Informatik und ...

Jahresbericht 2008 - Fakultät für Elektrotechnik, Informatik und ...

Jahresbericht 2008 - Fakultät für Elektrotechnik, Informatik und ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Mitglied Programmkomitee: DVCON ’08<br />

A. Rettberg<br />

Mitglied in der IFIP Arbeitsgruppe 10.2<br />

Eingebettete Systeme<br />

S. Oberthür<br />

ACM Sigbed Information Director/Web chair<br />

Auswahl aktueller Projekte<br />

SFB 616, Tp. A2 – Verhaltensorientierte<br />

Selbstoptimierung (DFG)<br />

SFB 614, Tp. B3 – Virtual Prototyping (DFG)<br />

SFB 614, Tp. C2 – RTOS <strong>für</strong> selbstoptimierende<br />

Systeme (DFG)<br />

SPP Reconfigurable Computing, Projekt TP 2 R 2 –<br />

Temporal Placement and Temporal Partition ing<br />

rekonfigurierbarer Rechensysteme (DFG)<br />

SPP Organic Computing, Projekt „A Modular<br />

Approach for Evolving Societies of Learning<br />

Autonomous Systems“ (DFG)<br />

eCUBES (EU Projekt): Erforschung von Mikro-<br />

System-Technologien, um die Entwicklung von<br />

kostengünstigen, hochgradig miniaturisierten<br />

<strong>und</strong> autonomen Systemen <strong>für</strong> das Einsatzgebiet<br />

der Ambient Intelligence zu ermöglichen<br />

AIS (edacentrum Clusterforschungsprojekt)<br />

„Autonome Integrierte Systeme“: Methoden,<br />

Werkzeuge <strong>und</strong> Architekturen <strong>für</strong> den Entwurf<br />

Autonomer Integrierter Systeme<br />

SPRINT (EU Projekt): Open SoC Design Platform<br />

for Reuse and Integration of IPs<br />

SATURN (EU Projekt): SysML bAsed modeling,<br />

architecture exploRation, simulation and<br />

syNthesis for complex embedded systems<br />

TIMMO (BMBF Projekt): Timing Model<br />

Wissenschaftliche Kooperationen<br />

Technische Universität Chemnitz: Entwurf <strong>und</strong><br />

automatisierte Synthese von rekonfigurierbaren<br />

Hardware-Schnittstellen in eingebetteten<br />

Systemen<br />

Carl von Ossietzky Universität Oldenburg <strong>und</strong><br />

Friedrich-Alexander-Universität Erlangen-<br />

Nürnberg: Rekonfigurierbare Rechensysteme<br />

Center for Embedded Computer Systems, UC<br />

Irvine, USA<br />

Zusammenarbeit auf dem Gebiet Eingebettete<br />

Systeme<br />

UFRGS Porto Alegre, Brasilien <strong>und</strong> UFSC<br />

Florianopolis, Brasilien: Flexible rekonfigurierbare<br />

eingebettete Systeme<br />

Gastwissenschaftler<br />

Prof. Carlos Eduardo Pereira<br />

Prof. Dr. rer. nat.<br />

Wilhelm Schäfer<br />

Personal<br />

Sekretariat<br />

Jutta Haupt<br />

Referentin des Vizepräsidenten <strong>für</strong> Forschung<br />

<strong>und</strong> wissenschaftlichen Nachwuchs<br />

M. A. Nicola Danielzik<br />

Dipl.-Inform. Christian Bimmermann<br />

Dipl.-Inform. Joel Greenyer (Stipendiat<br />

International Graduate School)<br />

Dipl.-Inform. Stefan Henkler<br />

Dr. rer. nat. Martin Hirsch<br />

Dipl.-Inform. Jörg Holtmann<br />

Dipl.-Oec. Ahmet Mehic<br />

Dipl.-Inform. Jan Meyer<br />

Dipl.-Wirt.-Inform. Matthias Meyer<br />

Dipl.-Inform. Claudia Priesterjahn<br />

Dipl.-Inform. Oliver Sudmann<br />

Dipl.-Wirt.-Inform. Matthias Tichy<br />

Dipl.-Inform. Dietrich Travkin<br />

Dipl.-Inform. Markus von Detten<br />

Technischer Mitarbeiter<br />

Dipl.-Ing. Jürgen Maniera<br />

Publikationen<br />

Henke, C.; Tichy, M.; Schneider, T.; Böcker, J.;<br />

Schäfer, W.: Organization and Control of Auto -<br />

nomous Railway Convoys. In: Proceedings of<br />

the 9th International Symposium on Advanced<br />

Vehicle Control, Kobe, Japan, October <strong>2008</strong><br />

Varró, D.; Asztalos, M.; Bisztray, D.; Boronat,<br />

A.; Dang, D.; Geiß, R.; Greenyer, J.; Gorp, P.V.;<br />

Kniemeyer, O.; Narayanan1, A.; Rencis, E.;<br />

Weinell, E.: Transformation of UML Models to<br />

CSP: A Case Study for Graph Transformation<br />

Tools. In: Proc. of the 3rd International Work -<br />

shop on Applications of Graph Transformation<br />

with Industrial Relevance (AGTIVE 07), Kassel,<br />

Germany (Andy Schürr, Manfred Nagl, and<br />

Albert Zündorf, eds.), vol. 5088/-1/<strong>2008</strong>, pp.<br />

540–565, SPRINGER, October <strong>2008</strong><br />

Holtmann, J.; Tichy, M.: Component Story<br />

Diagrams in Fujaba4Eclipse. In: Proc. of the 6th<br />

International Fujaba Days <strong>2008</strong>, Dresden,<br />

Germany, pp. 44–47, September <strong>2008</strong><br />

Alhawash, K.; Ceylan, T.; Eckardt, T.; Fazal-Baqaie,<br />

M.; Greenyer, J.; Heinzemann, C.; Henkler, S.;<br />

Ristov, R.; Travkin, D.; Yalcin, C.: The Fujaba<br />

Automotive Tool Suite. In: Proc. of the 6th Inter -<br />

national Fujaba Days <strong>2008</strong>, Dresden, Germany<br />

(Uwe Aßmann, Jendrik Johannes, and Albert<br />

Zündorf, eds.), pp. 36–39, September <strong>2008</strong><br />

Brenner, C.; Giese, H.; Henkler, S.; Hirsch, M.;<br />

Priesterjahn, C.: Integration of Legacy Compo -<br />

nents in Mechatronic UML Architectures. In:<br />

Proc. of the 6th International Fujaba Days <strong>2008</strong>,<br />

Dresden, Germany (Uwe Aßmann, Jendrik<br />

Johannes, and Albert Zündorf, eds.), pp. 52–55,<br />

September <strong>2008</strong><br />

Henkler, S.; Hirsch, M.; Priesterjahn, C.: Hybrid<br />

Model Checking with the FUJABA Real-Time Tool<br />

Suite. In: Proc. of the 6th International Fujaba<br />

Days <strong>2008</strong>, Dresden, Germany (Uwe Aßmann,<br />

Jendrik Johannes, and Albert Zündorf, eds.), pp.<br />

40–43, September <strong>2008</strong><br />

Henkler, S.; Hirsch, M.; Kahl, S.; Schmidt, A.:<br />

Development of Self-optimizing Systems:<br />

Domain-spanning and Domain-specific Models<br />

exemplified by an Air Gap Adjustment System<br />

for Autonomous Vehicles. In: ASME Intern atio -<br />

nal Design Engineering Technical Conferences<br />

and Computers and Information in Engineering<br />

Conference, August 3–6, <strong>2008</strong>, New York, USA,<br />

(New York, USA), pp. 1–11, ASME, September<br />

<strong>2008</strong><br />

Schäfer, W.; Tichy, M.: Introduction to the<br />

special section on self-optimizing mechatronic<br />

systems. International Journal on Software<br />

Tools for Technology Transfer (STTT), vol. 10,<br />

pp. 205–206, June <strong>2008</strong><br />

Burmester, S.; Giese, H.; Münch, E.; Oberschelp,<br />

O.; Klein, F.; Scheideler, P.: Tool Support for the<br />

Design of Self-Optimizing Mechatronic Multi-<br />

Agent Systems. International Journal on Software<br />

Tools for Technology Transfer (STTT), vol.<br />

10, pp. 207–222, June <strong>2008</strong><br />

Dwyer, M.; Gruhn, V.; Schäfer, W. (eds): Pro -<br />

ceed ings of the 30th International Conference<br />

of Software Engineering, Leipzig, Germany, ACM<br />

Press, May <strong>2008</strong><br />

Hirsch, M.; Henkler, S.; Giese, H.: Modeling<br />

Collaborations with Dynamic Structural<br />

Adaptation in Mechatronic UML. In: Proc. of the<br />

ICSE <strong>2008</strong> Workshop on Software Engineering<br />

for Adaptive and Self-Managing Systems<br />

(SEAMS08),Leipzig, Germany, pp. 33–40, ACM<br />

Press, May <strong>2008</strong><br />

Tichy, M.; Henkler, S.; Meyer, M.; von, M.: Safety<br />

of Component-Based Systems: Analysis and<br />

Improvement using Fujaba4Eclipse. In: Com -<br />

panion Proceedings of the 30th Inter national<br />

Conference on Software Engineering (ICSE),<br />

Leipzig, Germany, pp. 1–2, May <strong>2008</strong><br />

Henkler, S.; Hirsch, M.: Tool Support for<br />

Developing Advanced Mechatronic Systems:<br />

Integrating the Fujaba Real-Time Tool Suite with<br />

CAMeL-View. In: Proc. of the Dagstuhl-Work -<br />

shop: Model-Based Development of Embedded<br />

Systems (MBEES), 7.3.–12.3.<strong>2008</strong>, Schloss<br />

Dagstuhl, Germany (Bernhard Schätz, Holger<br />

Giese, Ulrich Nickel, and Michaela Huhn, eds.),<br />

no. <strong>2008</strong>-02 in <strong>Informatik</strong>-Bericht, (Technische<br />

Universität Braunschweig), pp. 78–87, April <strong>2008</strong><br />

Henke, C.; Tichy, M.; Schneider, T.; Böcker, J.;<br />

Schäfer, W.: System Architecture and Risk<br />

Management for Autonomous Railway Convoys.<br />

In: Proceedings of the 2nd Annual IEEE Inter -<br />

national Systems Conference, Montreal, Canada,<br />

April <strong>2008</strong><br />

Osmic, S.; Münch, E.; Trächtler, A.; Henkler, S.;<br />

Schäfer, W.; Giese, H.; Hirsch, M.: Safe Online-<br />

Reconfiguration of Self-Optimzing Mechatronic<br />

Systems. In: Selbstoptimierende mechatronische<br />

Systeme: Die Zukunft gestalten. 7. Inter -<br />

nationales Heinz Nixdorf Symposium <strong>für</strong> industrielle<br />

Informationstechnik (Jürgen Gause -<br />

meier, Franz Rammig <strong>und</strong> Wilhelm Schäfer,<br />

eds.), pp. 411–426, February <strong>2008</strong><br />

Giese, H.; Henkler, S.; Hirsch, M.; Roubin, V.;<br />

Tichy, M.: Modeling Techniques for Software-<br />

Intensive Systems. In: Designing Software-<br />

Intensive Systems: Methods and Principles<br />

(Dr. Pierre F. Tiako, ed.), pp. 21–58, Langston<br />

University, Oklahoma, <strong>2008</strong><br />

Giese, H.; Henkler, S.; Hirsch, M.: Combining<br />

Compositional Formal Verification and Testing<br />

for Correct Legacy Component Integration in<br />

Mechatronic UML. In: Architecting Dependable<br />

Systems V (Rogério de Lemos, Felicita Di<br />

Giandomenico, Cristina Gacek, Henry Muccini,<br />

and Marlon Vieira, eds.), vol. 5135 of LNCS, pp.<br />

248–273, Springer, <strong>2008</strong><br />

151

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!