000 04926nam a22006135i 4500
001 978-3-540-74984-4
003 DE-He213
005 20240730173633.0
007 cr nn 008mamaa
008 100301s2007 gw | s |||| 0|eng d
020 _a9783540749844
_9978-3-540-74984-4
024 7 _a10.1007/978-3-540-74984-4
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aSDL 2007: Design for Dependable Systems
_h[electronic resource] :
_b13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings /
_cedited by Emmanuel Gaudin, Élie Najm, Rick Reed.
250 _a1st ed. 2007.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2007.
300 _aXII, 292 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aComputer Communication Networks and Telecommunications,
_x2945-9184 ;
_v4745
505 0 _aModel Driven Engineering -- A Model-Based Standard for SDL -- Model Driven Development and Code Generation: An Automotive Case Study -- Experiences in Deploying Model-Driven Engineering -- Testing -- TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric Sets -- Using TTCN for Radio Conformance Test Systems -- Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile -- Language Extensions -- Specifying Input Port Bounds in SDL -- Translatable Finite State Time Machine -- Enhanced Use Case Map Traversal Semantics -- Implementation -- Automated Generation of Micro Protocol Descriptions from SDL Design Specifications -- Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications -- Experiences in Using the SOMT Method to Support the Design and Implementation of a Network Simulator -- Modeling Experience and Extensions -- Consistency of UML/SPT Models -- Formal Verification of Use Case Maps with Real Time Extensions -- Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry -- OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling -- SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE Systems.
520 _ath 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.
650 0 _aComputer science.
_99832
650 0 _aComputer engineering.
_910164
650 0 _aComputer networks .
_931572
650 0 _aSoftware engineering.
_94138
650 0 _aElectronic data processing
_xManagement.
_9109052
650 1 4 _aTheory of Computation.
_9109053
650 2 4 _aComputer Engineering and Networks.
_9109054
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aIT Operations.
_931703
700 1 _aGaudin, Emmanuel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9109055
700 1 _aNajm, Élie.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9109056
700 1 _aReed, Rick.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9109057
710 2 _aSpringerLink (Online service)
_9109058
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540749837
776 0 8 _iPrinted edition:
_z9783540843962
830 0 _aComputer Communication Networks and Telecommunications,
_x2945-9184 ;
_v4745
_9109059
856 4 0 _uhttps://doi.org/10.1007/978-3-540-74984-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c89017
_d89017