followed by a discussion
 
 

+ coffee break 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

"Analyzing Message Sequence Charts"
A. Muscholl
 
 

"Design decisions on data and guards in MSC2000"
A.Engels

Decomposition of Message Sequence Charts
L.Helouet, P.Le Maigat

Connecting Message Sequence Charts
F.A. Meijs

HyperMSC- a graphical representation of TTCN
E.Rudolph, I. Schieferdecker, J. Grabowski

SDL and hard real time systems: 
             new design and analysis techniques
J.M. Alvarez, M.Diaz, L.M. Llopis, E. Pimentel, 
J.M. Troya

SDL for real time: What is missing ?
M.Bozga, S.Graf, A.Kerbrat, L. Mounier, I. Ober, 
D. Vincent

Discussion

22h30

Busses to hotels in Sappey and Grenoble

On the relationship between Use-case maps 
and Message Sequence Charts
F. Bordeleau, D. Cameron

Adaptation of SOMT to the development of 
systems based upon a standard
J.P Albaladejo Marquez, J. Poncela Gonzalez, J.T 
Entrembasaguas Munoz

Approximation of (H)MSC semantics 
by Event Automata
N.Mansurov, D. Vasura
 

Probabilities in the TorX test derivation algorithm
L.M.G. Feijs, N. Goga, S. Mauw

Test generation based on control and data dependencies within multi-process SDL specifications
O. Henniger, H. Ural

Validation and test case generation for MSCs using a prepositional SAT solver
K. Meinke
 

Test Generation with Autolink and Testcomposer
M. Schmidt, J. Grabowski, M. Ebner

Testbed development for communication systems using formal languages
J. Poncela Gonzalez, R. Sanchez Mejias, P Tapia Moreno, R. Ferrer Alvarez, J.T Entrembasaguas Munoz
 

16h30

Real time system modeling with UML: current status and some prospects
F. Terrier (CEA/LETI)
 

Panel on convergence SDL-UML 
organized by Philippe Leblanc with the participation of experts from Alcatel, CEA/LETI, Ericsson, ITU and Telelogic 

22h30

Busses to hotels in Sappey and Grenoble

An executable formal semantics for SDL-20000
A. Prinz, R. Eschbach, R. Gotzhein

A semantics for MSCs based on Petri net components
S. Heymer
 

Experience from using MSC, UML, and SDL in the development of the FAME communication manager. 
K. Stoelen, P.Mohn
 

Development of SDL based software for an embedded system - practical experience
S.Blasius, S. Karg, J. Maier, G. Kohler

Enriching SDL specifications with MSCs 
F. Khendek, D. Vincent

Scheduling in SDL simulation. 
Application to Future Air Navigation Systems
F. Boutet, G. Rieux, Y. Lejeune

SDL based autocode generation: 
     a multi beneficial approach
B.Rao
 
 
 

Organization and strategy of Telelogic

by Ingemar Ljungdhal