th Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects the intent to have a b- ance between experience reports and research papers related to System Design Languages. The language that was at the heart of the ?rst few SDL Forums was the ITU-T Speci?cation and Description Language de?ned in Z.100, and the app- cation domain was almost entirely ?xed-line telephone communication. Mobile telephony was for the super-rich and electronics in cars was just for radios. Ever since its inception, 30 years ago, the Z.100 language has been used for model-driven development in the telecommunication industry. Nowadays, model-driven engineering is a must for all industries and has been generalized byOMG to allapplicationdomainsascoveredbya paper onanautomotivecase study in this volume. What has been happening over the past few years is that the infrastructure has been put in place providing good support for the mod- driven paradigm, so that the economic bene?t of the approach makes it more of a necessity than a choice for designing dependable systems. The experience report from Motorola in this volume underlines this trend.
Author(s): Andreas Prinz, Markus Scheidgen, Merete S. Tveit (auth.), Emmanuel Gaudin, Elie Najm, Rick Reed (eds.)
Series: Lecture Notes in Computer Science 4745 : Computer Communication Networks and Telecommunications
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2007
Language: English
Pages: 292
Tags: Computer Systems Organization and Communication Networks; Software Engineering; Logics and Meanings of Programs; Management of Computing and Information Systems
Front Matter....Pages -
A Model-Based Standard for SDL....Pages 1-18
Model Driven Development and Code Generation: An Automotive Case Study....Pages 19-34
Experiences in Deploying Model-Driven Engineering....Pages 35-53
TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets....Pages 54-68
Using TTCN for Radio Conformance Test Systems....Pages 69-85
Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile....Pages 86-100
Specifying Input Port Bounds in SDL....Pages 101-116
Translatable Finite State Time Machine....Pages 117-132
Enhanced Use Case Map Traversal Semantics....Pages 133-149
Automated Generation of Micro Protocol Descriptions from SDL Design Specifications....Pages 150-165
Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications....Pages 166-185
Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator....Pages 186-202
Consistency of UML/SPT Models....Pages 203-224
Formal Verification of Use Case Maps with Real Time Extensions....Pages 225-241
Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry....Pages 242-257
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling....Pages 258-271
SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems....Pages 272-288
Back Matter....Pages -
