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 ...
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