ITU-T SDOs Amardeo Sarma Co-Chairman, ITU-T Study Group 17.

Slides:



Advertisements
Similar presentations
INTERVAL Project Copyright 2000 by the INTERVAL Consortium Last revised 24 October 2000 ETSI-MTS Meeting, Sophia Consortium Objectives Technical.
Advertisements

International Telecommunication Union © ITU-T Study Group 17 Integrated Application of URN Daniel Amyot University of Ottawa, Canada
System and Software Engineering Research 1 Motorola 2003 Integrated Application of MSC Clive Jervis Rapporteur Q15 Motorola UK Research Labs.
Language Specification using Metamodelling Joachim Fischer Humboldt University Berlin LAB Workshop Geneva
The Language ITU-T Amardeo Sarma Co-Chairman, ITU-T Study Group 17.
Use of ITU-T languages in Nokia
International Telecommunication Union © ITU-T Study Group 17 Use of ITU-T Formal Languages Amardeo Sarma NEC Europe Ltd.
SDL+ The Simplest, Useful Enhanced SDL-Subset The documentation is the design, the design is the system! Copyright © SDL Task Force Consortium.
Integration of ASN.1 and XML Technologies
Tool support for Distributed Object Technology
Federal Student Aid Technical Architecture Initiatives Sandy England
© Tefko Saracevic, Rutgers University1 metadata considerations for digital libraries.
Systems Engineering Project: System Validation and Verification Using SDL Ron Henry ENSE 623 November 30, 2004.
Supplement 02CASE Tools1 Supplement 02 - Case Tools And Franchise Colleges By MANSHA NAWAZ.
End-to-End Design of Embedded Real-Time Systems Kang G. Shin Real-Time Computing Laboratory EECS Department The University of Michigan Ann Arbor, MI
IRIS Repair coding: Why and How. IRIS Coding and the Industry F In Europe, most Manufacturers, like Sony, are making use of Authorized Servicers to a.
Using UML Models for the Performance Analysis of Network Systems Nico de Wet and Pieter Kritzinger Department of Computer Science University of Cape Town.
International Telecommunication Union ITU-T Study Group 17, Moscow, 30 March – 8 April 2005 New Recommendations on ODP Arve Meisingset Rapporteur Q15.
02/06/05 “Investigating a Finite–State Machine Notation for Discrete–Event Systems” Nikolay Stoimenov.
Giandonato CAGGIANO ENISA MANAGEMENT BOARD REPRESENTATIVE LEGAL ADVISER ON EUROPEAN AFFAIRS OF THE MINISTRY OF COMMUNICATIONS U. OF ROMA TRE LAW FACULTY.
Modelling information systems
Workshop on Integrated Application of Formal Languages, Geneva J.Fischer Mappings, Use of MOF for Language Families Joachim Fischer Workshop on.
Distributed Access to Data Resources: Metadata Experiences from the NESSTAR Project Simon Musgrave Data Archive, University of Essex.
ITEC224 Database Programming
An Overview of MPEG-21 Cory McKay. Introduction Built on top of MPEG-4 and MPEG-7 standards Much more than just an audiovisual standard Meant to be a.
Assessing the Suitability of UML for Modeling Software Architectures Nenad Medvidovic Computer Science Department University of Southern California Los.
Possible elements of the technical standards Pre-sessional consultations on registries Bonn, 2-3 June 2002 Andrew Howard UNFCCC secretariat
International Telecommunication Union Geneva, 9(pm)-10 February 2009 Providing testability for ITU Recommendations Ostap Monkewich, OMCI ITU-T Workshop.
Interfacing Registry Systems December 2000.
What is Information Modelling (and why do we need it in NEII…)? Dominic Lowe, Bureau of Meteorology, 29 October 2013.
GSC-8022 SOURCE:TSACC TITLE:Formal Methods for Quality of Standards, Conformity Assessment and Security AGENDA ITEM:GTSC Formal Methods for Quality.
GS1 and UN/CEFACT Geneva 16 February 2012 Anders Grangård.
DOCUMENT #:GSC15-PLEN-51 FOR:Presentation SOURCE:ITU AGENDA ITEM:Plenary 6.10 Conformance and Interoperability Testing.
Technical Education Click here to move on Index H.323 Related Standards Lesson 4.
Study Group 7/17 ASN.1 ASN.1: Past uses, new developments, and future prospects in security and e-commerce applications John Larmouth
Geneva, Switzerland, April 2012 Introduction to session 7 - “Advancing e-health standards: Roles and responsibilities of stakeholders” ​ Marco Carugi.
Information Management, Standards and Data Quality Brian Green ePSIplus Analyst funded by eContentPlus.
1 International Telecommunication Union ITU CHALLENGES AND RESPONSES (Fabio Bigi – TSB Deputy Director) (
Specification and Description Language Lecture 5 SDL Department of Software Engineering.
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
Copyright SOLINET GmbH SDL & Requirements of Signalling Systems William H. Skelton SOLINET, Stuttgart.
DLMS XML Update Supply PRC May 18, 2007 Thomas Lyons.
Metadata : an overview XML and Educational Metadata, SBU, London, 10 July 2001 Pete Johnston UKOLN, University of Bath Bath, BA2 7AY UKOLN is supported.
An Introduction to Software Engineering (Chapter 1 from the textbook)
Gregor v. Bochmann, University of Ottawa Based on Powerpoint slides by Gunter Mussbacher(2009) with material from Amyot User Requirements Notation (URN)
Digital Libraries1 David Rashty. Digital Libraries2 “A library is an arsenal of liberty” Anonymous.
1 CS145 Lecture 26 What’s next?. 2 What software questions do we study? Where is software headed?
Metadata By N.Gopinath AP/CSE Metadata and it’s role in the lifecycle. The collection, maintenance, and deployment of metadata Metadata and tool integration.
August 2003 At A Glance The IRC is a platform independent, extensible, and adaptive framework that provides robust, interactive, and distributed control.
International Telecommunication Union © ITU-T Study Group 17 Integrated Application of SDL Amardeo Sarma NEC Europe Ltd.
Specification and Description Language Peyman Dodangeh March 2013 Sharif University of Technology In The Name Of God.
Jemerson Pedernal IT 2.1 FUNDAMENTALS OF DATABASE APPLICATIONS by PEDERNAL, JEMERSON G. [BS-Computer Science] Palawan State University Computer Network.
Slide no. 1  =====!"§!“!Nova§ ITU-T work on technical languages and general software issues Amardeo Sarma Chairman, ITU-T Study Group 10.
Eurostat Sharing data validation services Item 5.1 of the agenda.
Software test automation with UML2.0 TestingProfile & TTCN-3 Maili Markvardt.
Study Group 17 ASN.1 John Larmouth ITU-T and ISO/IEC ASN.1 Rapporteur
ERM/MTS STF proposal on formal Phy measurement framework Friedbert Berens Vice Chair ERM TGUWB Presentation to ERM, July 2010.
Requirements Specification
Herbert V. Bertine Lucent Technologies Amardeo Sarma NEC Europe Ltd.
An Overview of MPEG-21 Cory McKay.
TDL: The ETSI Test Description Language
Opening, purpose and summary of the framework
ITU-T Workshop 23 November 2002 on Use of Description Techniques
TDL: The ETSI Test Description Language
How to make better standards
KNOWLEDGE MANAGEMENT (KM) Session # 37
ITU-T Study Group 17 Security
Preliminary analysis of presentations
TDL: The ETSI Test Description Language
Language Co-ordination
Presentation transcript:

ITU-T SDOs Amardeo Sarma Co-Chairman, ITU-T Study Group 17

ITU-T Study Group 17 Goal of standardisations Create a common understanding for and define Create a common understanding for and define  Infrastructure  Products  Services  Protocols Enable Communication Enable Communication Enable interoperability and compatibility Enable interoperability and compatibility Ease the life of providers and users Ease the life of providers and users

ITU-T Study Group 17 Special Core Competencies at ITU-T Carrier class standards and specifications Carrier class standards and specifications Experts and drivers in Telecommunications Experts and drivers in Telecommunications Strong organisational and logistic support by the TSB Strong organisational and logistic support by the TSB Fast standards track Fast standards track  make even better standards faster Quality of standards play a key role

ITU-T Study Group 17 Writing standards Natural languages Natural languages Tables Tables Diagrams, e.g. sequence diagrams Diagrams, e.g. sequence diagrams State diagrams State diagrams Usually informal – meaning unclear

ITU-T Study Group 17 Improve standards clarity Natural languages and informal aids not enough Natural languages and informal aids not enough Use formalised techniques Use formalised techniques  Meaning (semantics) of used notation  Allow automatic checking  Machine-readable specifications – automatic implementation Since the 70s, ITU-T (then CCITT) has developed FDTs – formal description techniques Since the 70s, ITU-T (then CCITT) has developed FDTs – formal description techniques Today: ITU-T Language Family Today: ITU-T Language Family

ITU-T Study Group 17 What makes the family different? Real-time, distributed communicating systems Real-time, distributed communicating systems Formal, allowing verification and validation Formal, allowing verification and validation  Supports transparency and security requirements Many languages with a graphical syntax Many languages with a graphical syntax Commercial tool support Commercial tool support  Tool availability required for approval  Tools vendors directly involved in work Catering for users both in Industry and in Standards bodies (SDOs), e.g. ITU-T SG 11 Catering for users both in Industry and in Standards bodies (SDOs), e.g. ITU-T SG 11

ITU-T Study Group 17 The ITU-T language family SDL – Specification and Description Language SDL – Specification and Description Language MSC – Message Sequence Chart MSC – Message Sequence Chart eODL – extended Object Definition Language eODL – extended Object Definition Language ASN.1 – Abstract Syntax Notation One ASN.1 – Abstract Syntax Notation One TTCN – Tree and Tabular Combined Notation TTCN – Tree and Tabular Combined Notation CHILL – CCITT HIgh-Level Language CHILL – CCITT HIgh-Level Language URN – User Requirements Notation URN – User Requirements Notation Incorporating Time and Performance into the languages Incorporating Time and Performance into the languages

ITU-T Study Group 17 Language Usage Initially, languages were mainly aimed at standards and Recommendations Initially, languages were mainly aimed at standards and Recommendations For the core languages, industrial use has today far outgrown use in standards! For the core languages, industrial use has today far outgrown use in standards! There is considerable potential left for SDOs to: There is considerable potential left for SDOs to:  Improve quality of standards  Reduce time for standards development But: Use requires some investment But: Use requires some investment

ITU-T Study Group 17 Our Strategy at ITU-T SG 17 Keep the edge by concentrating on the differentiating factors and focusing on our strengths

ITU-T Study Group 17 What about UML? UML is generic, SDL/MSC/TTCN are specific UML is generic, SDL/MSC/TTCN are specific SDL and MSC experts key for UML 2.0 SDL and MSC experts key for UML 2.0 Tools for joint support available Tools for joint support available UML without SDL is like a car without an engine UML without SDL is like a car without an engine Co-operation with OMG in progress Co-operation with OMG in progress If you really want UML, you can use it without losing the benefits of SDL/MSC If you really want UML, you can use it without losing the benefits of SDL/MSC

ITU-T Study Group 17 What about XML? ASN.1 + XCN (XML Control Notation) ASN.1 + XCN (XML Control Notation)  as powerful and expressive as XSD (XML Schema Definition)  less verbose and much more readable. ASN.1 is a mature schema notation for XML. No schema mapping is needed ASN.1 is a mature schema notation for XML. No schema mapping is needed ASN.1/XER: efficient binary encodings with XML (+ XSL) display (or transfer if needed) ASN.1/XER: efficient binary encodings with XML (+ XSL) display (or transfer if needed) CXER èASN.1/XER as a canonical variant of XER for secured transactions CXER èASN.1/XER as a canonical variant of XER for secured transactions XER tools : XER tools :

ITU-T Study Group 17 ASN.1, MSC, SDL and TTCN support secure, hi-quality standards UML and XML are easy and popular You use the best of two worlds

ITU-T Study Group 17 What ITU-Languages do for you Provide a method supported by tools Provide a method supported by tools  Free ASN.1 tools  Free Telelogic reader Allow checking correctness on the fly Allow checking correctness on the fly  Is the behaviour is what you really intended? Improves the quality of the standard Improves the quality of the standard  Interoperability is greatly improved Once used properly, helps save time! Once used properly, helps save time!

ITU-T Study Group 17 Obstacles to Language Use Benefit unclear Benefit unclear  Check track record Formality reduces freedom Formality reduces freedom  Freedom only reduced for issues needed for interoperation, use correct dose of formality Quick and dirty is better Quick and dirty is better  Are you going to spend more time later fixing holes?

ITU-T Study Group 17 Obstacles to Language Use No expertise in group No expertise in group  Specialists should concentrate on their domain – get support for languages Missing support Missing support  ITU TSB should provide this!  Or ask SG17 – we could e.g. provide tutorials in SDL, ASN.1 etc.  In general: Expertise is available

ITU-T Study Group 17 Examples of successful use ASN.1 ASN.1  Intelligent network  GSM  UMTS (3G cellphones)  Voice over IP SDL SDL  IN CS-2 / CS-3  OSPF (IETF)

ITU-T Study Group 17 Remaining problems Viewing different levels of abstraction Viewing different levels of abstraction Simplify techniques – lost intuitiveness Simplify techniques – lost intuitiveness Bridge the gap to users without specialist knowledge of formal techniques Bridge the gap to users without specialist knowledge of formal techniques Enable bottom-up Enable bottom-up

ITU-T Study Group 17 Tool usage at ITU-T SDT is currently the standard tool at ITU and ETSI SDT is currently the standard tool at ITU and ETSI Recommendation authors send SDT files, which are checked by TSB staff Recommendation authors send SDT files, which are checked by TSB staff Formal descriptions are considered non-copyrighted Formal descriptions are considered non-copyrighted Common Interchange Format CIF is very important (e.g. for those using Cinderella)! Common Interchange Format CIF is very important (e.g. for those using Cinderella)! Availability of cheap or free lightweight tool for standards greatly helps promote SDL/MSC Availability of cheap or free lightweight tool for standards greatly helps promote SDL/MSC  The ITU-T CD-ROM, also available for you all, has been a step in this direction!

ITU-T Study Group 17 Professional support is needed! To further improve standards quality, SG17 reinforced the recommendation that TSB provide To further improve standards quality, SG17 reinforced the recommendation that TSB provide  expertise on a regular basis in the ITU-T languages and methodologies concerning the use of the languages  tools, supporting and facilitating the use of ITU- T languages We really need permanently available experts at ITU-T: We really need permanently available experts at ITU-T:  ETSI success story  Demand must come from users

ITU-T Study Group 17 Summary of possible actions Understand level of quality and need for formalised techniques Understand level of quality and need for formalised techniques Make tool support available Make tool support available Make professional support available Make professional support available Tools need improvement to cater for users developing standards Tools need improvement to cater for users developing standards Enable constant feedback from users in standards as from industry Enable constant feedback from users in standards as from industry Use the crisis – Start a case study with Q16/11? Use the crisis – Start a case study with Q16/11?

ITU-T SG17: ASN.1 Consortium: SDL Forum Society: http// Indian SDL and TTCN Forum: Plenty of information on the web