Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
AdaCore Development Log
Tuesday May 13, 2008
Spring newsletter available
The latest edition of the GNAT Pro Insider newsletter has been published and is available for download at:
www.adacore.com/category/press-center/newsletters
This issue features:
Posted in Development Log, Ada / Ada 2005
Monday May 12, 2008
GNAT Pro 6.1 InSight webinar archive
The recently held GNAT Pro InSight webinar featuring GNAT Pro 6.1 is now available for viewing at:
www.adacore.com/home/gnatpro/webinars
Posted in Development Log, GNAT Compilation System
Monday May 12, 2008
Gem #35: bounded buffer package in GNAT hierarchy (Part 1)
Ada Gem #35 — Ada 95 introduced “protected types” as
a fundamental building block for efficient concurrent programming
and interrupt handling. In this Gem we examine the use of
protected types in the implementation of the classic asynchronous
bounded buffer abstraction provided by the GNAT hierarchy of library units. This
Gem assumes the reader is somewhat familiar with protected types
and will, therefore, explain some, but by no means all, of their
semantics.
Read the rest of this entry »
 1.3Kb |
Posted in Development Log, Ada / Ada 2005, Devt log - Gem of the Week
Monday May 5, 2008
Gem #34: Safe and Secure Software : Chapter 2, Safe Typing
This week’s gem is the second 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. We hope you will enjoy the read!
Read the rest of this entry »
 699.7Kb |
Posted in Development Log, Ada / Ada 2005, Devt log - Gem of the Week
Tuesday April 29, 2008
Designing Safe and Secure Systems
Ben Brosgol’s tutorial at SSTC 2008, entitled “Safety and Security: An Analysis of Certification Issues and Technologies for High-Integrity Software”.
Today’s interconnected critical systems must be both safe and secure; software developers and decision makers need to understand the operative certification standards and their implications on technology choice and system development. This presentation first summarizes the DO-178B avionics safety standard and the Common Criteria / Common Evaluation Methodology security standard. It identifies the requirements that these standards impose on programming language technology and development tools, and explains how safety and security considerations are similar and how they differ. It describes how modern programming language features such as Object-Oriented Programming affect safety and security certification, and assesses several current language family approaches — C / C++, Ada / SPARK, and Java — against safety and security requirements.
|
333.5Kb |
Posted in Development Log, Ada / Ada 2005
Monday April 28, 2008
Gem #33: Accessibility Checks (Part I: Ada95)
Ada Gem #33 — The existence of dangling references (pointers to objects that no longer
exist) in a program can have catastrophic results. Ada incorporates a
set of “accessibility rules” that help the programmer prevent dangling
references, making programs more secure.
Read the rest of this entry »
Posted in Development Log, Ada / Ada 2005, Devt log - Gem of the Week
Monday April 28, 2008
[GNAT] New gnatcheck rule for exceptions
A new rule (Separate_Numeric_Error_Handlers) is added to gnatcheck. This rule checks if the predefined Numeric_Error and Constraint_Error are always used together as exception choices of the same exception handler. This check is used to ensure that exception handling will behave the same in Ada 83 and in Ada 95 modes.
Posted in Development Log, GNAT Compilation System
Thursday April 24, 2008
[GNAT] gnatlink “–GCC=gcc -xxx”
When gnatlink is invoked with –GCC= with an executable that is the same as the default one (gcc or <prefix>-gcc) and additional options, the back end switches from the ALI file are also used to compile the binder generated sources.
Posted in Development Log, GNAT Compilation System
Thursday April 24, 2008
[GNAT] Wider access to GCC builtins from Ada
Raw access to most of the GCC builtin functions is now possible thanks to Intrinsic import pragmas, allowing for instance access to very low level information like the current call frame return address or inline expansion of common math routines.
Posted in Development Log, GNAT Compilation System
Wednesday April 23, 2008
[GNAT] New attribute Excluded_Source_List_File
A new attribute Excluded_Source_List_File is added to the Project Manager. Its value is a single string that designates a text file that contains the list of simple file names that should not be considered as sources of the project.
Posted in Development Log, GNAT Compilation System