SDL 2013: Model Driven Dependability Engineering
16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
Editors: Electrical and Computer Engineering, F.K., Toeroe, M., Gherbi, A., Reed, R. (Eds.)
Free Preview- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
Buy this book
- About this book
-
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.
- Table of contents (16 chapters)
-
-
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
-
Table of contents (16 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- SDL 2013: Model Driven Dependability Engineering
- Book Subtitle
- 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings
- Editors
-
- Ferhat Khendek Electrical and Computer Engineering
- Maria Toeroe
- Abdelouahed Gherbi
- Rick Reed
- Series Title
- Computer Communication Networks and Telecommunications
- Series Volume
- 7916
- Copyright
- 2013
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-38911-5
- DOI
- 10.1007/978-3-642-38911-5
- Softcover ISBN
- 978-3-642-38910-8
- Edition Number
- 1
- Number of Pages
- XII, 291
- Number of Illustrations
- 138 b/w illustrations
- Topics
