Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
AdaCore Development Log
Monday October 13, 2008
Gem #48: Extending Interfaces in Ada 2005
Ada Gem #48 — Ada 2005 introduced the notion of interfaces for designing object
classes. While interfaces are extremely convenient for implementing new hierarchies,
they can be difficult to extend once they’ve started to be used. The
addition of a new primitive can break all type derivations, as a
type has to implement all abstract primitives inherited from its parents.
In this Gem, we’ll see two ways to overcome this problem, one OOP-generic, and one specific to
Ada 2005.
Read the rest of this entry »
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Tuesday October 7, 2008
GPRbuild documentation added to Live Docs
The GPRbuild documentation has been added to Live Docs. GPRbuild is an advanced software tool designed to designed to automate the construction of multi-language systems using GNAT Project files. Live Docs provides an up to the minute snapshot of GNAT Pro technology. As new features and improvements are made to GNAT Pro these changes are immediately added to our product documentation and presented here in Live Docs.
Posted in Ada / Ada 2005, Development Log
Monday October 6, 2008
Gem #47: Safe and Secure Software : Chapter 9, Safe Communication
Gem #47 is the ninth chapter of John Barnes’ new booklet:
Safe and Secure Software: An Introduction to Ada 2005.
Over the coming months, we will be publishing all thirteen chapters of the booklet. In the attachment at the bottom of Gem #30 you can access the contents and bibliography for the entire booklet.
Read the rest of this entry »
 672.1Kb |
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Monday October 6, 2008
Tokeneer research project available for download
The development of highly secure, low defect software has been dramatically helped by the release of the Tokeneer research project to the open source community by the US National Security Agency (NSA). The project materials, including requirements, security target, specifications, designs, source code, and proofs are now available at www.adacore.com/tokeneer.”
The Tokeneer project was commissioned by the NSA from UK-based Praxis High Integrity Systems as a demonstrator of high-assurance software engineering. Developed using Praxis’ Correctness by Construction (CbyC) methodology it uses the SPARK Ada language and AdaCore’s GNAT Pro environment. The project has demonstrated how to meet or exceed Evaluation Assurance Level (EAL) 5 in the Common Criteria thus demonstrating a path towards the highest levels of security assurance.
Download Tokeneer »
Posted in Ada / Ada 2005, Development Log
Tuesday September 30, 2008
XML Ada Library documentation added to Live Docs
The XML Ada Library documentation has been added to Live Docs. The object-oriented XML/Ada library allows development of applications for parsing and processing XML streams, with a SAX implementation that that allows conversion of such streams into application-specific data representations. Live Docs provides an up to the minute snapshot of GNAT Pro technology. As new features and improvements are made to GNAT Pro these changes are immediately added to our product documentation and presented here in Live Docs.
More info on XML/Ada, please visit:
http://www.adacore.com/home/gnatpro/add-on_technologies/xml_ada
To view the Live Docs page, please visit:
http://www.adacore.com/category/developers-center/reference-library/documentation
Posted in Development Log, XML/Ada
Monday September 29, 2008
Gem #46: Incompatibilities between Ada 83 and Ada 95
Ada Gem #46 — Part 1, Unconstrained arrays in generics
Read the rest of this entry »
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Wednesday September 24, 2008
[PolyORB] Operation names conflict resolution rules
Additional name conflict resolution rules are now implemented for opeartion names that conflict with the primitive operations of Ada.Finalization. Controlled (of which CORBA.Object.Ref is a derived type) are now implemented in the PolyORB OMG IDL compiler, IAC. Operation names "Initialize", "Adjust" and "Finalize" are now prefixed with string "IDL_" in generated sources.
Posted in Development Log, PolyORB
Monday September 22, 2008
Gem #45: Safe and Secure Software : Chapter 8, Safe Startup
Gem #45 is the eighth chapter of John Barnes’ new booklet:
Safe and Secure Software: An Introduction to Ada 2005.
Over the coming months, we will be publishing all thirteen chapters of the booklet. In the attachment at the bottom of Gem #30 you can access the contents and bibliography for the entire booklet.
Read the rest of this entry »
|
657.8Kb |
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Friday September 19, 2008
[GNAT] More efficient overflow checking
Generation of overflow checks is now done later, resulting in more efficient code.
Posted in Development Log, GNAT Compilation System
Friday September 19, 2008
[GNAT] Improve warning about assumed lower bound
Some false positives have been eliminated for the warning about assuming lower bound values for parameters. In particular, a precondition that tests the lower bound will now eliminate this warning.
Posted in Development Log, GNAT Compilation System