Wed 26 November 2014

[Adacore] Add support for schema root naming

It is now possible to set the schema root name generated in the WSDL with ada2wsdl. This is needed when mixing multiple project to avoid name clashes.

Tue 25 November 2014

[GTLL] « Open Source, a booming market », note rédigée à l’occasion de l’Open World Forum organisé par Systematic Paris-Region

Paris-Region Entreprises publie une note sur le marché en très bonne santé de l'Open Source. Le succès de l'Open World Forum 2014, organisé par le Pôle, en a été une preuve supplémentaire.

En Europe, la France est le premier marché de l’Open Source. Dans ce domaine, la région de Paris constitue un écosystème très dynamique, et, par là même, compte parmi les régions les plus innovantes au monde.

Pour présenter au mieux les grandes tendances et les acteurs clés de la région œuvrant dans ce secteur en pleine croissance et expansion Paris-Region Entreprises a produit la note « Open Source, a booming market » (5 pages, en langue anglaise), à l’occasion de l’Open Week, et notamment de l’Open World Forum organisé par Systematic Paris-Region.

Pour consulter la note et l'infographie conçues par Paris-Region Entreprise. 

TAGS:

libreopen sourceopen world forum

Mon 24 November 2014

[Adacore] Removed redundant warning of null globals assumed

The tools used to issue a warning of "null globals assumed" both at the declaration of an imported subprogram and whenever that subprogram was called. The tools now only emit the later. These warnings can be suppressed via the use of a pragma Warnings. However, the proper solution would be to provide a global contract for the imported subprogram.

Sun 23 November 2014

[Adacore] Warn when fixed-point end-points are out of range

The compiler is allowed to adjust the declared end points of a fixed-point type by delta (RM 3.5.9(13)). This can result in a declared end-point of the range being outside the actual range of the type. GNAT takes advantage of this when it can result in the type just fitting in a convenient size (e.g. 32 bits instead of 33 bits). This situation now generates a warning.

Fri 21 November 2014

[Adacore] GPRinstall new—no-build-var option

A new option --no-build-var has been introduced and is meant to be use for project with a single configuration (single installation). In this case there is no build/scenario variable generated.

Thu 20 November 2014

[Adacore] New directories in project path for gnatls—RTS=

Two new directories are added in the project path, when gnatls is invoked with --RTS=, just before the two directories for the target. When the runtime is a single name, the directories are:
  <prefix>/<target>/<runtime>/lib/gnat
  <prefix>/<target>/<runtime>/share/gpr
Otherwise, the runtime directory is either an absolute path or a path relative to the current working directory and the two added directories are:
  <runtime_directory>/lib/gnat
  <runtime_directory>/share/gpr

[Adacore] Do not trust Elaborate in SPARK

In normal GNAT static elaboration mode, a pragma Elaborate is trusted to be sufficient, and the use of such a pragma disables the static checking. In SPARK mode, the pragma Elaborate is allowed, but it is not trusted to be sufficient, since this cannot be verified at compile time. This means that we may require Elaborate_All even if a pragma Elaborate is present.

[Adacore] Actual parameters with property Async_Writers

Actual volatile parameters with enabled external property Async_Writers can now appear in procedure calls where the corresponding formal is of mode OUT.

Wed 19 November 2014

[Adacore] Managing Avionics Safety Certification in UAS Platforms

Safety certification for avionics hardware and software is an expensive, complicated process, but absolutely necessary to ensure safe skies for commercial aircraft passengers and military jets flying in the national airspace. Now unmanned aircraft flight critical electronics will also have to meet these same safety requirements as the U.S. Federal Aviation Administration (FAA) starts to open up the national airspace to unmanned aerial systems (UASs). While the rules are still being drawn up, embedded software and hardware designers are already looking at ways for UAS platform integrators to solve certification challenges and manage the process of compliance with safety certification standards such as DO-178B & C. This webcast of industry experts will discuss how to enable safety certification of UAS platforms through efficient and cost-effective solutions.

[Adacore] Managing Avionics Safety Certification in UAS Platforms

Safety certification for avionics hardware and software is an expensive, complicated process, but absolutely necessary to ensure safe skies for commercial aircraft passengers and military jets flying in the national airspace. Now unmanned aircraft flight critical electronics will also have to meet these same safety requirements as the U.S. Federal Aviation Administration (FAA) starts to open up the national airspace to unmanned aerial systems (UASs). While the rules are still being drawn up, embedded software and hardware designers are already looking at ways for UAS platform integrators to solve certification challenges and manage the process of compliance with safety certification standards such as DO-178B & C. This webcast of industry experts will discuss how to enable safety certification of UAS platforms through efficient and cost-effective solutions.

[Adacore] Ignore Suppress (Elaboration_Check) in SPARK

In normal GNAT mode, Suppress (Elaboration_Check) disconnects the normal static elaboration mode circuitry. We don't want that in SPARK, where the elaboration rules are important static legality rules that must not be compromised. So in SPARK mode, we ignore the attempt with a warning.