15. SDL Forum 2011: Toulouse, France

Iulian Ober, Ileana Ober (Eds.): SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers. Lecture Notes in Computer Science 7083 Springer 2012, ISBN 978-3-642-25263-1

Invited Contributions and Tutorials

Dorina C. Petriu:
Model-Based Performance Analysis of Service-Oriented Systems - (Invited Talk). 1
Thierry Le Sergent:
SCADE: A Comprehensive Framework for Critical System and Software Engineering. 2-3
Rick Reed:
SDL-2010: Background, Rationale, and Survey. 4-25
Maxime Perrotin, Eric Conquet, Julien Delange, Andre Schiele, Thanassis Tsiodras:
TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future. 26-37

Domain Specific Languages (Part 1)

Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen:
Synthesizing Software Models: Generating Train Station Models Automatically. 38-53
Jameleddine Hassine, Abdelouahed Gherbi:
Exploring Early Availability Requirements Using Use Case Maps. 54-68
Didier Nassiet, Yohan Livet, Marc Palyart, David Lugato:
Paprika: Rapid UI Development of Scientific Dataset Editors for High Performance Computing. 69-78

Test

Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert:
Verifiable Coverage Criteria for Automated Testing. 79-89
Antal Wu-Hen-Chang, Gusztáv Adamis, Levente Erös, Gábor Kovács, Tibor Csöndes:
A New Approach in Model-Based Testing: Designing Test Models in TTCN-3. 90-105
Mohamed Mussa, Ferhat Khendek:
Towards a Model Based Approach for Integration Testing. 106-121

Components and Services

Urooj Fatima, Rolv Bræk, Humberto Nicolás Castejón:
Session Initiation as a Service. 122-137
Selo Sulistyo, Andreas Prinz:
PMG-Pro: A Model-Driven Development Method of Service-Based Applications. 138-153
Surya Bahadur Kathayat, Hien Nam Le, Rolv Bræk:
A Model-Driven Framework for Component-Based Development. 154-167
Thomas Cottenier, Aswin van den Berg, Thomas Weigert:
Separation of Concerns with Transactional Regions. 168-185

Specification and Description Language (SDL)

Marc Krämer, Tobias Braun, Dennis Christmann, Reinhard Gotzhein:
Real-Time Signaling in SDL. 186-201
Dennis Christmann, Philipp Becker, Reinhard Gotzhein:
Priority Scheduling in SDL. 202-217
Alexander Kraas:
A Model-Based Formalization of the Textual Notation for SDL-UML. 218-232

Domain Specific Languages (Part 2)

Franck Fleurey, Øystein Haugen, Birger Møller-Pedersen, Andreas Svendsen, Xiaorui Zhang:
Standardizing Variability - Challenges and Solutions. 233-246
Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel:
MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing. 247-261
Saoussen Anssi, Sébastien Gérard, Stefan Kuntz, François Terrier:
AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications. 262-275

Last update Mon May 20 15:54:42 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page