Software Community Involvement

AdaCore is committed to being an active member of the Ada and software development communities. Below are some of the associations and initiatives we’re involved with.

Standardization

ARG – Ada Rapporteur Group

The ISO/IEC JTC1/SC22/WG9 Ada Rapporteur Group (ARG) handles comments on the Ada standard (and related standards, such as ASIS) from the general public. These comments usually concern possible errors in the standard. The ARG is tasked with resolving the errors. To do so, it creates Ada Issues. Learn more about ARG…

ISO Ada Standardization Group

ISO (International Organization for Standardization) is the world’s largest developer and publisher of International Standards. Standards related to the Ada language are assigned to ISO/IEC JTC1 SC22/WG9. Completed standards are assigned labels such as the one for the Ada language itself, ISO/IEC 8652:1995. A completed document can be either an international standard (IS) or a technical report (TR). While under development, documents progress through a sequence of stages until they are finally approved. Learn more about ISO…

DO-178C Committee

Several AdaCore staff were involved in the DO-178C committee charged with developing the next generation certification process for flight software for the Federal Aviation Administration (FAA) and the European Aviation Safety Agency (EASA). Learn more about DO-178C…

Ada Organizations

SIGAda – Special Interest Group on Ada

SIGAda is the Special Interest Group on Ada, a part of ACM (Association for Computing Machinery). SIGAda is a powerful resource for the software community’s ongoing understanding of the scientific, technical and organizational aspects of the Ada language’s use, standardization, environments and implementations. Learn more about SIGAda…

Ada Europe

Ada-Europe is an international organization, set up to promote the use of Ada. It aims to spread the use and the knowledge of Ada and to promote its introduction into academic and research establishments. Above all, Ada-Europe intends to represent European interests in Ada and Ada-related matters.Learn more about Ada Europe…

Local Ada Chapters in Europe

AdaCore is involved with several of the local European Ada organizations.

Business

ARA – Ada Resource Association

Since 1990 the Ada Resource Association principle mission continues to be “To ensure continued success of Ada users and promote Ada use in the software industry. Their efforts cover three areas of responsibility:

  • Provide consistent, high-quality, Ada-related information to the public
  • Ensure continuation of the Ada validation process
  • Ensure that Ada continues to be the highest quality programming language

Learn more about ARA…

System@tic Paris-Region (ICT CLUSTER)

SYSTEM@TIC PARIS-REGION brings together 480 key players in Paris area. Each of them working in the field of software-dominant systems with a strong social dimension. The goal of SYSTEM@TIC PARIS-REGION is to develop the regional economy, boost the competitiveness of local companies and support employment growth by leveraging innovation, training and partnership opportunities.

Learn more about System@tic Paris…

FLOSS

The Open-DO Initiative

Open-DO is an innovative Open Source initiative with the following goals:

  • Address the “big-freeze” problem of safety-critical software
  • Ensure wide and long-term availability of qualified open-source tools and certifiable components for the main aspects of safety-critical software development
  • Decrease the barrier of entry for the development of safety-critical software
  • Encourage research in the area of safety-critical software development
  • Increase the availability of educational material for the development of safety-critical software in particular for academics and their students
  • Foster cross-fertilization between open-source and safety-critical software communities

Learn more about Open-DO…

FSF – Free Software Foundation

The Free Software Foundation (FSF) is a nonprofit with a worldwide mission to promote computer user freedom and to defend the rights of all free software users. Learn more about the FSF…

Eclipse Foundation

Eclipse is an open source community, whose projects are focused on building an open development platform comprised of extensible frameworks, tools and runtimes for building, deploying and managing software across the lifecycle. Learn more about the Eclipse Foundations…

April

Founded in 1996, April is the main French advocacy association devoted to promote and protect Free/Libre Software. With its 5498 members (5022 individuals, 476 businesses, associations and organizations), April is a pioneer of Free Software in France. Since 1996, it is a major player in the democratization and the spread of free software and open standards to the general public, professionals and institutions in the French-speaking world. It also acts as a watchdog on digital freedoms, warning the public about the dangers of private interests keeping an exclusive stranglehold on information and knowledge.Learn more about April…

GCC – GNU Compiler Collection

GCC development is a part of the GNU Project, aiming to improve the compiler used in the GNU system including the GNU/Linux variant. The GCC development effort uses an open development environment and supports many other platforms in order to foster a world-class optimizing compiler, to attract a larger team of developers, to ensure that GCC and the GNU system work on multiple architectures and diverse environments, and to more thoroughly test and extend the features of GCC. Learn more about GCC…

GDB – The GNU Project Debugger

The GDB steering committee has been appointed by the FSF as the official GNU maintainer for GDB. It is in charge of GDB maintenance, but in practice delegates much of the work to various GDB developers who work according to procedures that the committee has established.Learn more about GDB…