TUTORIALS

To register for the tutorials, please click here (WORD version or PDF version).

SCHEDULE
26 September 2004   9:00 - 10:30 and 11:00 - 12:30  Tutorial 1
26 September 2004 14:00 - 15:30 and 16:00 - 17:30  Tutorial 2         Slides
27 September 2004   9:00 - 10:30 and 11:00 - 12:30  Tutorial 3
27 September 2004 14:00 - 15:30 and 16:00 - 17:30  Tutorial 4


TUTORIAL 1
Title: Model-Based Development: Mastering the Complexity of Reactive Systems

Speaker: Bernhard Schaetz, Fakultaet fuer Informatik, TU Muenchen


Abstract:
The main objective of this tutorial is to demonstrate the methodical support gained from the application of formal techniques to engineering methods in the development of reactive systems. We focus on how the complexity of the design process can be reduced by breaking it up into different steps, each concentrating on a special aspect of the development, and how CASE support can simplify those steps. As illustrating example we use the BART (Bay Area Rapid Transfer) case study, describing the requirements of a system controlling the speed and acceleration selection for fully-automated trains.

Short CV:
Bernhard Schaetz is a Senior Researcher at the Computer Science Insitute of the Technische Universitaet Muenchen. He furthermore works as a consultant for industrial partner and is a co-founder of a university spin-off. His current research focuses on the application of formal techniques in the engineering process. His work aims at the construction of CASE tools for a model-based software engineering process for embedded systems. Results of his research are incorporated in the development of the AutoFOCUS tool.
http://www4.in.tum.de/~schaetz


TUTORIAL 2
Title: Model-based Testing of Reactive Systems (Click HERE for the presentation slides.)

Speaker: Martin Leucker


Abstract:
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated, formal testing methods. This tutorial will give an introduction to model-based testing techniques with a certain focus on reactive systems, like protocols etc. The tutorial will address the following issues:

  • The idea of model-based testing
  • Technology of test case generation
    • basic algorithms
    • generation by model checking
    • generation by constraint solving
  • Extensions for real time and hybrid systems testing
  • Tools and Case studies
  • Test notation and execution
  • Beyond testing
    • run time verification
    • adaptive model checking
Short CV:
Martin Leucker is a Researcher at the IT Department at Uppsala University. His research interest is on formal aspects in software and hardware development. His recent work focuses on model-based testing techniques. Together with Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, and Alexander Pretschner, he has recently organized a Dagstuhl Tutorial Seminar on Model-based testing. The seminar results in a LNCS Tutorial volume and this will be the basis for this course.

TUTORIAL 3
Title: Software Architectures: Evolution and Mobility

Speaker: J. L. Fiadeiro, University of Leicester


Abstract:
Although architectural concepts and techniques have been considered mainly as a means of controlling the complexity of developing software, we argue demonstrate how they can play a vital role in supporting current needs for systems that can evolve and adapt, in run-time, to changes that occur in the application or business domain in which they operate. The tutorial will also address specific architectural aspects related to systems that need to be location-aware and react to changes on the network topology over which they are distributed.

Short CV:
Jose Luiz Fiadeiro is Professor of Software Science and Engineering at the Department of Computer Science, University of Leicester, where he leads a research group on Software Specification and Design. He is chairman of the IFIP WG 1.3 (Foundations of System Specification), and of the Steering Committees of ETAPS (European Joint Conferences on Theory and Practice of Software) and WADT (Workshop on Algebraic Development Techniques). His research interests include software specification formalisms and methods, especially as applied to component-based, reactive systems, and their integration in the wider area of General Systems Theory. His main contributions have been in the formalisation of specification and program design techniques using modal logics (temporal and dynamic), and of their underlying modularisation principles using Category Theory. His most recent work has focused on Software Architectures, including semantics of architectural connectors and the impact of coordination mechanisms in software evolution. He is now focusing on the methodological and scientific challenges raised by Service Oriented Computing.

TUTORIAL 4
Title: Program Transformation Systems: Theory and Practice for Software Generation, Maintenance and Reengineering

Speaker: Hongjun Zheng and Ira Baxter


Abstract:
This half-day tutorial provides an integrated view, built over 20 years, of program transformation systems, on concepts, vocabulary, mechanisms, and discussion of some existing systems from this view. Software engineering and software maintenance automation support will come from such semantically founded tools.

Of particular interest to this conference, the tutorial will elaborate a well-founded theory of software maintenance using the transformational perspective. It will describe a set of practical transformation systems, and provide some application experience based on DMS, the transformation toolset that Semantic Designs is building. A number of real-world applications of transformations will be described, including OO component reengineering (a task-specific refactoring), automated translation of JOVIAL to C (legacy software migration), test coverage and profiling analysis, and automated clone detection and removal (for million-line COBOL and Java systems).

Short CVs:
Hongjun Zheng, Ph.D., 1997, is performing research on generalized compiler framework for programming languages used in large-scale software evolution and maintenance environment. Dr. Zheng has served as committee member for computer-science conferences, especially those focused on software engineering and formal methods. He is member of ACM and senior member of IEEE.

Ira Baxter has been building system software since 1969. He acquired his Ph.D. with emphasis on software engineering and reuse from the University of California at Irvine in 1990. Dr. Baxter has been invited speaker at SSR'99, co-Chair of the 1997 International Conference on Software Reuse, Program co-Chair of the Working Conference on Reverse Engineering, and Program co-Chair of the 2002 International Conference on Software Maintenance, and has been a PC member of the International Conference on Software Maintenance for a number of years.