Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add Ada devroom description to schedule page #260

Merged
merged 1 commit into from
Nov 17, 2024
Merged

Add Ada devroom description to schedule page #260

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 17 additions & 0 deletions content/schedule/devrooms/ada.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
<p>
The purpose of this devroom is to present, showcase and discuss the Ada programming language, its ecosystem, evolution and the projects that make use of it.
</p>
<h3>About Ada</h3>
<p>
Ada is a general-purpose programming language originally designed for embedded and mission-critical software engineering, although nowadays it also supports object orientation, contracts and formal verification. It is used extensively in air traffic control, rail transportation, aerospace, nuclear, financial services, medical devices, etc. It is also perfectly suited for open source development with a fully open compiler (part of GCC), a formal verification system and a knowledgeable and vibrant community.
</p>
<h3>Why Ada?</h3>
<p>
Awareness of safety and security issues in software systems is increasing. The NSA recently published <a href="https://www.nsa.gov/Press-Room/News-Highlights/Article/Article/3215760/nsa-releases-guidance-on-how-to-protect-against-software-memory-safety-issues/" target="_blank" rel="noopener noreferrer">a list of programming languages</a> that are recommended for the development of new software due to their memory safety and Ada was one of the list (one of the three compiled non-garbage collected languages!). In that context, it should be no surprise that NVIDIA <a href="https://blog.adacore.com/when-formal-verification-with-spark-is-the-strongest-link" target="_blank" rel="noopener noreferrer"> has started using Ada/SPARK</a> for their highest critical parts in their GPUs!
</p>
<p>
Multi-core platforms are now abundant and small, embedded devices are growing exponentially. These are some of the reasons that the Ada programming language and technology attracts more and more attention due to Ada’s support for programming by contract, performant and efficient code, high- and low-level abstractions and support for multi-core targets. The latest Ada language definition, <a href="http://www.ada-auth.org/arm.html" target="_blank" rel="noopener noreferrer"> Ada 2022</a>, was approved by ISO as an international standard two years ago. Work on implementing the new features is ongoing, such as improved support for fine-grained parallelism, which were introduced in the new standard. The Ada-related technology, <a href="https://docs.adacore.com/spark2014-docs/html/ug/index.html#" target="_blank" rel="noopener noreferrer">SPARK</a>, provides a complete solution for the safety and security aspects stated above while being fully open source, making it stand out from other formal verification tools, as Ada/SPARK code is compiled directly into ready-to-run programs, which can run on embedded systems.
</p>
<p>
More and more tools are available, many are open source, including for small and modern platforms. Interest in Ada keeps increasing, also in the open source community, from which many exciting projects have been started.
</p>