FBT 1998: Cottbus, Germany

Hartmut König, Peter Langendörfer (Eds.): Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. Verlag Shaker 1998, ISBN 3-8265-3807-2

Eingeladene Vorträge

Ulrich Herzog: Kompositioneller Entwurf mit Stochastischen Prozeßalgebren. vii-iv
Joachim Fischer, Nils Fischbeck, Marc Born: SDL und ODL im Entwicklungsprozess von Telekommunikationssystemen. x-xxv

Test und Verifikation I

Thomas Walter: Classification of Specification and Validation Methods for Distributed Systems. 3-13
Stefan Heymer, Jens Grabowski: Formal Methods and Conformance Testing --or-- What are we testing anyway? 14-25

Test und Verifikation II

Rudolf Scheurer, Jens Grabowski, Dieter Hogrefe: Revised Comparison of an Automatically Generated and a Manually Specified Abstract Test Suite for the B-ISDN Protocol SSCOP. 26-37
Stephan Pietsch, Ina Schieferdecker: Test Suite Simulation. 38-47
Olaf Drögehorn, Peter Herrmann: Werkzeugunterstützte Protokollverifikation mit dem Transferprotokoll-Framework. 48-59

Neue Spezifikationstechniken II

Max Breitling, Ursula Hinkel, Katharina Spies: Formale Entwicklung verteilter reaktiver Systeme mit FOCUS. 63-74
Franz Huber, Bernhard Schätz: Specification Modules for Methodical System Development. 75-86
Peter Paul Spies: Ereignisverbände. 87-99
Arndt Lüder, E. Hintze, A. Pöschmann, Hans-Michael Hanisch: Prädikat/Transitions-Netz-Condition/Event-Systeme zur Modellierung von Kommunikationssystemen. 100-111
Jan de Meer, Axel Rennoch, Arno Puder: Towards a QoS Binding Notation. 112-121

Fallstudien

Georg Rock, Werner Stephan, Andreas Wolpers: Assumption-Commitment Specifications and Safety-Critical Systems. 125-135
Thomas Firley, Thomas Gehrke, Arend Rensink: Spezifikation eines RPC-Speichers mit der Sprache ProFun. 136-147
Dirk Beyer, Heinrich Rust: Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata. 148-159

Hardware-Software Codesign

Detlef Baumecker, Reinhard Koeppe: Vermittlung von Prinzipien der Formalen Spezifikation von offenen, protokollunabhängigen Kommunikationssystemen. 163-171
Jan Phillips, Alexander Schmidt: Entwurf und Implementierung eingebetteter Systeme. 172-181

MSCs

Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim: A Process Algebra Semantics for MSC Including Conditions. 185-196
Joost-Pieter Katoen, Lennard Lambert: Pomsets for MSC. 197-207

SDL

Birgit Geppert, Frank Rößler, Michael Schneider: Using SDL Patterns for the Design of a CAN-based Communication Subsystem. 211-221
Martin von Löwis, Ralf Schröder: Objekt-orientierte Datenkonzepte für SDL. 222-232
Eckhardt Holz, Joachim Fischer: Introduction of Gate Types into SDL. 233-244
Peter Langendörfer, Thomas Krüger, Sven Twarok: Eine SDL-Laufzeitumgebung zur Unterstützung unterschiedlicher Implementationsstrategien. 245-254