The nonprofit American Institute of Aeronautics and Astronautics (AIAA) is the principal society and voice serving the aerospace profession. Its primary purpose is to advance the arts, sciences, and technology of aeronautics and astronautics, and to foster and promote the professionalism of those engaged in these pursuits.

 The ATA is the Air Transport Association of America. Founded by a group of 14 airlines meeting in Chicago in 1936, it was the first, and today remains, the only trade organization for the principal U.S. airlines. The purpose of the ATA is to support and assist its members by promoting the air transport industry and the safety, cost-effectiveness, and technological advancement of its operations ; advocating common industry positions before state and local governments ; conducting designated industrywide programs ; and assuring governmental and public understanding of all aspects of air transport.

 The Airlines Electronic Engineering Committee (AEEC) is an international body of airline representatives. AEEC sets the standards for avionics equipment used on the world’s commercial air transport aircraft. Over 5000 engineers and scientists representing nearly 500 organizations participate in the AEEC standards setting process. AEEC standards are coordinated with many airline organizations including the International Civil Aviation Organization (ICAO).

 The Aviation Safety Alliance is a 501(c)(6) advocacy organization dedicated to educating the media and the general public about aviation safety. The affiliated 501(c)(3) Aviation Safety Alliance Education Fund allows the Alliance to provide informative seminars and other programs.

 Welcome to Aviation Week’s AviationNow.com, the premiere online professional resource for people in the aviation and aerospace industry. AviationNow.com will change the global aviation and aerospace community and the way we communicate with real-time news, features and data resources, plus unique services and e-business utilities designed to help industry professionals become better connected in the worldwide aviation and aerospace marketplace.

 The Best Manufacturing Practices (BMP) program has changed American industry’s cultural bias by sharing information with other companies, including competitors. This unique, innovative, technology transfer program is committed to strengthening the U.S. industrial base. The main goal of BMP is to increase the quality, reliability, and maintainability of goods produced by American firms. The primary steps toward this goal are simple : identify best practices, document them, and then encourage industry, government, and academia to share information about them. The BMP program, sponsored by the Office of Naval Research, enables the U.S. defenseindustrial base to lower acquisition cost and improve product price, quality, and delivery.

 CALCE is a consortium of the world’s leading avionics, automotive, computer, semiconductor, and electronics manufacturers. It represents a successful international industry-government- academic partnership. The Consortium provides information and services that match industry needs and provides an organizational structure by which different sectors of the electronics industry supply chain can share information and influence practices and policies.

 The Canadian Aeronautics and Space Institute (CASI) is a nonprofit scientific and technical organization for aerospace professionals. CASI was created to advance the art, science, engineering, and application of aeronautics and space in Canada. Today, the Institute is a focal point for communications among members of the aeronautics and space community. CASI is also a strong voice for research and development, and supports science and engineering education in Canada.

 Commercial Operations and Support Savings Initiative (COSSI) is a joint program of the U.S. Army, U.S. Navy, and U.S. Air Force with oversight administration by the Office of Secretary of Defense. COSSI’s mission is to develop and test a method for reducing Department of Defense (DoD) Operations and Support (O&S) costs by routinely inserting commercial items into fielded military systems.

 The Critical IC Workshop and Roadmap (CRITICAL) addresses the synergistic needs of the various applications that use integrated circuits (IC) in applications with high consequences of failure.

 DMS NEWS and COTS REPORT is an electronics newsletter and information service with news, research, case studies, and comment for engineers, executives and all professionals in the aerospace, defense, transportation, computers, electronics, and telecommunications industries.

 Center for Advanced Computing and Communication, Duke University, Software Reliability and Performance.

 Electronic Design News (EDN). Welcome to the Archives of EDN magazine. Search by topic, technology, manufacturer or key word to find past articles of EDN.

 The EMPF was established by the U.S. Navy in 1984 in Ridgecrest, California, with a mandate to team with industry to develop, test, and analyze state-of-the-art electronics manufacturing processes and electronics production equipment. The goal of the EMPF and its partners in industry was, and is, to achieve consistent production of reliable products for the nation’s defense by promoting the use of efficient and cost-effective manufacturing processes and equipment.

 Search Electronic Products magazine. Search our online database by product category, manufacturer, or keyword for every product and feature run in the print version of the magazine.

 Embedded Systems Programming is a monthly magazine devoted to engineers, programmers, and project leaders who build microcontroller and embedded microprocessor-based systems.

 The FAA Center for Aviation Systems Reliability (FAA-CASR) has the following objectives : (1) To provide quantitative NDE techniques, procedures, and prototypes that assure the airworthiness and reliability of aviation systems and (2) to provide comprehensive education and training tools for the FAA, airlines, and manufacturers on aviation specific NDE technologies.

 SRI International Computer Science Laboratory Formal Methods and Dependable Systems

 Formal Methods Europe (FME) is a European organization supported by the Commission of the European Union (via ESSI of the ESPRIT programme), with the mission of promoting and supporting the industrial use of formal methods for computer systems development.

 forma WARE was a two-year collaborative industry/university research project. This project was funded to investigate potential applications of formal methods in the development of software-intensive, critical systems. The research scope of this project included requirements specification and validation ; requirements-based, system level testing ; software component engineering ; and system safety engineering.

 The Institute for Reliability and Risk Analysis (IRRA) was founded in 1981 to initiate basic and applied research aimed toward increasing the fundamental knowledge base and methodology in reliability, warranties, quality control, and risk analysis.

 The High Temperature Electronics Network (HITEN) is the world’s leading source of technical and strategic business information on high-temperature electronics and related technologies.

 The Avionics Working Group (AWG) was set up during the IECQ-CMC meeting in Houston, 1998 on October 15-16. Mission is to develop and maintain industry procedures for electronic component management in the avionics industry. Tasks : form the working group, identify documents needed for electronic component management, extended temperature range, and reliability assessment.

 The Institution of Electrical Engineers, Safety Critical Publications.

 The International Test and Evaluation Association (ITEA), is a not-for-profit educational organization founded in 1980 to further the exchange of technical information in the field of test and evaluation. Its members include professionals from industry, government, and academia who are involved in the development and application of policy and techniques used to assess the effectiveness, reliability, and safety of new and existing systems and products.

 Military & Aerospace Electronics : The Technology News Publication of Mil-Spec, High-Rel, Rugged, and COTS Design.

 The Reliability Analysis Center (RAC) is a DoD Information Analysis Center (IAC). RAC’s scope is the reliability, maintainability, quality, and supportability of microcircuits, semiconductors, electromechanical and mechanical parts, and equipment/systems employing these parts. IIT Research Institute (IITRI) has operated the RAC since its inception in 1968.

 Reliability Engineering Center at the University of Maryland.

 Forum on risks to the public in computers and related systems. ACM Committee on Computers and Public Policy.

 Radio Technical Commission for Aeronautics (RTCA), Inc. is a private, not-for-profit corporation that develops consensus-based recommendations regarding communications, navigation, surveillance, and air traffic management (CNS/ATM) system issues. RTCA functions as a federal advisory committee. Its recommendations are used by the Federal Aviation Administration (FAA) as the basis for policy, program, and regulatory decisions and by the private sector as the basis for development, investment, and other business decisions.

 JRC Dependable Software Applications : To be an impartial center of expertise in dependable systems that are safety, mission, security or environmentally critical, or whose failure could lead to large economic losses. Aims to accomplish this by providing support to European policy in the field of Information Society Dependability and by developing and transferring dependability technologies.

 Revolutionizing electronics reliability, failure analysis, defect detection, and vulnerability assessment is the mission of Sandia’s Electronics Quality/Reliability Center (EQRC). The EQRC’s award winning technical solutions not only meet the needs of Sandia’s critical missions, they are being used today by a broad base of leading commercial electronics manufacturers.

 The Software Engineering Institute (SEI) is a federally funded research and development center sponsored by the U.S. Department of Defense through the Office of the Under Secretary of Defense for Acquisition, Technology, and Logistics [OUSD (AT&L)]. The SEI contract was competitively awarded to Carnegie Mellon University in December 1984. The SEI mission is to provide leadership in advancing the state of the practice of software engineering to improve the quality of systems that depend on software.

 International SEMATECH is a unique endeavor of 13 semiconductor manufacturing companies from seven countries. Located in Austin, Texas, USA, the consortium strives to be the most effective, global consortium influencing semiconductor manufacturing technology.

 The Semiconductor Industry Association is the leading trade association representing the computer chip industry. The mission of the SIA is to provide leadership for U.S. chip manufacturers on the critical issues of trade, technology, environmental protection, and worker safety and health.

 STACK International is a group of multinational, independent electronic equipment manufacturers who share experience, “know how,” workload and co-operate in precompetitive areas with each other and their suppliers to reduce individual members’ cost and risk of component ownership.

  Bellcore is now Telcordia Technologies. Standards documents.

 Virtual Socket Interface Alliance (VSIA) was formed in September 1996 with the goal of establishing a unifying vision for the system-chip industry and the technical standards required to enable the most critical component of the vision ; the mix and match of Virtual Components (IP) from multiple sources. The VSIA vision is to dramatically accelerate system chip development by specifying open standards that facilitate the mix and match of Virtual Components from multiple sources.

 The Aircraft Certification Service is responsible for the safety of civil aircraft. The inherent safety of an aircraft is a function of its design integrity and its manufacturing quality. It is the mission of the Aircraft Certification Service to promote safety by : prescribing safety standards governing the design, production quality, and airworthiness of civil aeronautical products ; administering design, production quality, and finished product certification programs in compliance with the prescribed safety standards ; monitoring safety performance and acting to provide continued operational safety of aircraft.

 Aircraft Certification Service Software home page.

 The focus of the Commercial Off-The-Shelf (COTS) Parts/Technology Program is the infusion of commercial grade state-of-the-art parts into JPL hardware and systems. It is supported by the JPL Technical Infrastructure Program. The performance, reliability, and quality of COTS parts should meet the requirements of the mission they are used in.

 Title 14 Code of Federal Regulations (CFR), Chapters I and III, Federal Aviation Regulations

 Government Industry Data Exchange program (GIDEP) R&M Related Sites

 Henny Sipma. Research associate at the Computer Science Department at Stanford University. Works with Zohar Manna on the specification and verification of reactive systems. Research Interests : specification and verification of real-time and hybrid systems, visual formalisms for verification, combining model checking and deduction, application of verification methods to PLC’s (programmable logic controllers), and industrial safety systems (such as emergency shutdown systems in chemical plants and refineries).

 The JEDEC Solid State Technology Association (Once known as the Joint Electron Device Engineering Council) is the semiconductor engineering standardization body of the Electronic Industries Alliance (EIA), a trade association that represents all areas of the electronics industry.

 The EEE Parts Program at JPL is a technology evaluation and assessment program, where new and emerging microelectronics technologies are evaluated for space applications. The selection process of the specific topics for technology evaluation involves continuous interaction between the program personnel and the various NASA, industry, and other technology development leaders.

 The Jet Propulsion Laboratory Technical Report Server is a database of Abstracts, Citations, and full text Technical Reports written by and for the scientific and technical community.

 NASA Langley Formal Methods Team

 The NASA Technical Report Server is an experimental service that allows users to search the many different abstract and technical report servers maintained by various NASA centers and programs. Specifically, it is a unified interface to many separate WAIS servers. NTRS is both a superset of the of the various servers and a canonical listing of the servers.

 The Open Systems Joint Task Force (OS-JTF) was formed in September 1994 to : “Sponsor and accelerate the adoption of open systems in weapons systems and subsystems electronics to reduce life-cycle cost and facilitate effective weapon system intra-and interoperability.” OTHER LINK COLLECTIONS

 Welcome to the Electronics Resource Center, the WWW connection that links users and providers together at a single point of access for both technical and purchasing information.

 American Society for Quality, Reliability Division – Links

 SI2, Inc. is an international, not-for-profit consortium of CAD (computer-aided design) tool users, tool vendors, and research institutions. Since 1988, SI2’s mission is to provide industry- accepted standards and technology that enable interoperability of electronic design automation (EDA) applications and data for end-users and suppliers worldwide.

 PATS (Product and Technology Surveillance) is a shared knowledge-based Internet used to compile and distribute market survey and technology trending information and support COTS product selection decisions.

 Commercial item Military Market Research Information Center (CMMR)

 RAC related web sites.

 The NASA Glenn Research Center (GRC) Office of Safety and Assurance Technologies (OSAT) provides reliability, quality assurance, and system safety management and expertise to support the Glenn Research Center technical divisions, project offices, and contracted programs—Safety, Reliability, and Quality Resources.

 FormalWARE Publications and Presentations

 Pointers to information on Safety-Critical Systems

 Overcoming Barriers to the Use of Commercial Integrated Circuit Technology in Defense Systems, October 1996.

 Defense Manufacturing in 2010 and Beyond Meeting the Changing Needs of National Defense : Committee on Defense Manufacturing in 2010 and Beyond ; Board on Manufacturing and Engineering Design Commission on Engineering and Technical Systems ; National Research Council.

 Improving the Continued Airworthiness of Civil Aircraft—A Strategy for the FAA’s Aircraft Certification Service.

 NASA Formal Methods Guidebook, Vol. I, Release 2.0

 Papers from IPL on software testing.

 BasicDoc=MIL-STD-883 MIL-STD-883 Test Methods and Procedures for Microelectronics

 Workshop Presentations—Using ICs in Critical Applications Workshop and Roadmap

Many thanks for helping the GEQseC to update those references