TU München  Informatik  Software & Systems Engineering Projects


IMMA
Integrated Mathematical Machine Modeling
joint project with Prof. Bender, ITM (TU München)


Project Page People Partners Publications Related

  Summary
     

IMMA investigates a development process for hybrid systems that is formally founded and supported by tools.

  Abstract
     

The I/O behavior of modern manufacturing systems can be characterized as event driven discrete behavior with incorporated continuous activities. The aim of this project is to support the development of formal machine models that mimick the machine's interface as well as its behavior. These machine models are created in order to test PLC (Programmable Logic Control) software (in-the-loop) as well as to derive and validate/verify properties from these models. Models are built and simulated on the basis of an existing ROOM-based CASE tool (MaSiEd) that allows for integrating different description elements such as architecture diagrams, discrete state machines, and continuous block diagrams.
Main topics to be covered include

  • identification of a hybrid case study (a wire stretching plant),
  • a formal semantics for MaSiEd on the basis of HyCharts,
  • a development process for hybrid systems,
  • the incorporation of (hybrid) sequence charts into MaSiEd for system modeling and test case specification,
  • the development of validation techniques for hybrid systems based on these hybrid sequence charts (semi-automatic test case generation, e.g., on the basis of Constraint Logic Programming),
  • the role of acausality in the modeling process, and
  • an assessment of the usability of the tool as well as the developed validation techniques.
IMMA is part of the DFG priority program Analysis and Synthesis of mixed continuous-discrete systems (KONDISK; see KONDISK's IMMA page, in german). It is a joint project with Prof. Bender, Institut für Informationstechnik im Maschinenwesen (ITM), TU München.

Keywords. Test case generation, CASE, Code generation, Formal methods, Hybrid systems, OO, Reactive systems, Real time, Simulation

  Contact
      Alexander Pretschner, Tel. 089 289-28325

  Schedule
      1.10.1999-31.9.2001
IMMA 2: bis März 2003

  People
      Istvan Peter (ITM), Alexander Pretschner, Thomas Stauner

  Partners
      Lehrstuhl für Informationstechnik im Maschinenwesen (ITM), TU München

  Publications
     
  1. Hahn, G., Philipps, J., Pretschner, A., Stauner, T.:
    Prototype-based Tests for Hybrid Reactive Systems
    To appear in Proc. Rapid System Prototyping, San Diego, June 2003
  2. Pretschner, A.:
    Compositional Generation of MC/DC Integration Test Suites
    To appear in Proc. TACoS'03, Warsaw, March 2003. To be published in Electronic Notes in Theoretical Computer Science 82(6), 2003
  3. Pretschner, A., Lötzbeyer, H., Philipps, J.:
    Model Based Testing in Incremental System Development
    To appear in the Journal of Systems and Software, 2003
  4. Braun, P., Broy, M., Cengarle, M.V., Philipps, J., Prenninger, W., Pretschner, A., Rappl, M., Sandner, R.:
    The Automotive CASE
    To appear in Proc. DFG Workshop Modelle, Werkzeuge, Infrastrukturen zur Unterstützung von Entwicklungsprozessen, Wiley-VCH, 2003
  5. Schätz, B., Pretschner, A., Huber, F., Philipps, J.:
    Model-Based Development of Embedded Systems
    In Advances in Object-Oriented Information Systems, Lecture Notes in Computer Science, Vol. 2426, pp. 298-311
    (Proc. Workshop Model-Driven Approaches to Software Development, Montpellier, September 2002)
  6. Bender, K., Broy, M., Péter, I., Pretschner, A., Stauner, T.:
    Model based development of hybrid systems: specification, simulation, test case generation
    In Modelling, Analysis, and Design of Hybrid Systems, Lecture Notes in Control and Information Sciences, Vol. 279, pp. 37-52, July 2002
  7. Schätz, B., Pretschner, A., Huber, F., Philipps, J.:
    Model-Based Development
    Technical Report TUM-I0204, Institut für Informatik, TU München, May 2002
  8. Stauner T., Pretschner A., Peter I.: Approaching a Discrete- Continuous UML: Tool Support and Formalization
    Proc. UML' 2001 workshop on Practical UML- Based Rigorous Development Methods -- Countering or Integrating the eXtremists, pp. 242- 257, Toronto, October 2001
  9. Pretschner, A.:
    Classical search strategies for test case generation with Constraint Logic Programming
    Proc. Formal Approaches to Testing of Software (FATES'01), pp 47-61, Aalborg, August 2001
  10. Pretschner, A., Lötzbeyer, H., Philipps, J.:
    Model Based Testing in Evolutionary Software development
    Proc. 12th IEEE Intl. Workshop on Rapid System Prototyping (RSP'01), pp. 155-161, Monterey, June 2001
  11. Pretschner, A., Lötzbeyer, H.:
    Model Based Testing with Constraint Logic Programming: First Results and Challenges
    Proc. 2nd ICSE Intl. Workshop on Automated Program Analysis, Testing and Verification (WAPATV'01), Toronto, May 2001
  12. Péter, I., Pretschner, A., Stauner, T.:
    Ein CASE-Werkzeug zur hybriden Modellierung und Simulation intelligenter Maschinen
    Tool Presentation
    Proc. Engineering komplexer Automatisierungssysteme (EKA'01), Braunschweig, April 2001
  13. Wimmel, G., Lötzbeyer, H., Pretschner, A., Slotosch, O.: Specification Based Test Sequence Generation with Propositional Logic.
    J. Software Testing, Verification & Reliability (STVR): Special Issue on Specification Based Testing, December 2000
  14. Pretschner, A., Slotosch, O., Stauner, T.: Developing Correct Safety Critical, Hybrid, Embedded Systems.
    Proc. New Information Processing Techniques for Military Systems, NATO Research and Technology Organization, Istanbul, October 2000
  15. Pretschner, A., Lötzbeyer, H.: Testing Concurrent Reactive Systems with Constraint Logic Programming
    Proc. 2nd workshop on Rule-Based Constraint Reasoning and Programming, Singapore, September 2000
  16. Stauner, T.: Extending HyCharts with State-Invariants
    Proc. GI workshop Rigorose Entwicklung software-intensiver Systeme, Berlin, August 2000
  17. Peter, I., Pretschner, A., Stauner, T.: Heterogeneous Development of Hybrid Systems
    Proc. GI workshop Rigorose Entwicklung software-intensiver Systeme, Berlin, August 2000
  18. Lötzbeyer, H., Pretschner, A.: AutoFocus on Constraint Logic Programming
    Proc. (Constraint) Logic Programming and Software Engineering (LPSE'2000), London, July 2000
  19. Peter, I., Pretschner, A., Stauner, T.: ROOM for Hybrid Systems: A Formal Grasp. Internal report, July 2000

  Related Information
     
  • Internal
     Publications
     Groups: Embedded Systems, Tool Support, SW Engineering, Foundations
     Projects: BeQuest, AutoFocus, Quest

  • External
     Groups: Systems Design Research Lab at the University of Pennsylvania, Hybrid Systems at DLR
     Companies/Tools:  Projects: DFG priority program KONDISK, SEMI at ITM (in German)
     Papers:
    1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.:
      The algorithmic analysis of hybrid systems.
      Theoretical Computer Science 138(1):3-34, 1995
    2. Bornot, S., Sifakis, J.:
      On the composition of Hybrid Systems.
      In Proc. Hybrid Systems: Computation and Control (HSCC'98), Springer LNCS 1386, 1998.
    3. Frühwirth, T., Herold, A., Küchenhoff, H., Le Provost, T., Lim, P., Monfroy, E., Wallace, M.:
      Constraint Logic Programming: An informal introduction
      Technical Report ECRC-93-5, European Computer-Industry Research Centre, 1993.
    4. Vaandrager, F.:
      Hybrid Systems.
      In Images of SMC Research, Stichting Mathematisches Zentrum, pp. 305-316, 1996



 Alexander Pretschner, 17.5.2002