6th Year: International Cooperations - Technical and Organizational Chair of
International Conference, Cooperation with European Network of Excellence and with Academy of Finland
1. Chair of International Conference SAFECOMP 2007
The 26th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2007) took place in the facilities of the Faculty of Economical and Social Sciences in Nuremberg, September 18 - 21.
For decades now the conference series SAFECOMP is being technically supported by the European Workshop on Industrial Computer Systems, Technical Committee on Reliability, Safety and Security (EWICS TC7) and logistically organized by alternating national institutions, most of the time in European host countries. Joint organizers of this year's Conference were the German Computer Society (Gesellschaft für Informatik, GI), especially its Technical Group ENCRESS (Reliability and Safety of Software-intensive Systems) and the Chair of Software Engineering of the University of Erlangen-Nuremberg, who was appointed scientific and organizational conference chair in view of the year long commitment and coordinator role in both EWICS and ENCRESS.
This two-fold function required a considerable effort, already honoured in spring by 136 submissions. In the course of an International Programme Committee meeting held in May in Erlangen after conclusion of the reviewing process, 33 full articles were finally selected for regular presentations, in addition to 16 short articles to be presented during poster sessions; all accepted submissions were subsequently published by Springer-Verlag in Vol. 4680 of Lecture Notes in Computer Science (LNCS).
The first of the four conference days was dedicated to two workshops and one tutorial held in parallel under the direction of European consortia. The subsequent three days of the main conference consisted of 15 plenary sessions, including in particular two invited talks and a panel.
The number of participants exceeded the expectations: about 170 colleagues from 25 countries joined the event. The background of the attendants was various both from a geographical and a technical point of view, which contributed to animate the exchange of ideas and opinions between researchers and practitioners: in addition to international universities, which made up about half of the plenum, there were several industrial participants, among them actively contributing representatives of railway (Siemens Rail Automation), automotive (BMW, Siemens VDO), avionics (Boeing, Airbus) and medical systems (Philips Medical Systems).
The conference attendance was not just quantitatively, but also and especially qualitatively gratifying, not least thanks to the honouring presence of Bev Littlewood (Centre of Software Reliability) and Jean-Claude Laprie (Laboratoire d´Analyse et d´Architecture des Systèmes), both world-wide known experts in the area of safety-relevant automation systems.
Also social and technical events were generally appreciated, especially the visit of the Nuremberg Underground Railway Control Centre, where the concepts on driverless trains presented in the morning session could be addressed in more concrete and detailed terms.
An altogether successful event could be offered to this year's SAFECOMP community in Franconia. More information is available at: http://www11.informatik.uni-erlangen.de/safecomp2007/.
2. Evaluation of Research Project Proposals for the Academy of Finland
On personal invitation by the Academy of Finland and Research Council for Natural Sciences and Engineering, the Chair of Software Engineering participated in May 2007 to the evaluation of research project proposals. The Expert Panel in Computer Science consisted of reviewers from Germany, France, Great Britain and Denmark. The applications submitted concerned general research grants for funding research teams as well as research project grants for hiring post-doctoral researchers.
3. Co-operation with European Network ReSIST
In conjunction with a co-operation between EWICS TC7 and the European Network of Excellence "Resilience for Survivability in Information System Technologies" (ReSIST) the Chair of Software Engineering hosted a Joint Workshop on "Teaching Resilient Computing" which took place in May 2007 in Erlangen.
In the course of this event, colleagues from 7 European countries convened to present concepts and experiences gained in teaching dependable, computer-based technologies and to discuss together about the chances of harmonizing as much as possible academic curricula in this area throughout Europe.
At national level the Chair of Software Engineering c-operated to establishing the following events both as member of the Programme Committees and as contributor of talks and publications:
- 5th Workshop "Dependability and Fault Tolerance", held in conjunction with the International Conference on Architecture of Computing Systems
(Zurich, March 2007)
- Conference Software Engineering (SE'07), in particular Workshop "Test methods for Software - from Research to Practice"
(Hamburg, March 2007)
- Workshop "Model-based Testing" in conjunction with the 37th Annual Conference of the German Computer Society
(Bremen, September 2007).
Teaching and Industrial Co-Operations at Regional Level
In addition to numerous lectures, during the reporting period 2007 the Chair of Software Engineering supervised several student theses carried out in industrial co-operation, which deserve being mentioned; once again, they permit to illustrate in very clear terms the relation between exciting software engineering questions and scientific investigations urgently required by today's industrial practice.
The students supervised at the Chair of Software Engineering were involved a.o.
The student thesis "Analysis and Comparison of Techniques for Evaluating the Performance of Software Systems" is particularly worth being mentioned, as it involves a comparative evaluation of different approaches to performance analysis and assessment, on the basis of which to select and practically apply the most adequate evaluation technique to a real world software system of the industrial partner Siemens Industrial Solutions.
- in analysing the applicability of formal verification techniques in telecommunication (in co-operation with Alcatel Lucent),
- in the systematic selection of adequate documentation systems (in co-operation with Komke Consulting), as well as
- in the derivation of qualitative measures from observations classified in terms of symptoms (in co-operation with Siemens Medical Solutions).