“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, 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
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
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
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
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
Improving the Continued Airworthiness of Civil Aircraft—A Strategy for the FAA’s Aircraft
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