Project Page

People

Partners

Publications

Related

Internal

  Summary

InTime develops a semantical and methological foundation of the UML-RT with emphasis on the flexible development of real-time critical systems.

  Abstract

Technical software applications which were mostly being developed as isolated systems in the past, are moving towards an integration in general, wide spanning software systems. To cope with the resulting complexity, object oriented methods - already successful applied in the development of business software - are increasingly applied in the field of technical, often time critical applications. In response to the need for a standardization, the OMG started the standardization process of a real-time variant of the widely used Unified Modeling Language (UML) which is expected to become the leading modeling language for real-time systems. Major shortcomings however, which are already shown by the UML, are both the lack of a rigorous semantical foundation and guidelines for the methological usage. As a consequence, incompatible interpretations and usages of the UML diagrams are widely spread in practice. InTime aims to develop both a semantical and methological foundation of the UML-RT which respects different needs or roles in the development process but integrates them in a common framework. Role specific views are defined and integrated by sophisticated refinement principles. The approach is based on an integration of method Real-Time Object-Oriented Modeling (ROOM) with modeling elements of the UML. For modeling the system structure, Class Diagrams and Actor Diagrams are considered. Behaviour modeling is based on StateCharts and MSCs. For properties which cannot be expressed with these techniques, the usage of the Object Constraint Language proposed in the UML is investigated. In particular, The following topics are a matter of research:  Integration of Class diagrams and Actor Diagrams Interpretation and methological usage of StateCharts Interpretation and methological usage of MSCs Transformation from MSCs to StateCharts Applicability of the OCL Interrelation timed and time independent execution models Refinement principles Evaluation of the concepts with in practical case studies InTime is funded by the DFG and associated with the priority program Integration of Software Specification Techniques for Scientific Engineering Applications. Keywords UML-RT, Object Oriented Modeling, Real Time, Formal foundation, Refinement,  Development Methods

Project Homepage
 

  Contact

Robert Sandner Email: Robert.Sandner@in.tum.de Snail: Robert Sandner TU München  Arcisstraße 21 80333 München Tel.: ++49-89-289-25309 Fax.: ++49-89-289-25310

  Schedule

01.04.2000-31.03.2002

  People

Wolfgang Prenninger Robert Sandner Victoria Cengarle

  Partners

	Dr. Radu Grosu, Department of Computer and Information Science, University of Pennsylvania Dr.Ingolf Krüger, Department of Computer Science and Engineering, University of California, San Diego

  Publications

R. Sandner: Developing Distributed Systems Step by Step with UML-RT /home/html/wbroy/html-data/proj/intime (ps) (pdf) , in: Workshop Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Holger Giehse and Stephan Philippi (eds.), Universität Münster, 2000. I. Krüger: Notational and Methodical Issues in Forward Engineering with MSCs, in: Tarja Systä (ed.), Proceedings of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Tampere University of Technology, Software Systems Laboratory, Report 20, October, 2000. I. Krüger, W. Prenninger, R. Sandner: Architectural Design of a Broadcasting System using UML-RT (ps) (pdf) in: OMER-2 Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung, Andreas Schürr (eds.), Universität der Bundeswehr, München, 2001. I. Krüger, W. Prenninger, R. Sandner: Deriving Architectural Prototypes for a Broadcasting System using UML-RT (ps) (pdf) , in: 1st ICSE Workshop on Describing Software Architecture with UML, Philippe Kruchten (eds.), Rational Software, 2001. P. Braun, M. Broy, M.V. Cengarle, J. Philipps, W. Prenninger, A. Pretschner, M. Rappl, R. Sandner: The Automotive CASE In: DFG-Workshop Modelle, Werkzeuge, Infrastrukturen zur Unterstützung von Entwicklungsprozessen M.V. Cengarle, A. Knapp: Towards OCL/RT In: Proc. 11th Int. Symp. Formal Methods Europe, Springer, Berlin   B. Finkbeiner, I. Krüger: Using Message Sequence Charts for Component-Based Formal Verification (pdf) In: SAVCBS 2001 Proceedings: Specification and Verification of Component-Based Systems,   D. Giannakopoulou, G.T. Leavens, M. Sitaraman(eds.)  I. Krüger, W. Prenninger, R. Sandner: Semantics of Broadcast MSCs (ps) In: Semantic Foundations of Engineering Design Languages (SFEDL),P. Kruchten (ed.)  I. Krüger: Distributed System Design with Message Sequence Charts In: 1st ICSE Workshop on Describing Software Architecture with UML,  Technische Universität München   I. Krüger, W. Prenninger, R. Sandner: Development of an Autonomous Transport System using UML-RT (ps) Technische Universität München   I. Krüger, W. Prenninger, R. Sandner, M. Broy: From Scenarios to Hierarchical Broadcasting Software Architectures using UML-RT In: International Journal of Software Engineering and Knowledge Engineering (IJSEKE)  Y. Deng (ed.)  B. Rumpe, R. Sandner: UML - Unified Modeling Language im Einsatz (ps) In: at - Automatisierungstechnik, Reihe Theorie für den Anwender,S. Kowalewski (ed.),  Oldenbourg Verlag

  Related Information

Projects: Bequest IMMA INKREA InOpSys Papers: Broy M., Compositional Refinement of Interactive Systems IN: DIGITAL Systems Research Center SRC 89 Grosu R., Stefanescu G., Broy M. Visual Formalisms Revisited IN: CSD '98, International Conference on Application of Concurrency to System Design, Aizu-Wakamatsu City, Fukushima  L. Lavagno, W. Reisig (eds.)  IEEE Computer Society Press

 

Robert Sandner, Wolfgang Prenninger, 10.01.2003