“Formal Methods Specification and Analysis Guidebook for the Verification of Software and
Computer Systems, Volume II : A Practitioner’s Companion” [NASA-GB-001-97], 1997, 245
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
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
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
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
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
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
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
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