SDL 2011: Integrating System and Software Modeling: 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

Description

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011. The 16 revised full papers presented together were carefully reviewed and selected for inclusion in the book. The papers cover a wide range of topics such as SDL and related languages; testing; and services and components to a wide range presentations of domain specific languages and applications, going from use maps to train station models or user interfaces for scientific dataset editors for high performance computing. Front Matter....Pages - Model-Based Performance Analysis of Service-Oriented Systems....Pages 1-1 SCADE: A Comprehensive Framework for Critical System and Software Engineering....Pages 2-3 SDL-2010: Background, Rationale, and Survey....Pages 4-25 TASTE: A Real-Time Software Engineering Tool-Chain Overview, Status, and Future....Pages 26-37 Synthesizing Software Models: Generating Train Station Models Automatically....Pages 38-53 Exploring Early Availability Requirements Using Use Case Maps....Pages 54-68 Paprika: Rapid UI Development of Scientific Dataset Editors for High Performance Computing....Pages 69-78 Verifiable Coverage Criteria for Automated Testing....Pages 79-89 A New Approach in Model-Based Testing: Designing Test Models in TTCN-3....Pages 90-105 Towards a Model Based Approach for Integration Testing....Pages 106-121 Session Initiation as a Service....Pages 122-137 PMG-Pro: A Model-Driven Development Method of Service-Based Applications....Pages 138-153 A Model-Driven Framework for Component-Based Development....Pages 154-167 Separation of Concerns with Transactional Regions....Pages 168-185 Real-Time Signaling in SDL....Pages 186-201 Priority Scheduling in SDL....Pages 202-217 A Model-Based Formalization of the Textual Notation for SDL-UML....Pages 218-232 Standardizing Variability – Challenges and Solutions....Pages 233-246 MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing....Pages 247-261 AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications....Pages 262-275 Back Matter....Pages -