Regular Extrapolation of Behavioural Models-Searching for Regular Patterns by Observation
In current practice, only rarely precise and reliable documentation of a system’s behaviour is produced during its development. Revisions and last minute changes invalidate design sketches, and while systems are updated in the maintenance cycle, often their implementation documentation is not. Regular extrapolation aims at providing descriptions of systems or system aspects a posteriori in a largely automatic way. These descriptions come in the form of models which offer the possibility of mechanically producing system tests, grading test suites and monitoring running systems. The models are built from observations via techniques from machine learning and finite automata theory. Also expert knowledge about the system enters the model construction in a systematic way. The praticality of this approach is discussed in the context of a learning scenario for telecommunication systems
Speaker Details
Bernhard Steffen graduated in Mathematics (1983) and obtained a PhD in Computer Science (1987) from the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the Laboratory for Foundations of Computer Science (LFCS) in Edinburgh and Researcher at the University of Aarhus (Denmark). 1990 he became Associate Professor for Distributed Systems at RWTH Aachen, and 1993 Full Professor for Programming Systems at the University of Passau. Since 1997 he holds the Chair of Programming Systems and Compiler Construction at the University of Dortmund. He is author of over 100 internationally refereed papers concerning various aspects of formal (verification) methods and tools for program analysis, compiler optimization, model generation, and testing. He has served on more than 50 Program Committees, over 10 times as chair, on numerous Steering Committees, and in the Editorial Boards of the ACM Transactions on Programming Languages and Systems (TOPLAS), Kluwer´s Formal Methods in System Design, as well as Springer´s Software: Concepts and Tools and Innovations in Software ans Systems engineering: A NASA Journal. Since 2004 he is editor of LNCS (Lecture Notes in Computer Science) for the sub-libraries `Theoretical Computer Science´ and `Programming Techniques and Software Engineering´.He has broad experience in the use of formal methods to support state of the art industrial software development of distributed cooperative systems through major industrial projects (where he won the European IT Award in 1996, and a start-up competition in 2001) and consulting, as well as through his activity as an Advisory Board Member of ASTEC, a Swedish technology transfer initiative for Advanced Software TEChnoloy.He is founder and Editor in Chief of Software Tools for Technology Transfer (STTT), Springer Verlag, and founder and Steering Committee Member of TACAS, the Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems. In 2004 he co-founded ISoLA (Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation).In 1991 he set the scene for Software Model Checking with his paper Data Flow Analysis as Model Checking, 1992 he presented the first functioning Model Checker for infinite-state systems with Model Checking for Context-Free Processes, and in 2002 he obtained the Most Influential PLDI Paper Award for Lazy Code Motion, which is given 10 years later in retrospective.
- Date:
- Speakers:
- Bernhard Steffen
- Affiliation:
- University of Dortmund
-
-
Jeff Running
-
