Date: Thursday 21 March 2013
Time: 08:30 - 10:00
Location / Room: Belle-Etoile
Chair:
Wolfgang Müller, University of Paderborn, DE
Co-Chair:
Christian Haubelt, University of Rostock, DE
This session covers different approaches to system-level analysis and simulation. The first two papers propose novel techniques to improve accuracy and simulation speed for TLM and dataflow models. The last two papers present novel approaches to timing analysis and model understanding.
| Time | Label | Presentation Title Authors |
|---|---|---|
| 08:30 | 9.2.1 | (Best Paper Award Candidate) ANALYTICAL TIMING ESTIMATION FOR TEMPORALLY DECOUPLED TLMS CONSIDERING RESOURCE CONFLICTS Authors: Kun Lu, Daniel Mueller-Gritschneder and Ulf Schlichtmann, Technische Universität München, DE Abstract |
| 09:00 | 9.2.2 | TOWARDS PERFORMANCE ANALYSIS OF SDFGS MAPPED TO SHARED-BUS ARCHITECTURES USING MODEL-CHECKING Authors: Maher Fakih1, Kim Grüttner1, Martin Fränzle2 and Achim Rettberg2 1OFFIS, DE; 2Carl von Ossietzky University of Oldenburg, DE Abstract |
| 09:30 | 9.2.3 | TOWARD POLYCHRONOUS ANALYSIS AND VALIDATION FOR TIMED SOFTWARE ARCHITECTURES IN AADL Authors: Yue Ma1, Huafeng Yu1, Thierry Gautier1, Loic Besnard2, Paul Le Guernic1, Jean-Pierre Talpin1 and Maurice Heitz3 1INRIA, FR; 2IRISA/CNRS, FR; 3C-S Communication & Systems, FR Abstract |
| 09:45 | 9.2.4 | TUNING DYNAMIC DATA FLOW ANALYSIS TO SUPPORT DESIGN UNDERSTANDING Authors: Jan Malburg1, Alexander Finder1 and Görschwin Fey2 1University of Bremen, DE; 2German Aerospace Center, DE Abstract |
| 10:00 | IP4-11, 318 | (Best Paper Award Candidate) FAST AND ACCURATE TLM SIMULATIONS USING TEMPORAL DECOUPLING FOR FIFO-BASED COMMUNICATIONS Authors: Claude Helmstetter1, Jérôme Cornet2, Matthieu Moy3, Pascal Vivet1 and Bruno Galilée2 1CEA-Leti, FR; 2STMicroelectronics, FR; 3Verimag, FR Abstract |
| 10:01 | IP4-12, 662 | DETERMINING RELEVANT MODEL ELEMENTS FOR THE VERIFICATION OF UML/OCL SPECIFICATIONS Authors: Julia Seiter, Robert Wille, Mathias Soeken and Rolf Drechsler, University of Bremen, DE Abstract |
| 10:02 | IP4-13, 667 | TOWARDS A GENERIC VERIFICATION METHODOLOGY FOR SYSTEM MODELS Authors: Robert Wille, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann and Rolf Drechsler, University of Bremen, DE Abstract |
| 10:00 | End of session Coffee Break in Exhibition Hall Monday and Friday morning and afternoon coffee breaks will be located in the Salle de Reception. On Tuesday-Thursday the breaks will be located in the Exhibition Hall. Morning and afternoon (with the exception of Thursday afternoon which is a 30 minute break) coffee breaks on Tuesday-Thursday are extended breaks and will run for 60 minutes (coffee points will be open for the first 30 minutes only) from the start time indicated in the programme. |