Ada Standardization: Status and Issues
Total Page:16
File Type:pdf, Size:1020Kb
Prepared for the: SIGAda Conference, 14 November 2000 AdaAda Standardization:Standardization: StatusStatus andand IssuesIssues The views and opinions James W. Moore expressed in this presentation The MITRE Corporation are those of the author and do not represent MITRE or the Department of Defense. SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 1 ScopeScope ofof PresentationPresentation ◆ Standardization ◆ Who makes standards? ◆ How are they made? ◆ Ada Standards ◆ Status ◆ Plans SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 2 WhoWho MakesMakes Standards?Standards? ◆ De jure standards are formal standards made by organizations authorized, in some way, to make them. Examples include ISO and IEEE standards. ◆ De facto standards (more properly called specifications) are those recognized by the marketplace as important. Examples include OMG CORBA, Windows API. SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 3 DevelopersDevelopers ofof InternationalInternational StandardsStandards ISO IEC ITU ... TC176 JTC1 TC56 SC65A Quality Information Technology Dependability Functional Safety ... SC7 SC22 Software & Systems Languages, OS Engineering SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 4 HowHow thethe USUS isis RepresentedRepresented inin JTC1,JTC1, SC22SC22 andand WG9WG9 JTC1 TAG: Members are US TAG domiciled Administrator JTC1 organizations A * CT22: TAG N Members are reps Administrator SC22 of WG TAGs S I WG9 TAG: Members are US TAG domiciled Administrator WG9 organizations * Caution: This is a unique arrangement. SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 5 DevelopersDevelopers ofof USUS StandardsStandards ANSI NCITS AIAA ANS ASTM EIA IEEE PMI INCOSE About 550 organizations in the U. S. make standards. About half of them are accredited by ANSI, allowing them to participate in international standardization activity. SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 6 ThreeThree WaysWays toto MakeMake aa USUS StandardStandard ◆ Accredited Standards Organization: An organization that does many things including making standards, e.g. IEEE. ◆ Accredited Standards Committee: An organization created purely for the purpose of making standards, e.g. X3. ◆ The Canvass method SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 7 WhatWhat SortSort ofof StandardStandard isis AdaAda?? ◆ Ada is an international standard, approved by JTC1: ◆ Originally in 1987 ◆ Revision in 1995 ◆ Ada is an ANSI standard, developed via the Canvass method ◆ Originally in 1983 ◆ Revision in 1995 SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 8 InternationalInternational StandardsStandards ◆ The International Organization for Standardization (ISO is not an acronym) teamed with International Electrotechnical Commission (IEC) in 1986 to set up a Joint Committee (JTC1) with the scope of Information Technology SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 9 JTC1:JTC1: MembershipMembership ◆ “National Bodies”: Each country is represented by their statutory national standards organization. (Exception: The US is represented by ANSI.) ◆ P-Members (Participating Members) each have one vote. ◆ O-Members (Observing Members) are provided with all information. SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 10 JTC1:JTC1: StructureStructure Technical Direction Subcommittees Cultural and Linguistic SC22/WG20 - Internationalization Adaptability and User SC35 - User Interfaces Interfaces SC02 - Coded Character Sets Data Capture and SC31 - Automatic Identification and Data Capture Techniques Identification Systems SC17 - Cards and Personal Identification Data Management Services SC32 - Data Management and Interchange Document Description SC34 - Document Description and Processing Languages Languages Information Interchange SC11 - Flexible Magnetic Media for Digital Data Interchange Media SC23 - Optical Disk Cartridges for Information Interchange Multimedia and SC29 - Coding of Audio, Picture, and Multimedia and Hypermedia Information Representation SC24 - Computer Graphics and Image Processing Networking and SC25 - Interconnection of Information Technology Equipment Interconnects SC06 - Telecommunications and Information Exchange between Systems Office Equipment SC28 - Office Equipment Programming Languages SC22 - Programming Languages, their Environments and Systems Software and System Interfaces Interfaces Security SC27 - IT Security Techniques Software Engineering SC07 - Software Engineering TBD SC36 - Learning Technology SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 11 SC22:SC22: ProgrammingProgramming Languages,Languages, Environments,Environments, SystemSystem SWSW InterfacesInterfaces ◆ Programming Languages ◆ Environments ◆ WG3, APL ◆ System Software Interfaces ◆ WG4, COBOL ◆ WG15, POSIX ◆ Other ◆ WG5, Fortran ◆ WG11, Binding Techniques ◆ WG9, Ada ◆ WG19, Formal Specification ◆ WG13, Modula-2 Languages ◆ WG20, Internationalization ◆ WG14, C ◆ Lingering responsibility for ◆ WG16, ISLisp Pascal, Algol, PL/I, Basic, ◆ WG17, Prolog FIMS, PCTE, CHILL, MUMPS, Extended BNF, Forth ◆ WG21, C++ SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 12 WG9:WG9: AdaAda ProgrammingProgramming LanguageLanguage ◆ Active Member Bodies: Canada, Germany, Japan, Switzerland, UK, USA ◆ Rapporteur Groups ◆ Ada: Language maintenance ◆ Annex H: High integrity systems ◆ ASIS: Library interfaces SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 13 InternationalInternational StandardsStandards andand TechnicalTechnical ReportsReports ◆ International Standard (sometimes called IS): A normative document ◆ Technical Report (often called TR): Any document that is not normative: ◆ Type 1: A document that failed to achieve consensus ◆ Type 2: A document on which work continues ◆ Type 3: Material not suitable for standardization, e.g. a reference model SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 14 HowHow areare InternationalInternational StandardsStandards Made?Made? WG SC JTC1 ISO Central Secretariat PNWI NP 3 mo 4 mo 2 mo ? CD FCD WD CDR CD FCD FDIS IS Review, Comment and Drafting Approval Publication Ballot by National Bodies SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 15 ISO/IECISO/IEC 18009:18009: AA JTC1JTC1 StandardStandard inin OneOne YearYear WG9 PNWI WG9 WD Prep Edit SC22 CD Registration SC22 CD/FCD Ballot JTC1 NP Ballot FDIS Ballot ISO Central Secretariat Edit Pub Concept JTC1 approves NP JTC1 WDWG9 approves WG9 submits FDIS FDIS approves JTC1 publishes ISO SC22 endorses NP SC22 endorses SC22 approves CDR, FCDSC22 CDR, approves uSC22 mtg uWG9 mtg 98 98 98 99 99 99 99 06 09 12 03 06 09 12 12 months - Concept to Final Text 12 months - NP approval to Publication SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 16 LanguageLanguage StandardsStandards ◆ ISO/IEC 8652:1995, IT--Programming Languages--Ada The Ada Language Reference Manual ◆ Technical Corrigendum to ISO/IEC 8652 Formal disposition of many of the “Ada Issues” ◆ ISO/IEC 18009:1999, Conformity Assessment of an Ada Language Processor The replacement for “compiler validation”. SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 17 PlansPlans forfor LanguageLanguage ◆ Technical Corrigendum 1 will be approved this year by SC22. ◆ Another CORR is planned circa 2003. ◆ Language revision will be considered circa 2005. SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 18 NumericsNumerics StandardsStandards ◆ ISO/13813:1998, IT--Programming Languages--Generic Packages of Real and Complex Type Declarations and Basic Operations for Ada (including Vector and Matrix Types) ◆ ISO/13814:1998, IT--Programming Languages--Generic Package of Complex Elementary Functions for Ada SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 19 IntegrityIntegrity StandardsStandards ◆ ISO/IEC TR 15942:2000, Guidance for the Use of Ada in High Integrity Systems ◆ Refers to 15 standards from other areas of ISO, IEC, JTC1 and other bodies, including: ◆ IEC 880, Software for computers in the safety systems of nuclear power stations ◆ IEC 61508, Functional safety: Safety-related systems ◆ ISO/IEC 15026, System and software integrity levels ◆ ISO/IEC 15408, Evaluation criteria for information technology security SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 20 ASISASIS StandardsStandards ◆ ISO/IEC TR 15291:1999, IT--Programming Languages--Ada Semantic Interface Specification (ASIS) SIGAda2000 © 2000, The MITRE Corporation. Permission is granted to reproduce without modification. James W. Moore - 21.