Ebook: SDL 2013: Model-Driven Dependability Engineering: 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings

This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.

---

This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.

---

This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.
Content:
Front Matter....Pages -
Data Flow Testing in TTCN-3 with a Relational Database Schema....Pages 1-18
Property Verification with MSC....Pages 19-35
Towards the Generation of AMF Configurations from Use Case Maps Based Availability Requirements....Pages 36-53
Modeling Early Availability Requirements Using Aspect-Oriented Use Case Maps....Pages 54-71
Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns....Pages 72-90
Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models....Pages 91-106
Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback....Pages 107-123
Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis....Pages 124-143
An IMS DSL Developed at Ericsson....Pages 144-162
Efficient Development of Domain-Specific Simulation Modelling Languages and Tools....Pages 163-181
FTG+PM: An Integrated Framework for Investigating Model Transformation Chains....Pages 182-202
Traceability Links in Model Transformations between Software and Performance Models....Pages 203-221
Refactorings in Language Development with Asymmetric Bidirectional Model Transformations....Pages 222-238
SDL Real-Time Tasks – Concept, Implementation, and Evaluation....Pages 239-257
Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams....Pages 258-274
Integration of SDL Models into a SystemC Project for Network Simulation....Pages 275-290
Back Matter....Pages -

---

This book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.
Content:
Front Matter....Pages -
Data Flow Testing in TTCN-3 with a Relational Database Schema....Pages 1-18
Property Verification with MSC....Pages 19-35
Towards the Generation of AMF Configurations from Use Case Maps Based Availability Requirements....Pages 36-53
Modeling Early Availability Requirements Using Aspect-Oriented Use Case Maps....Pages 54-71
Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns....Pages 72-90
Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models....Pages 91-106
Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback....Pages 107-123
Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis....Pages 124-143
An IMS DSL Developed at Ericsson....Pages 144-162
Efficient Development of Domain-Specific Simulation Modelling Languages and Tools....Pages 163-181
FTG+PM: An Integrated Framework for Investigating Model Transformation Chains....Pages 182-202
Traceability Links in Model Transformations between Software and Performance Models....Pages 203-221
Refactorings in Language Development with Asymmetric Bidirectional Model Transformations....Pages 222-238
SDL Real-Time Tasks – Concept, Implementation, and Evaluation....Pages 239-257
Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams....Pages 258-274
Integration of SDL Models into a SystemC Project for Network Simulation....Pages 275-290
Back Matter....Pages -
....