Evidence tier Source Confirmed · 4 captures on record
What the publisher says
As described on AWS Marketplace.
<section>
<p><strong>Ada on Ubuntu 24.04 LTS with Free Maintenance Support by bCloud</strong></p>
Show the rest of the publisher’s description (105 more lines)
<p>
Ada on Ubuntu 24.04 LTS, with maintenance support from bCloud, is a repackaged open-source offering available through the AWS Cloud Marketplace (additional charges may apply for support). Ada is a high-level, statically typed programming language designed for building reliable, safe, and maintainable systems, especially in mission-critical environments.
</p>
<p>
This AWS Marketplace AMI provides a pre-configured Ada development environment using GNAT on Ubuntu 24.04 LTS for deployment on AWS EC2, enabling developers to build robust, high-integrity applications with minimal setup.
</p>
<p><strong>Keywords of Ada</strong></p>
<ul>
<li>Ada on Ubuntu 24.04 LTS</li>
<li>AWS Marketplace AMI deployment</li>
<li>High-reliability programming language</li>
<li>Strong type checking and safety</li>
<li>Concurrent and real-time programming</li>
<li>GNAT Ada compiler support</li>
<li>Mission-critical system development</li>
<li>Embedded and aerospace applications</li>
<li>Modular and maintainable code design</li>
<li>Optional bCloud maintenance support</li>
</ul>
<p><strong>Core Technical Capabilities of Ada</strong></p>
<p><strong>High-Reliability Programming</strong></p>
<p>
Ada is designed for systems where reliability and correctness are essential.
</p>
<ul>
<li>strong type system and compile-time checks</li>
<li>reduced runtime errors</li>
<li>safe and predictable execution</li>
</ul>
<p><strong>Concurrency and Real-Time Support</strong></p>
<p>
Ada provides built-in features for concurrent and real-time programming.
</p>
<ul>
<li>task-based concurrency model</li>
<li>real-time scheduling support</li>
<li>safe parallel execution</li>
</ul>
<p><strong>Modularity and Maintainability</strong></p>
<p>
Ada supports structured and modular programming for large-scale applications.
</p>
<ul>
<li>packages and encapsulation</li>
<li>code reusability and maintainability</li>
<li>clear separation of concerns</li>
</ul>
<p><strong>Integration and Extensibility</strong></p>
<p>
Ada can integrate with modern systems and languages.
</p>
<ul>
<li>interoperability with C/C++</li>
<li>support for embedded systems</li>
<li>extensible architecture</li>
</ul>
<p><strong>Deployment and Scalability</strong></p>
<p>
Ada applications can be deployed in various environments including embedded and cloud systems.
</p>
<ul>
<li>cross-platform support</li>
<li>lightweight runtime for embedded systems</li>
<li>scalable system design</li>
</ul>
<p><strong>AWS Marketplace-Optimised Advantages</strong></p>
<p><strong>AMI-Based EC2 Deployment</strong></p>
<p>
AWS Marketplace AMI deployment provides:
</p>
<ul>
<li>Ada (GNAT) pre-installed on Ubuntu 24.04 LTS</li>
<li>ready-to-use development environment</li>
<li>reduced setup and configuration time</li>
</ul>
<p><strong>AWS Infrastructure Compatibility</strong></p>
<p>
Ada applications on EC2 can be managed using standard AWS tools:
</p>
<ul>
<li>VPC and Security Groups for secure access</li>
<li>EBS for scalable storage</li>
<li>integration with monitoring and logging tools</li>
</ul>
<p><strong>Procurement and Billing</strong></p>
<p>
AWS Marketplace supports:
</p>
<ul>
<li>centralised billing through AWS account</li>
<li>simplified procurement and deployment</li>
</ul>
<p><strong>Maintenance Support (bCloud)</strong></p>
<p>
Optional bCloud support may include:
</p>
<ul>
<li>updates and patch management</li>
<li>technical troubleshooting</li>
<li>deployment and operational assistance</li>
</ul>
<p>
Support beyond the open-source Ada environment may incur additional charges.
</p>
</section>
Highlights
Highlighted by the publisher on AWS Marketplace.
Ada on Ubuntu 24.04 LTS
High-reliability, safety-focused programming language
Pre-installed GNAT Ada compiler
Agent build and provenance
See the full provenance
The layer-by-layer build, the evidence behind each claim, the risk basis and the cross-marketplace links are open to any account. Some rows are disclosed, some the source leaves Unknown; a free account shows you which.
Compliance
- FedRAMPConfirmedNot listed90%, registry-checkedNo FedRAMP Marketplace entry matched this vendor's domain, checked 2026-08-27registry recordas observed 2026-08-27
Confirmed means matched to a public authoritative registry. Claimed means the vendor or its listing states it, not yet cross-checked. A framework not shown was not found in any source we hold, which is not evidence against it. Not listed means a scoped registry check found no match for this vendor's domain: a No is a scoped registry check, not a compliance judgment. Confidence bands: 95% domain-verified, 90% registry-checked, 80% self-attested, 70% weak signal. Self-attested items marked “vendor's site” are gathered from the vendor's own website and are not verified by us.
Vendor
External enrichment · as of 2026-08-29
Plans and pricing as listed
21 listed- Hrs
- Hrs
- Hrs
- Hrs
- Hrs
- Hrs
- Hrs
- Hrs
- Hrs
- Hrs
- Hrs
- Hrs
Refund terms
As stated by the publisher on AWS Marketplace.
No Refund
Sources
Linked repositories
Unknown means this listing does not publish a repository. It is not a statement that the code is closed, and a linked repository is not a claim that the publisher wrote it: the registry computes that relationship privately and does not publish it.
Evidence risk is the share of the build you cannot see before you deploy, not a security rating. Sign in to see the layer-by-layer basis for this band.

