Bücher der Reihe Informatik-Fachberichte

1m vorliegenden Bericht tiber Software-Fehlertoleranz und -Zuverlassigkeit wird ein Problemkreis aus dem weitgefacherten Themenkomplex der Fehlertoleranz in Rechensystemen aufgegriffen, der in den letzten Jahren zunehmend an Bedeutung und Interesse gewonnen hat. Wahrend in der Vergangenheit ein Schwerpunkt der Fehlertoleranz-Konzepte und -Realisierungen darin lag, die Zuverlassigkeit von Rechensystemen durch MaBnahmen gegen den Ausfall von Hardware-Komponenten zu erhohen, wachst zusehends der Bedarf, auch Software in diese Bemtihungen mit einzubeziehen. Mit dem Einsatz von Rechensystemen in verschiedensten Bereichen steigen auch die Zahl und das AusmaB kritischer Anwendungen und somit die Anforderungen an die Zuverlassigkeit der eingesetzten Software. Techniken, die es gestatten, fehlerfreie, fehlertolerante und robuste Software zu erstellen, kommt daher eine neue Schltisselfunktion ftir zuklinftige Systeme zu. Bevor man jedoch spezielle Fragestellungen der Software-Fehlertoleranz und Software-Zuverlassigkeit angeht, erscheint es wichtig, den Stand der Technik in Theorie und Praxis zu erfassen und eine Bestandsaufnahme von laufenden Aktivitaten zu versuchen. Dieser Band gibt einen ersten Uberblick und will eine Basis ftir weitere Diskussionen schaffen. Er entstand im wesentlichen aus Beitragen zu einem Workshop an der Hochschule in Bremerhaven. Ziel des Workshops war der Informationsaustausch und die Diskussion zum oben erwahnten Problemkreis und zu verwandten Themen. Es nahmen 63 Fachleute aus den Bereichen Lehre, Forschung und Industrie teil.

Welcome to Aachen and to the First European Simulation Congress ESC83, a triennial international conference jointly promoted by ASIM/GI, DBSS, SIMS and UKSC. ESC83 is organized by ASIM/GI,. supported by SCS and IMACS, and sponsored by NGI (section for simulation). It takes place at the Karman Auditorium of the Aachen Technical Univer- sity, FRG. The aim of ESC83 is to cover all aspects of modeling and simulation in theory and practice, to promote the exchange of knowlewdge and experience between different international research groups in this field, and to strengthen the international contact between developers and users of modeling and simulation techniques. On the occasion of the Congress people of scientific and engineering disciplines will meet to discuss the state of the art and future activities and developments. A large number of contributed papers has been strictly examined and selected by the Scientific Committee to guarantee a high international standard. The book contains the accepted papers that will be presented at the Congress. The papers have been classified according to the following keywords.

Die 12. Jahrestagung der Gesellschaft fur Informatik an der Univer- sitat Kaiserslautern steht unter dem thematischen Schwerpunkt nSYSTEMS ENGINEERING"e; in der Informatik. Unter dem Druck einer sehr geringen Zahl einge- reichter Beitrage sind wir von dem Konzept der Vorjahre abgeruckt, die Tagung uberwiegend aus eingereichten Beitragen zu bestreiten. Der zweite Tag hat durch die eingeladenen tfbersichtsvortrage einen vor- wiegend tutorialen Charakter und soll der Jahrestagung gegenuber den vielen Fachtagungen eine eigenstandige Attraktivitat verleihen. Die in tfbersichtsvortragen behandelten Themen sollen den hier anwesenden Fachleuten Gelegenheit bieten, sich bequem uber auerhalb des eigenen Arbeitsgebiets sich abzeichnende neue Entwicklungen zu informieren. Dem Programmkomitee, den Programmausschussen der Fachgesprache sowie dem Organisationskomitee am Tagungsort sei an dieser Stelle fur ihren Beitrag zum Gelingen der Tagung herzlich gedankt. Kaiserslautern, Juli 1982 Jurgen Nehmer FOLGENDE FIRMEN HABEN DIE VORBEREITUNG UND AUSRICHTUNG DER TAGUNG FINANZIELL UNTERSTUTZT: SIEMENS AG IBM DEUTSCHLAND GMBH BASF AG BROWN, BOVERI & CIE. AG TELEFONBAU & NORMALZEIT GMBH GEBR. KITTELBERGER GMBH & CO.

This volume documents the progress of application and theory of Petri Nets since the Advanced Course on General Net Theory of Processes and Systems, held in Hamburg, October 8-19, 1979, This course presen ted in detail wha t had been achieved in this area since the first studies of concurrent systems 20 years ago, After this course it seemed worthwhile to establish a co-operation between different groups working in the field of Petri N ets, The starting points were the AFCET Special Interest Group "e;Systemes Paralleles et Distribues"e; and the Gl Special Interest Group "e;Petrinetze und verwandte Systemmodelle"e;, Meanwhile, group s of many European countries are involved, A main activity of this co-operation is the realization of workshops in varying European countries, The first workshop of this kind was carried out in Strasbourg (France), September 23-26, 1980, The second one took place in Bad Honnef (Germany) September 28-30, 1981. This volume contains contributions of these two workshops, The 1980 workshop in Strasbourg was partitioned into 6 topics : (1) Application of Nets to Realtime Systems, (2) Programming Languages and Software Engineering, (3) Information Flow and Concurrency, (4) Net Morphisms and High Level Petri Nets, (5) Mathematical Analysis and N et Languages, (6) Reliability and Recovery Issues, In this volume, the chairman of each topic gives a short introduction to his area whict should help to understand its specific problems and to in troduce the presented papers,

Die Arbeiten zu Bildverarbeitung und Mustererkennung sind ein Versuch, die Natur der Wahrnehmung zu begreifen und die menschliche Intelligenzleistung in einern schmalen Teilbereich zu unterstutzen. Uberdies tragt die zunehmende Verfugbarkeit von Rechenanlagen zu den weltweiten Bemuhungen um Fortschritte auf diesem Gebiet bei. Neue Aspekte und Ergebnisse zeigen sich in so kurzen Abstanden und in solcher Fulle, da ein Uberblick uber das Gesarntgebiet der Muster- erkennung in jahrlicher Folge nutzlich erscheint. Der vorliegende Tagungsband zeigt einen reprasentativen Querschnitt durch den Stand der Arbeiten in der Bundesrepublik im Sommer 1978. Das Symposium wird von der Deutschen Arbeitsgemeinschaft fur Mustererkennung (DAGM) organisiert und von der Deutschen Forschungs- und Versuchsanstalt fur Luft- und Raumfahrt (DFVLR) ausgerichtet. Die DAGM ist ein Dachverband folgender wissenschaftlicher Gesellschaften: Deutsche Gesellschaft fur angewandte Optik (DGaO), Deutsche Gesellschaft fur Ortung und Navigation (DGON), Deutsche Gesellschaft fur Medizinische Dokumentation, Information und Statistik (GMDS), Deutsche Gesellschaft fur Angewandte Datenverarbeitung und Automation in der Medizin (GADAM), Gesellschaft fur Informatik (GI), Nachrichtentechnische Gesellschaft (NTG). Die DAGM fordert den Erfahrungsaustausch auf dem Gesarntgebiet der Mustererkennung und ist als Nationales Komitee Mitglied der Inter- national AS,sociation for Pattern Recogni ti on (IAPR). Fur die Arbeit im Programm-Ausschu mochte ich mich bedanken bei J.P. Foith, Karlsruhe; Prof. H. Niemann, Erlangen; Prof. E. Paulus, Braunschweig; Prof. G. Winkler, Karlsruhe. An der Organisation haben mitgewirkt J.P. FOith, Institut fur Informa- tionsverarbeitung in Technik und Biologie, Karlsruhe und H. Platzer, Lehrstuhl fur Nachrichtentechnik der TU Munchen, sowie das Institut fur Nachrichtentechnik der DFVLR Oberpfaffenhofen.

Seit vielen Jahren sind Rechner bei der Automatisierung technischer Prozesse unverzichtlich. Dabei reicht die Palette der eingesetzten Systeme von Kleinstsystemen auf einer Kreditkarte bis zu sehr teuren Multiprozessorarchitekturen. Fast immer mussen die Rechnersysteme fahig sein, auf spontane auere Ereignisse schnell zu reagieren oder - eventuell gleichzeitig - komplizierte zeitliche Steuerungsvorhaben einzuhalten. Dieses "e;Echtzeitverhalten"e; ist zentrales Thema dieses Tagungsbandes. Dabei werden sowohl theoretische Aspekte, Methoden des Software-Engineering, technische Realisierungen als auch praktische Anwendungserfahrungen der Echtzeitprogrammierung behandelt. Ubersichtsvortrage auslandischer Wissenschaftler wurden ganz besonders der Frage gewidmet, ob Erkenntnisse aus der internationalen Forschung neue Impulse fur die nationalen Losungsansatze, etwa im PEARL-Umfeld, liefern konnen. Insgesamt ermoglicht dieser Sammelband dem Leser eine Aktualisierung seines Kenntnisstandes bezuglich der Echtzeitsysteme.

Veranstalter: Gesellschaft fur Informatik e.V. in Zusammenarbeit mit der SYSTEMS' 85