The popular strongSwan open source IPsec VPN project now makes use of Ada.
The latest strongSwan release 5.0.3 [1] contains support for the Trusted Key Manager (TKM), which is a separate process providing security critical operations of the IKEv2 protocol. The TKM has been implemented from scratch in Ada, using some of the new Ada 2012 contract features for added confidence of meeting the specification.
There recently have been some questions about how often the pages here are updated. We try to verify the information on the pages at least twice per year, and of course we add information as it becomes available. For instance, today we added a couple of free libraries (OpenGLAda and Yami4) that we had previously unintentionally left out. If you find any stale information on our site, please use the contact page to tell us about it.
This edition of the Rationale combines the first six chapters of the Rationale into a single document, fixes a number of errors, adds an index, and adds discussion of various details of Ada 2012 that were changed since the original publication of these chapters in the Ada User Journal. Newly added material includes discussions of new features related to iterators and storage pools. We expect that additional chapters will be added to this edition roughly every three months.
The Rationale for Ada 2012 provides an overview of new Ada 2012 features, examples of their use, compatibility with Ada 95 and 2005, and more. It was written by John Barnes, and was sponsored in part by the Ada Resource Association. This is an unofficial description of the language; refer to the Ada 2012 standard for detailed language rules.
Ada keeps appearing in unusual places. Recently, we heard about a model that projects social care spending in Wales for the next 20 years. Large parts of the project were done in Ada. See Welsh Social Care Model for more details.
This has been available for a while, but I don’t think we ever featured it here. CBSG is an Ada program that creates pages of the best (random and usually meaningless) corporate-speak available. It can be accessed on-line at CBSG and the source code is available.
Now that GNAT GPL 2012 implementing full Ada 2012 is out, reference
counted access types use the new aspect Implicit_Dereference, which greatly
simplifies the syntax. (The previous Ada 2005 implementation is also
availible.)
This package provides a completely safe implementation in that it prevents
deallocation by the user; deallocation is under sole control of the
implementation. (It’s however not task-safe.)
Full documentation and test programs show how to use the package.
This edition of the Rationale combines the first three chapters of the
Rationale into a single document, fixes a number of errors, adds an index,
and adds discussion of various details of Ada 2012 that were changed since
the original publication of these chapters in the Ada User Journal. We
expect that additional chapters will be added to this edition about every
three months.
The Rationale for Ada 2012 provides an overview of new Ada 2012 features,
examples of their use, compatibility with Ada 95 and 2005, and more. It was
written by John Barnes, and was sponsored in part by the Ada Resource
Association. This is an unofficial description of the language; refer to the
proposed Ada 2012 standard for detailed language rules.
The AWA (Ada Web Application) project is a framework to build a web application.
– AWA uses Ada Server Faces for the web framework. This framework is using several patterns from the Java world such as Java Server Faces and Java Servlets.
– AWA provides a set of ready to use and extendable modules that are common to many web application. This includes managing the login, authentication, users, permissions.
– AWA uses an Object Relational Mapping that helps in writing Ada applications on top of MySQL or SQLite databases. The ADO framework allows to map database objects into Ada records and access them easily.
– To avoid the blank page syndrome, an application generator is provided to quickly create a new project, add a new database model or add a presentation page.
“Assuring Software Reliability While Using Web Services and Commercial Products” is presented by Jeff O’Leary from the Federal Aviation Administration. Part of a series of talks that took place at the Ada Connection Conference 2011 in Edinburgh, Scotland.
(more…)
“Debugging Mechatronic Applications Written in Ada” is presented by Wiljan Derks from NXP. Part of a series of talks that took place at the Ada Connection Conference 2011 in Edinburgh, Scotland.
(more…)
