- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
(March 22, 2011 2pm EDT) Wind River, Ada Core and Verocel will show the webcast audience how use of COTS technology and best practices in software certification can improve time to market and reduce risk for safety-critical software developers.
AdaCore will introduce tools and techniques for easing the development and certification costs for applications to be deployed within an IMA architecture. Options for certification approaches will be discussed along with methods for automating these approaches. Full software development environments will be discussed with tight integration of tools and toolsets when they are applicable to the development or safety certification effort for a particular safety standard.Register for this Webinar »
AdaCore Internal Seminar - March 22, 2011
ARTiMon - verification of temp-logic properties over flow of events. ARTiMon is a tool which analyzes on-the-fly a flow of dated observations in order to detect hazards expressed in its formal entry language (a temporized logic). A flow may stem from the instrumentation of a natural object, from the simulation of a model, the execution of a code or a system.
ARTiMon can then be used in the design process of complex systems, for model validation, system testing or as an embedded controller. ARTiMon works in variable-step or in fixed-step mode and has no limitation about the length of flow. This is the only tool gathering all those features.
Presenter: Nicolas Rapin - CEA/list researcher.
AdaCore, from time to time, organizes seminars in the Paris offices. If you are interested in a particular talk, please send email to firstname.lastname@example.org.
AdaCore, from time to time, organizes seminars in the Paris offices. These talks cover a wide range of technical topics presented by guest speakers and usually last around 2 hours. If you are interested in a particular talk, please contact email@example.com.
An introduction to the Coq formal proof management system and its use in Mancoosi – Jaap Boender – UPMC.
CompCert, formal verification of realistic compilers for critical software – Xavier Leroy – INRIA
Daniel Bigelow (independent consultant - www.bigelow.ch) has prepared 2 tutorials on using the Ada-Java Interfacing Suite. AJIS provides tools and libraries to enable the development of applications, where both Ada and Java are the programming languages.
Part 1: Ada-Java Interfacing Suite 1 of 2
Part 2: Ada-Java Interfacing Suite 2 of 2
Daniel Bigelow (independent consultant - www.bigelow.ch) has prepared a number of tutorials on the Ada unit testing framework (to view these, please click on the links).
Part 1: Framework Overview
Part 2: Simple Test-Case Class Tutorial
Part 3: Standard Test-Case Tutorial
Part 4: Fixture Test-Case Tutorial
Part 5: Liskov Substitution Principle: 1 of 2
Part 5: Liskov Substitution Principle: 2 of 2
Part 6: Testing a class hierarchy using the Standard Test-Case: 1 of 2
Part 6: Testing a class hierarchy using the Standard Test-Case: 2 of 2
Part 7: Testing Generic Units: 1 of 2
Part 7: Testing Generic Units: 2 of 2
Tuesday, March 9, 5:00pm CET / 11:00 am EST / 8:00 am PST
CodePeer - Source Code Analysis Tool
Recently launched, CodePeer is a source code analyzer that detects run-time and logic errors in Ada programs. Serving as an efficient and accurate code reviewer - in effect an expert assistant. CodePeer identifies constructs that are likely to lead to run-time errors such as buffer overflows, and it flags legal but suspect code typical of logic errors. Going well beyond the capabilities of typical static analysis tools, CodePeer also produces a detailed analysis of each subprogram, including pre- and postconditions.
This webinar will describe and demo some of the features of CodePeer and allow you to ask questions directly to the designers of the tool. To register, please visit:
A Qualifying Machine (QM) is an agile and lean infrastructure to ease DO-178 tool qualification. The main goal of a QM is to ease the manipulation of all artifacts within the whole application life cycle and to track the activities performed by the development team.
Within Open-DO, we released an instantiation of the QM concept for GNATcheck, a coding standard checking tool qualifiable for DO-178. The infrastructure and qualification material (including the Tool Qualification Plan and the testing framework) are freely available as open source in the Open-DO forge. With this initiative, we intend to promote open collaborations in the high-assurance domain and to show how to deploy a lean and agile qualification process.
You can get more information on the Open-DO Qualifying Machine and download its instantiation for GNATcheck here.
AdaCore is pleased to announce the immediate availability of GPRbuild 1.4.0 containing many improvements:
- Enforcement of the use of a Standalone Library through its interface;
- Ability to detect when the spec & body of the same unit are in different projects;
- Completion of the recent work on option --no-indirect-imports that provides better encapsulation and organization of large multi-subsystem applications;
- Support for recent configurations (e.g. Apple Snow leopard, LynxOS 5, ELinOS);
- Major reduction of the # of necessary system calls significantly improving performances for big projects, especially when remote disks are used.
GNATcoll documentation added to Live Docs
The GNAT Components Collection (GNATcoll) documentation has been added to Live Docs. The GNAT Components Collection is a suite of reusable software components and utilities originating from the AdaCore infrastructure. 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.
Thanks to French public funds, the next generation of Free Software code coverage tools is on its way. “Project Coverage” will produce a Free Software coverage analysis toolset together with the ability to generate artifacts that allow the tools to be used for safety-critical software projects undergoing a DO-178B software audit process for all levels of criticality.
While an important target use of the coverage toolset is safety-critical embedded applications, the design of the tools allows its use in non safety-critical projects.
Beyond the production of useful tools and certification material for industrial users, an important goal is to raise awareness and interest about safety-critical and certification issues in the Free Software/Open Source community.
The key insight of “Project Coverage” is as follows: code coverage can greatly benefit from recent advances in hardware virtualization technology as promoted, for instance, by QEMU.The attached slides give a presentation of the technical scope of the project.
The GNATbench 2.1 webinar will take place June June 17, 2008.
8:00 am Pacific Daylight Time
11:00 am Eastern Daylight Time
5:00 pm Europe Daylight Time
AdaCore has recently introduced GNATbench 2.1.0. This release introduces many new features including project management and presentation enhancements, language-sensitive editor enhancements, additional wizards, builder enhancements, and source code navigation enhancements. This webinar will describe and demo some of the new features introduced in 2.1.0. As always, we will allow a question and answer session at the end enabling you to talk directly with the designers of GNATbench.
This webinar will appeal to Ada developers that are using, or are interested in using, GNAT Pro and the Eclipse development environment in their projects. For more information on GNATbench please visit the GNATbench product page or contact firstname.lastname@example.org.
To register for the event, please visit: www.adacore.com/home/gnatpro/webinars
Tuesday, May 6, 2008: 8:00 am PST / 11:00 am EST / 17:00 CET
The latest version of the GNAT Pro Ada toolset sees over 150 enhancements to the technology including:
- Additional GNAT Pro platforms incorporating the gcc 4.1 code generator (this code generator will now be included on most platforms)
- Upgrade of the debugging engine, based on gdb 6.6
- Improvement in robustness and efficiency for Ada 2005 features
- Better real-time support on win32 platforms
- Thread-safe profiling with gprof, on several platforms
- Increased coverage analysis support for Ada in the gcov tool
- New warnings to help programmers detect errors earlier
- GNAT Pro companion tools such as gnatcheck, gnatpp and gnatmetric are being enhanced to support a wider variety of coding styles and coding standards.
The next webinar in the GNAT Pro InSight series will describe and demo some of the new features introduced in 6.1. As always, we will allow a question and answer session at the end enabling you to talk directly with the designers of GNAT Pro.Greg Gicca and Cyrille Comar will present this webinar and answer your questions. To register for this webinar, please click here.
- Additional GNAT Pro platforms incorporating the gcc 4.1 code generator (this code generator will now be included on most platforms)
GNAT Pro for OpenVMS on HP Integrity servers training webinar - Nov 20, 2007.
AdaCore’s GNAT Pro for HP OpenVMS I64 is a full-featured Ada development environment offering a natural migration path for Ada applications from other platforms. It includes a compiler that can handle all three versions of the Ada standard — Ada 83, Ada 95, and Ada 2005 — and provides a rich set of auxiliary tools and an extensive set of libraries. Ada-aware debugging is provided through HP’s OpenDebug.
In this half-hour webinar AdaCore, with HP’s participation, will describe the features and benefits of the GNAT Pro Ada development environment on HP OpenVMS I64 and answer questions from the audience. A particular focus will be on how to port Ada code from HP Ada on VAX and Alpha servers to GNAT Pro on OpenVMS I64. GNAT Pro supplies an extensive set of pragmas and attributes that are compatible with HP Ada, and for most Ada code the porting process should be reasonably straightforward. For those situations where the program makes architectural assumptions that do not apply to I64 (for example 32- bit addresses) the webinar will identify the issues and offer effective solutions.
To register, please click here.
The next in the GNAT Pro InSight series of webinars will feature GNATbench for Workbench. This will take place on Tuesday, October 30, 2007:
9:00 am Pacific Daylight Time (GMT -07:00) 12:00 pm Eastern Daylight Time (GMT -04:00) 5:00 pm Europe Standard Time (GMT +01:00)
For more information and to enroll, please visit http://www.adacore.com/home/gnatpro/webinars
The new look Ada Intern Program is now up and running, providing a unique framework for AdaCore customers to source Ada-knowledgeable students from around the world for internship positions.
Customers can post internship offers and view applicants' profiles via their GNAT Tracker account.
Click here (http://www.adacore.com/home/academia/intern) for more information.
As part of the 6.0.2 release, AdaCore is pleased to announce that support for the Windows OS has been extended to the new Windows Vista platform. GNAT Pro now supports all Windows platforms from Windows 2000 through to Vista.
In the near future AdaCore will announce support for Microsoft .NET bringing a commercial Ada development environment to this platform for the first time. The port will include support for Microsoft Visual Studio .NET 2005.
A press release providing more details on these ports will be issued in the coming months.
Introducing the GNAT Pro InSight webinar series. AdaCore is launching a series of informative webinars dedicated to tools that make up the GNAT Pro development environment. 30 minutes long, each webinar will consist of a presentation, a demo, and a question and answer session conducted by an AdaCore technical expert.
The first technology in the series is GNATbench, the GNAT Pro Ada plug-in for Eclipse that supports both native (standard) Eclipse and Wind River's Eclipse-based Workbench software development environment. The webinar will take place on Tuesday, June 5, 2007.For more information, please click here.
Developer’s Center in GNAT Tracker
The Developer's Center has now been integrated into GNAT Tracker 2 allowing customers to easily keep up to date with enhancements to the GNAT Pro technology, new technical papers, code samples, and documentation.
New features for multi-language tool
AdaCore’s multi-language program build tool, gprmake, has been updated to provide a number of important enhancements. These include:
- support for Ada, C and C++ by default
- support for multi-language libraries
- support for new languages and/or toolchains through configuration files
- independence from a specific GNAT Pro version (that is, the same gprmake will work with different GNAT Pro releases)
A beta program for the new gprmake will be initiated later in 2007 and will be open to all AdaCore customers.
GNAT Pro Insider Nov 2006 issue available
The November 2006 issue of the GNAT Pro Insider newsletter is available for download. Contents:
- GNAT Pro and Ada 2005 Coming to .NET
- GNATstack Tool Available
- New GCC Technology
- What’s Coming in GNAT Pro 6.0.1
- New Version of gprmake
- New Version of GNAT Tracker
- Spotlighting a GAP Member
- AdaCore at Conferences
- Interview with Bob Duff
- Public Courses at AdaCore New York
- New Target Platforms for GNAT Pro
- More Ada 2005 Features Available in GNAT Pro
We are in the process of transitioning the GNAT Pro technology to a new compiler back-end based on GCC 4.1 which we expect to bring significant performance improvements to user applications. Our goal is to have several of our supported configurations on this back-end for the next major GNAT Pro release scheduled early 2007. We have been able to make significant progress in the areas of general stability and in the support for numerous platforms thanks to invaluable input provided by our customers. This latest beta version includes support for most of the new Ada 2005 features and is our most advanced Ada 2005 technology.
Please do not hesitate to contact us if you have any questions concerning this program.
In 2007 AdaCore will be moving to a new numbering scheme for product releases. Instead of two-part version numbers such as 3.15a or 5.04a1, we will be using the more common convention of three numbers separated by dots. The first number, as at present, will identify a major release and will thus indicate the introduction of significant new functionality. The second number will correspond to the digits after the dot in the current scheme. And the third number will replace the suffix (such as "a" or "a1") used at present. "0" as the third number will be used for a beta version, "1" for an initial release, and higher numbers for subsequent releases.
In order to acknowledge the full support for the new Ada 2005 features, the GNAT Pro major version number is moving to the 6 series. More specifically, the version scheduled for Q1 2007 will be 6.0.1, and the follow-up release scheduled for later in the year will be 6.0.2. The planned releases in 2008, incorporating enhancements to be made during 2007, will then be 6.1.1 and 6.1.2.
Customers can find more information in the "Our support policy" on GNAT Tracker.
AdaCore Quality Process
The Nov 2006 online issue of CrossTalk sees an interesting article on AdaCore's quality assurance processes and tools:
"A software product is rarely a static artifact resulting from a one-time effort; it needs to evolve via periodic updates, to correct defects or meet new requirements, and it may need to be ported to multiple machines and/or operating systems. The development team might be distributed geographically, requiring careful coordination. A software producer must have well-defined processes for dealing with these issues, to ensure that its products successfully meet users’ needs."The full article is available here.
GNATstack - software analysis tool
AdaCore today launched GNATstack, a software analysis tool that enables software development teams to accurately predict the maximum size of the memory stack required to host an embedded software application. GNATstack is an important component of AdaCore’s High-Integrity solution (GNAT Pro HIE), which is an enhanced Ada development environment used for building safety-critical, embedded software applications that require certification. The tool is targeted at system designers creating high integrity and high reliability embedded applications. For more information please click here or contact email@example.com.
AdaCore extends GNAT Pro 5.04a1 support to Alpha OpenVMS 8.2
AdaCore is pleased to announce that GNAT Pro 5.04a1 now supports Alpha OpenVMS 8.2. GNAT Pro has been ported to more platforms, both native and embedded, than any other Ada technology. For a full list of supported configurations, please visit our configurations page.
Additional warning on unreferenced entities
When warnings are enabled, the compiler now reports properly on unreferenced entities declared in subprogram bodies that have a previous subprogram declaration. Previously, messages were only produced for entities in bodies without a prior declaration.
New project path section for gnatls -v
When gnatls -v is invoked, in addition to the source and object path section, a new section indicating the project search path is displayed. The project path is found in the environment variable ADA_PROJECT_PATH, or if this environment variable is not defined or empty, it defaults to
/lib/gnat, where is the intallation directory of GNAT.
Independent control of extra paren check
The warning check for extra parens around conditional expressions has been removed from the redundant construct warning, and been replaced by a new style option -gnatyx (STYLE_CHECKS=XTRA_PARENS in VMS) which controls this specific check. This change reflects the observation that this is really more of a style check, and also allows it to be controlled independently of the other useful redundant construct warnings.
Improved definition of No_Streams
The restriction No_Streams is now more useful. It only disallows actual creation of objects of a stream type (by either an object declaration or an allocator). But it does not disallow withing Ada.Streams, which means that library packages with such with statements can still be used, provided no stream object is created.