<?xml version="1.0" encoding="UTF-8"?>
<!-- generator="wordpress/2.0.11" -->
<rss version="2.0" 
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	>

<channel>
	<title>AdaCore - The GNAT Pro Company</title>
	<link>http://www2.adacore.com</link>
	<description>AdaCore technology and news</description>
	<pubDate>Fri, 16 May 2008 15:06:10 +0000</pubDate>
	<generator>http://wordpress.org/?v=2.0.11</generator>
	<language>en</language>
			<item>
		<title>AdaCore Announces Support for VxWorks 653, Version 2.2</title>
		<link>http://www2.adacore.com/2008/04/15/do-178b/</link>
		<comments>http://www2.adacore.com/2008/04/15/do-178b/#comments</comments>
		<pubDate>Tue, 15 Apr 2008 11:00:41 +0000</pubDate>
		<dc:creator>AdaCore</dc:creator>
		
		<category>Press Releases</category>

		<guid isPermaLink="false">http://www2.adacore.com/2008/04/15/do-178b/</guid>
		<description><![CDATA[Now Supporting Full Integration with VxWorks 653 Platform, Version 2.2


NEW YORK and SAN JOSE, Calif., April 15, 2008 - Embedded Systems Conference, Silicon Valley - AdaCore, provider of the highest quality Ada tools and support services, today announced the availability of GNAT Pro High-Integrity-Edition for DO-178B (version 6.1.1) on the latest version of the Wind [...]]]></description>
			<content:encoded><![CDATA[<em>Now Supporting Full Integration with VxWorks 653 Platform, Version 2.2</em>


<p><strong>NEW YORK and SAN JOSE, Calif., April 15, 2008</strong> - Embedded Systems Conference, Silicon Valley - AdaCore, provider of the highest quality Ada tools and support services, today announced the availability of GNAT Pro High-Integrity-Edition for DO-178B (version 6.1.1) on the latest version of the Wind River’s VxWorks 653 Platform, Version 2.2 for avionics and mission-critical systems.  The result is a uniquely powerful and seamless environment for the development of Ada and mixed-language software for safety-critical and other high reliability applications.</p>



<p>“AdaCore has enjoyed a long and successful relationship with Wind River, with GNAT Pro offering our customers the first Ada language development environment for the initial VxWorks 653 platform many years ago,” said Robert Dewar, President and CEO of AdaCore.  “By supporting this latest version of VxWorks 653, we are enhancing an already proven solution that has been certified to DO-178B Level A as part of multiple avionics systems, including the Boeing 787, C-130AMP cargo, and KC-767 tanker aircraft.”</p>



<p>GNAT Pro High-Integrity Edition for DO-178B for VxWorks 653 implements a full ARINC-653 APEX API.  With this latest release, developers can choose from four different run-time libraries, including:</p>
 
<ul>
	<li>Full Ada run-time profile</li>

	<li>Zero-Foot-Print (ZFP) run-time profile, the smallest run-time library of the group, removing most dynamic features and providing the simplest certifiable solution</li>

	<li>Ravenscar-compliant run-time profile that adds tasking and some other dynamic features that have been proven to be certifiable</li>

	<li>Special Cert run-time profile, specifically designed to support the requirements of avionics systems </li>
</ul>


<p>The product was specifically tailored to provide the features needed in the development of avionics systems, while removing unneeded features to simplify certification to DO-178B Level A.  </p>

<p>All GNAT Pro High-Integrity Family members are also accompanied by AdaCore’s GNATstack analysis tool set.  GNATstack statically calculates the maximum stack space required by each task in an application. The computed bounds can be used to ensure that sufficient space is reserved, thus guaranteeing safe, predictable execution with respect to stack usage. GNATstack uses conservative analysis to deal with complexities such as subprogram recursion, while avoiding unnecessarily pessimistic estimates.  The tool&#8217;s output data can be used directly to satisfy DO-178B requirements (Table A-5, Objective 6, which relates to the Accuracy and consistency issues itemized in Section 6.3.4f).</p>


<p>In addition, GNAT Pro High-Integrity Edition for DO-178B is bundled with GNATbench 2.1.0, the latest release of AdaCore’s powerful Eclipse-based development environment for Ada. GNATbench 2.1.0 tightens integration with Wind River’s Workbench development suite, offering more advanced editing, automatic program traversal, new project wizards and more advanced build capabilities for both Ada-only and mixed-language application development.  </p>



<p>“Wind River is pleased to see the GNAT Pro Ada development solution on our latest VxWorks 653 Platform,” said Rob Hoffman, general manager of aerospace and defense, Wind River.  “AdaCore and Wind River have a proven success record in supporting avionics system developers with our joint solutions.  Now our customers can start taking advantage of the new capabilities and features available in our industry-leading VxWorks 653 Platform for both Ada and mixed language safety-critical development, using this latest version of GNAT Pro.”</p>



<p><strong>About AdaCore</strong><br/>
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore&#8217;s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see <a href="http://www.adacore.com/home/company/customers/">http://www.adacore.com/home/company/customers/</a> for further information.</p>



<p>Ada and GNAT Pro continue to see growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains, such as financial services.
</p>


<p>AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com</p>



<p><strong>Press Contact</strong><br/>
Jessie Glockner<br/>

Rainier Communications (for AdaCore)<br/>

Tel: 508-475-0025 x140<br/>

e-mail: <a href="mailto:adacore@rainierco.com">adacore@rainierco.com</a></p>


]]></content:encoded>
			<wfw:commentRss>http://www2.adacore.com/2008/04/15/do-178b/feed/</wfw:commentRss>
		</item>
		<item>
		<title>AdaCore Announces the Release of GNATbench 2.1.0</title>
		<link>http://www2.adacore.com/2008/04/15/gnatbench210/</link>
		<comments>http://www2.adacore.com/2008/04/15/gnatbench210/#comments</comments>
		<pubDate>Tue, 15 Apr 2008 11:00:28 +0000</pubDate>
		<dc:creator>AdaCore</dc:creator>
		
		<category>Press Releases</category>

		<guid isPermaLink="false">http://www2.adacore.com/2008/04/15/adacore-announces-the-release-of-gnatbench-210/</guid>
		<description><![CDATA[Enhanced Eclipse-based development environment for Ada improves productivity; decreases time-to-market


NEW YORK and SAN JOSE, Calif., April 15, 2008 - Embedded Systems Conference, Silicon Valley - AdaCore, provider of the highest quality Ada tools and support services, today announced a new major release of GNATbench, the company’s Eclipse-based development environment for Ada.  GNATbench 2.1.0 includes [...]]]></description>
			<content:encoded><![CDATA[<p><em>Enhanced Eclipse-based development environment for Ada improves productivity; decreases time-to-market</em>


<p><strong>NEW YORK and SAN JOSE, Calif., April 15, 2008</strong> - Embedded Systems Conference, Silicon Valley - AdaCore, provider of the highest quality Ada tools and support services, today announced a new major release of GNATbench, the company’s Eclipse-based development environment for Ada.  GNATbench 2.1.0 includes a variety of enhancements, including general project management and presentation capabilities, new features within the language-sensitive editor, new source navigation capabilities, new wizards, and an enhanced builder.  The result is a more powerful Integrated Development Environment (IDE) for Ada that supports tighter integration with Wind River’s Workbench development suite, and automatic integration with the large pool of software development capabilities already available within the Eclipse framework.</p>



<p>“This latest GNATbench release further enhances an already powerful set of software development capabilities,” said Pat Rogers, AdaCore’s GNATbench Project Leader.  “We at AdaCore believe that customer support is our primary responsibility.  This release adds a variety of new capabilities, many based on user input, to improve developer productivity and decrease time-to-market.”</p>



<p>“AdaCore was founded on open source software principles to provide the highest quality software development solutions and support for the Ada programming language,” said Robert Dewar, President and CEO of AdaCore.  “We joined the Eclipse Foundation a year ago as an Add-In-Provider and Member-At-Large so that we could contribute to this open source community.  The Eclipse open source framework allows us to extend our core principles to support the largest number of integrated third-party tools available for Ada software developers.”</p>



<p>“Wind River is pleased to see AdaCore’s new release of the GNATbench product,” states Rob Hoffman, general manager of aerospace and defense, Wind River. “GNATbench has always been seamlessly integrated with Wind River Workbench, and this latest release further advances the Ada capabilities available to the Workbench software developer for both all-Ada and mixed-language applications.”</p>



<p><strong>GNATbench 2.1.0 specifically enhances general Project Management and Presentation capabilities, including:</strong></p>

<ul>
<li>Independent project hierarchies</li>
<li>The ability to clean project hierarchies</li>
<li>And the ability to fully restore projects form configuration management systems</li>
</ul>




<p><strong>For the Language-Sensitive editor, some new features include:</strong></p>

<ul>
	<li>A light bulb with quick fix suggestions, next to source errors</li>

	<li>Smart space key, for abbreviation expansions</li>

	<li>Automatic construct closing insertion</li>

	<li>Smart tab for logical indenting</li>

	<li>Smart formatting</li>

	<li>Smart comment wrapping</li>

	<li>Special color coding for annotation comments</li>

	<li>Standard parenthesis highlighting</li>

	<li>Code assist for recently chosen completions</li>

</ul>




<p><strong>New Source Navigation capabilities include:</strong></p>

<ul>
<li>Enhanced open declaration or body action</li>
<li>Next or previous subprogram entry navigation</li>
</ul>



<strong>The new Wizards include:</strong></p>

<ul>
<li>Create new Ada source folder or subfolder</li>
<li>Create new Ada source file with specific headers</li>
<li>Create new Ada project with advanced project settings</li>
</ul>


<p><strong>And finally, the Builder enhancements are:</strong></p>

<ul>
<li>Automatic file save before building</li>
<li>Automatic console display for the builder</li>
<li>Scenario settings are now persistent across sessions</li>
<li>New builder fast action key settings</li>
<li>Tool chain selection from within the IDE</li>
<li>Linker messages are now integrated within the problem view window</li>
</ul>

<p>All these enhancements are added on top of the already powerful features that were provided in the three previous releases of GNATbench.</p>

 

<p><strong>About AdaCore</strong><br/>
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore&#8217;s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive worldwide customer base; see <a href="http://www.adacore.com/home/company/customers/">http://www.adacore.com/home/company/customers/</a> for further information.</p>



<p>Ada and GNAT Pro continue to see growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains, such as financial services.</p>



<p>AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com</p>



<p><strong>Press Contact</strong><br/>
Jessie Glockner<br/>
Rainier Communications (for AdaCore)<br/>
Tel: 508-475-0025 x140<br/>
e-mail: <a href="mailto:adacore@rainierco.com">adacore@rainierco.com</a></p>


]]></content:encoded>
			<wfw:commentRss>http://www2.adacore.com/2008/04/15/gnatbench210/feed/</wfw:commentRss>
		</item>
		<item>
		<title>Indian Government selects GNAT Pro to Build New Avionics Flight Control Software</title>
		<link>http://www2.adacore.com/2008/03/05/mistral-solutions/</link>
		<comments>http://www2.adacore.com/2008/03/05/mistral-solutions/#comments</comments>
		<pubDate>Wed, 05 Mar 2008 06:00:46 +0000</pubDate>
		<dc:creator>AdaCore</dc:creator>
		
		<category>Press Releases</category>

		<category>zzz Headline</category>

		<guid isPermaLink="false">http://www2.adacore.com/2008/03/05/mistral-solutions/</guid>
		<description><![CDATA[NEW YORK, AMSTERDAM, Netherlands, and BANGALORE, India, March 5, 2008 – Avionics 2008 - AdaCore, provider of the highest quality Ada tools and support services, today announced that the Indian Aeronautical Development Establishment (ADE) has chosen AdaCore’s GNAT Pro High-Integrity Edition for DO-178B Ada environment to be used by AdaCore’s partner Mistral Solutions to create [...]]]></description>
			<content:encoded><![CDATA[<p><strong>NEW YORK, AMSTERDAM, Netherlands, and BANGALORE, India, March 5, 2008 – Avionics 2008</strong> - AdaCore, provider of the highest quality Ada tools and support services, today announced that the Indian Aeronautical Development Establishment (ADE) has chosen AdaCore’s GNAT Pro High-Integrity Edition for DO-178B Ada environment to be used by AdaCore’s partner Mistral Solutions to create new safety-critical flight control systems that will underpin advanced Indian defense programs. </p>



<p>The partnership was chosen over the competition due to the combination of Mistral’s development experience and strong customer support, the safety-critical aspects of the Ada language, and AdaCore’s knowledge, superior development environment and close integration with Wind River’s operating software. This is the first ADE project to use the Ada language.</p>



<p>Mistral will use GNAT Pro High-Integrity Edition for DO-178B on the project, which aims to develop avionics flight control systems that will become the standard within multiple applications for the Indian Ministry of Defence. It began in April 2007 and is scheduled to last 14 months. The project will run on VME PPC-based single board computers using Wind River Systems’ VxWorks 6.x operating system.</p>



<p>“This new project demonstrates that Ada is now the language of choice for developing safety-critical avionics systems across the globe,” said Cyrille Comar, Managing Director, AdaCore Europe. “Working with our partner Mistral Solutions, AdaCore was able to deliver a superior development environment that is both easy to use and provides the high level of protection necessary for mission-critical applications such as flight control systems.”</p>



<p>&#8220;This is yet another great example of a new avionics project leveraging the industry-proven combination of Wind River&#8217;s VxWorks RTOS and AdaCore&#8217;s GNAT Pro development environment,&#8221; said Rob Hoffman, General Manager of Aerospace and Defense, Wind River. &#8220;Combining Wind River’s VxWorks product platform and our worldwide support organization with AdaCore’s software, we are ensuring that organizations like the Indian ADE benefit from the industry’s most robust development platforms for high-reliability systems.”</p>



<p>ADE is part of the Indian Defence Research and Development Organisation (DRDO), which undertakes design and development leading to the production of world-class flight control systems and equipment to meet the needs and requirements of the three Indian armed services. DRDO is working in various areas of military technology, which include aeronautics, armaments, combat vehicles, electronics, instrumentation engineering systems, missiles, materials, naval systems, advanced computing, simulation and life sciences.</p>



<p>“This is the first major Ada project we have worked on, and when it came to developing such a safety-critical application, AdaCore was the natural choice to partner with,” said Mujahid Alam, Vice President - Sales, Mistral Solutions. “From our extensive research, AdaCore stands out as the foremost provider of Ada technology, and we have been very impressed with AdaCore’s knowledge, product strengths and strong integration with Wind River’s technology. The success of this project is testament to the close working relationship we have built up, combined with our own development and customer support strengths.” </p>



<p>GNAT Pro High-Integrity Edition for DO-178B supports the development of safety-critical and security-critical applications for embedded systems, servers and workstations. The GNAT Pro development environment combines market-leading technology with an expert support system to provide a natural solution where efficient and reliable code is critical. </p>



<p><strong>About Mistral</strong><br/>
Mistral is an ISO 9001:2000 certified and CMMi Level 3 appraised premier product realization Company providing end-to-end services for product design and development in the embedded space. Mistral offers expert design and development services covering hardware and software, customizable product designs and IP’s, System Integration and COTS Solutions that improve quality and accelerate time-to-market for a broad range of embedded systems. Mistral has forged successful partnerships with leading providers of embedded solutions, which has enabled the company to provide its clients with the finest technology solutions based on the world&#8217;s best platforms. </p>


For details, please visit <a href="http://www.mistralsolutions.com" target="_black">http://www.mistralsolutions.com</a>.


<p><strong>About AdaCore</strong><br/>
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore&#8217;s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see <a href="http://www.adacore.com/home/company/customers/">http://www.adacore.com/home/company/customers/</a> for further information.</p>



<p>Ada and GNAT Pro continue to see growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.</p>



<p>AdaCore has North American headquarters in New York and European headquarters in Paris. <a href="http://www.adacore.com">www.adacore.com</a></p>


<p><strong>Press Contact</strong><br/>
<a href="mailto:press@adacore.com">press@adacore.com</a></p>


]]></content:encoded>
			<wfw:commentRss>http://www2.adacore.com/2008/03/05/mistral-solutions/feed/</wfw:commentRss>
		</item>
		<item>
		<title>Latest GNAT Pro Release Adds New Platforms, New Tools</title>
		<link>http://www2.adacore.com/2008/03/05/gnatpro-611-release/</link>
		<comments>http://www2.adacore.com/2008/03/05/gnatpro-611-release/#comments</comments>
		<pubDate>Wed, 05 Mar 2008 05:00:48 +0000</pubDate>
		<dc:creator>AdaCore</dc:creator>
		
		<category>Press Releases</category>

		<guid isPermaLink="false">http://www2.adacore.com/2008/03/05/gnat-pro-611-2/</guid>
		<description><![CDATA[Powerful Ada Development Environment Enhanced for High-Integrity Systems


NEW YORK and AMSTERDAM, Netherlands, March 5, 2008 – Avionics 2008 – AdaCore, provider of the highest quality Ada tools and support, today announced the company’s twelfth annual release of its signature GNAT Pro Ada development environment.  GNAT Pro 6.1.1 offers more than 150 new features and [...]]]></description>
			<content:encoded><![CDATA[<p><em>Powerful Ada Development Environment Enhanced for High-Integrity Systems</em></p>


<p><strong>NEW YORK and AMSTERDAM, Netherlands, March 5, 2008 – Avionics 2008</strong> – AdaCore, provider of the highest quality Ada tools and support, today announced the company’s twelfth annual release of its signature GNAT Pro Ada development environment.  GNAT Pro 6.1.1 offers more than 150 new features and is available on the largest set of supported platforms in the industry _ 44 configurations (including 28 cross compilers) on 79 different operating system versions, including multiple versions of Windows, Linux and Solaris. </p>

<p>&#8220;Our annual release cycle is a major part of our commitment to make Ada the development language of choice for long-lived, critical systems,&#8221; said Cyrille Comar, Managing Director, AdaCore Europe. &#8220;Our expert team of engineers is constantly working on enhancements and new tools for GNAT Pro that will help customers for years to come.  We are particularly focused on high-integrity systems, where many of Ada’s advantages stand out.”  </p>

<p>“Ever since our company was founded, our customers have come to expect the level of quality and front-line support that our solutions provide,” said Robert Dewar, President and CEO of AdaCore.  “We pride ourselves on being able to offer regular enhancements, many of which originate as customer requests.  After a rigorous quality assurance process, we have integrated many of these features as part of this latest version of the GNAT Pro tool suite.&#8221; </p>

<p><strong>GNAT Pro 6.1.1&#8217;s new features include:</strong></p>

<ul>
<li>High-Integrity versions for VxWorks 6, including the Ravenscar profile  </li>
<li>Thread-safe profiling with gprof, a tool currently available for GNAT Pro on several platforms</li>
<li>Increased Ada support in gcov, a coverage analysis tool</li>
<li>Enhanced tools such as gnatcheck, gnatpp, and gnatmetric, to support a wider variety of coding styles and coding standards</li>
<li>New warnings to help programmers detect errors earlier</li>
<li>An upgraded debugging engine</li>
<li>Improved robustness and efficiency for Ada 2005 features</li>
<li>Better real-time support on win32 platforms</li>
<li>Fully-integrated Windows .NET framework support</li>
</ul>




<p><strong>About GNAT Pro</strong><br/>
The GNAT Pro development environment, available on more platforms than any other Ada toolset, combines industry-leading technology with an expert support infrastructure and provides a natural solution for organizations that need to create reliable, efficient, and maintainable code.  GNAT Pro is the first-to-market implementation of the Ada 2005 standard, allowing users to take advantage of the many enhancements in areas such as object-oriented programming, real-time support, and predefined libraries.</p>

<p>At the heart of GNAT Pro is a full-featured, multi-language development environment complete with libraries, bindings and a range of supplementary tools. All GNAT Pro technology offers the flexibility and freedom associated with open source development, together with the assurance that comes from knowing that all tools go through a rigorous quality assurance process. GNAT Pro is based on the widely used GCC technology and is backed by rapid and expert support service.</p>



<p><strong>Pricing</strong><br/>
Pricing for GNAT Pro subscriptions starts at $14,000.  Please contact AdaCore (<a href="mailto:sales@adacore.com">sales@adacore.com</a>) for the latest information on pricing and supported configurations.</p>



<p><strong>About AdaCore</strong><br/>
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive worldwide customer base; see <a href="http://www.adacore.com/home/company/customers/">http://www.adacore.com/home/company/customers/</a> for further information.</p>

<p>Ada and GNAT Pro continue to see growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.</p>

<p>AdaCore has North American headquarters in New York and European headquarters in Paris.</p>

<p><strong>Press Contact</strong><br/>
<a href="mailto:press@adacore.com">press@adacore.com</a></p>


]]></content:encoded>
			<wfw:commentRss>http://www2.adacore.com/2008/03/05/gnatpro-611-release/feed/</wfw:commentRss>
		</item>
		<item>
		<title>Coding Standard Verification Tool Eases DO-178B Compliance</title>
		<link>http://www2.adacore.com/2008/01/30/coding-standard-verification-tool-eases-do-178b-compliance/</link>
		<comments>http://www2.adacore.com/2008/01/30/coding-standard-verification-tool-eases-do-178b-compliance/#comments</comments>
		<pubDate>Wed, 30 Jan 2008 08:39:01 +0000</pubDate>
		<dc:creator>AdaCore</dc:creator>
		
		<category>Press Releases</category>

		<category>zzz Headline</category>

		<guid isPermaLink="false">http://www2.adacore.com/2008/01/30/coding-standard-verification-tool-eases-do-178b-compliance/</guid>
		<description><![CDATA[TOULOUSE, France and NEW YORK - January 30, 2008 – Embedded Real-time Software (ERTS) Conference - AdaCore, provider of the highest quality Ada tools and support services, today announced the availability of GNATcheck, an integrated coding standard verification tool within the GNAT Pro development environment. GNATcheck meets the growing need for automated verification in safety-critical [...]]]></description>
			<content:encoded><![CDATA[<p><strong>TOULOUSE, France and NEW YORK - January 30, 2008 – Embedded Real-time Software (ERTS) Conference </strong>- AdaCore, provider of the highest quality Ada tools and support services, today announced the availability of GNATcheck, an integrated coding standard verification tool within the GNAT Pro development environment. GNATcheck meets the growing need for automated verification in safety-critical avionics systems, particularly those systems that need to satisfy the DO-178B standard.  Developed by RTCA and EUROCAE, DO-178B defines the guidelines for development of aviation software in both the US and Europe and is being increasingly adopted by other related sectors, such as air traffic control and military applications. </p>


<p>AdaCore’s GNATcheck is an extensible rule-based tool with an easy-to-use interface.  It allows developers to completely define a coding standard (referred to as a “Software Code Standard” in DO-178B) as a set of rules, for example a subset of permitted language features.  It verifies a program’s conformance with the resulting rules and thereby facilitates demonstration of a system’s compliance with DO-178B. </p>




<p>“The combination of the Ada language (an international standard), GNATcheck, and additional constraints and reporting inside GNAT Pro, provides a comprehensive solution for avionics developers,” said Robert Dewar, President and CEO of AdaCore. “Ada has already been used in many safety-critical systems, such as the Boeing 787 and C-130 AMP, Airbus A380 and Eurofighter among others.” </p>



<p>“With software innovation powering today’s successful aircraft, automatic coding standard verification is becoming more and more important,” commented Cyrille Comar, Managing Director, AdaCore Europe. “The highly structured nature of the Ada language makes it a natural choice for avionics development, and by adding our own enhancements within GNAT Pro we can offer the most complete and integrated solution for coding standard verification compliant with DO-178B requirements.”</p>


 

<p>The key features of GNATcheck include:<br/>
<ul>

	<li>An integrated Ada Restrictions mechanism for banning specific features from an application. This can be used to restrict features, such as tasking, exceptions, dynamic allocation, fixed or floating point, input/output and unchecked conversions
</li>
	<li>GNAT Pro specific Restrictions, which complement Ada’s set of restrictions, such as those banning the generation of implicit loops or conditionals in the object code, or the generation of elaboration code 
</li>
	<li>Additional rules based on Ada semantics specification developed following extensive customer input, including detailed issues, such as ordering of parameters, normalized naming of entities and subprograms with multiple returns</li>
	<li>Easy-to-use interface for creating and using a complete coding standard</li>
	<li>Generation of project-wide reports, including evidence of the level of compliance to a given coding standard</li>
	<li>Over 30 compile time warnings from GNAT Pro that detect typical error situations, such as local variables being used before being initialized, incorrect assumptions about array lower bounds, infinite recursion, incorrect data alignment, and accidental hiding of names
</li>
	<li>Style checks that allow developers to control indentation, casing, comment style, and nesting level
</li>
</ul>
<br/>


Work on qualifying GNATcheck as a verification tool (in a DO-178B context) is in progress.  After this work is completed, GNATcheck’s status as a qualified tool will allow the evidence that it generates to be used as part of a system’s certification.</p>



<p><strong>Pricing and Availability</strong><br/>

GNATcheck is currently available as part of the GNAT Pro subscription.  Please contact AdaCore (sales@adacore.com) for the latest information on pricing and supported configurations.</p>



<p><strong>About AdaCore</strong><br/>

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive worldwide customer base; See <a href="http://www.adacore.com/home/company/customers/">http://www.adacore.com/home/company/customers/ </a>for more information.</p>




<p>Ada and GNAT Pro continue to see growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services. AdaCore has North American headquarters in New York and European headquarters in Paris. <a href="http://www.adacore.com">www.adacore.com</a></p>

<strong>Press Contact</strong><br/>
<a href="mailto:press@adacore.com">press@adacore.com</a>


]]></content:encoded>
			<wfw:commentRss>http://www2.adacore.com/2008/01/30/coding-standard-verification-tool-eases-do-178b-compliance/feed/</wfw:commentRss>
		</item>
		<item>
		<title>Working With Saab, AdaCore and RTI Integrate Support for Ada with DDS-Compliant Real-Time Messaging Middleware</title>
		<link>http://www2.adacore.com/2007/12/08/working-with-saab-adacore-and-rti-integrates-support-for-ada-with-dds-compliant-real-time-messaging-middleware/</link>
		<comments>http://www2.adacore.com/2007/12/08/working-with-saab-adacore-and-rti-integrates-support-for-ada-with-dds-compliant-real-time-messaging-middleware/#comments</comments>
		<pubDate>Fri, 07 Dec 2007 22:34:25 +0000</pubDate>
		<dc:creator>AdaCore</dc:creator>
		
		<category>Press Releases</category>

		<guid isPermaLink="false">http://www2.adacore.com/2007/12/08/working-with-saab-adacore-and-rti-integrates-support-for-ada-with-dds-compliant-real-time-messaging-middleware/</guid>
		<description><![CDATA[Industry’s first Ada bindings for AdaCore’s GNAT Pro Compiler for development of high-performance distributed real-time applications. 


SANTA CLARA, CA and NEW YORK, NY., November 12, 2007 - Real-Time Innovations (RTI), The Real-Time Middleware Experts, today announced that it has integrated RTI Data Distribution Service with an industry-leading Ada compiler, GNAT Pro from AdaCore Inc. Working [...]]]></description>
			<content:encoded><![CDATA[<p><em>Industry’s first Ada bindings for AdaCore’s GNAT Pro Compiler for development of high-performance distributed real-time applications. </em>
</p>

<p><strong>SANTA CLARA, CA and NEW YORK, NY., November 12, 2007</strong> - Real-Time Innovations (RTI), The Real-Time Middleware Experts, today announced that it has integrated RTI Data Distribution Service with an industry-leading Ada compiler, GNAT Pro from AdaCore Inc. Working closely with software engineers at Saab Systems, RTI has developed the first Ada bindings to support middleware compliant with the Data Distribution Service (DDS) for Real-Time Systems standard. For the first time, software developers can combine the unsurpassed messaging performance of RTI middleware, the portability and interoperability provided by the DDS standard, and the powerful development environment of AdaCore’s GNAT Pro to build high-performance, fully standards-compliant distributed applications. </p>



<p>&#8220;RTI middleware with Ada integration is helping our developers build complex applications that require real-time data availability and response across large distributed systems,&#8221; said Thomas Jungefeldt, senior systems engineer, Saab Systems, Naval Systems Division. &#8220;A major advantage of this approach is our ability to support and develop applications in a heterogeneous COTS-based environment requiring simple and straightforward integration of legacy code with newly developed systems.&#8221;
</p>


<p>&#8220;Adoption of the DDS standard is growing across a wide range of real-time distributed environments from desktop to embedded devices, particularly in defense and aerospace applications,&#8221; commented Thomas Quinot, middleware specialist, AdaCore. &#8220;The integration of GNAT Pro with RTI’s industry-leading real-time middleware is a critical part of our ongoing commitment to make Ada a development language of choice in high-performance distributed applications, allowing users to benefit from the strengths of both working together.&#8221;</p>



<p>&#8220;The demand for DDS support from the Ada community is continuing to grow,&#8221; explained David Barnett, vice president of Product Management at RTI. &#8220;AdaCore’s GNAT Pro is available on more platforms than any other Ada technology, and we are excited to be the first to allow distributed application developers to take advantage of Ada technology in conjunction with RTI Data Distribution Service and the DDS standard.&#8221;</p>



<p><strong>About RTI Data Distribution Service</strong><br/>

RTI Data Distribution Service is a high-performance messaging and data-caching solution for the development and integration of applications that require low latency, high throughput, high scalability, deterministic responses and minimal consumption of network, processor and memory resources. RTI Data Distribution Service is an open-architecture platform that complies with the Object Management Group’s (OMG’s) DDS for Real-Time Systems standard.</p>



<p><strong>About GNAT Pro</strong><br/>

The GNAT Pro development environment, available on more platforms than any other Ada toolset, combines industry-leading technology with an expert support infrastructure and provides a natural solution for organizations that need to create reliable, efficient and maintainable code. GNAT Pro is the first-to-market implementation of the Ada 2005 standard, allowing users to take advantage of many enhancements in areas such as object-oriented programming, real-time support and predefined libraries.</p>



<p>At the heart of GNAT Pro is a full-featured, multi-language (Ada, C and C++) development environment complete with libraries, bindings and a range of supplementary tools. All GNAT Pro technology offers the flexibility and freedom associated with open-source development, together with the confidence that comes from knowing that all tools go through a rigorous quality-assurance process. GNAT Pro is based on the widely used GCC technology and is backed by rapid-response, expert support service.</p>







<p><strong>About Saab Systems</strong><br/>

Saab Systems offers integrated command and control system solutions and civil security solutions, along with further development and adaptations of existing command and control systems. Saab Systems is a business unit within the Saab group and has around 1,200 employees in Australia, Denmark, Finland, South Africa and Sweden.</p>



<p><strong>About RTI</strong><br/>

Real-Time Innovations (RTI) provides high-performance infrastructure solutions for the development, deployment and integration of real time, data-driven applications. RTI’s messaging, caching, Complex Event Processing (CEP) and visualization capabilities deliver dramatic improvements in latency, throughput and scalability while slashing cost of ownership. The company’s software and design expertise have been leveraged in a broad range of industries including defense, intelligence, simulation, industrial control, transportation, finance, medical and communications. Founded in 1991, RTI is privately held and headquartered in Santa Clara, CA. For more information, please visit www.rti.com.</p>

<p><strong>About AdaCore</strong><br/>

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where reliability, efficiency and safety are critical. AdaCore’s flagship product is GNAT Pro, which comes with expert online support and is available on more platforms than any other Ada technology. AdaCore has customers worldwide; please visithttp://www.adacore.com/home/company/customers for more information. Use of Ada and GNAT Pro continues to grow in high-integrity and safety-critical applications, including avionics, defense, air traffic control, railroad systems, financial services and medical devices. AdaCore has North American headquarters in New York and European headquarters in Paris.www.adacore.com.</p>
]]></content:encoded>
			<wfw:commentRss>http://www2.adacore.com/2007/12/08/working-with-saab-adacore-and-rti-integrates-support-for-ada-with-dds-compliant-real-time-messaging-middleware/feed/</wfw:commentRss>
		</item>
		<item>
		<title>Introducing New Version of GNAT Programming Studio IDE</title>
		<link>http://www2.adacore.com/2007/11/06/introducing-new-version-of-gnat-programming-studio-ide/</link>
		<comments>http://www2.adacore.com/2007/11/06/introducing-new-version-of-gnat-programming-studio-ide/#comments</comments>
		<pubDate>Tue, 06 Nov 2007 08:05:35 +0000</pubDate>
		<dc:creator>AdaCore</dc:creator>
		
		<category>Press Releases</category>

		<guid isPermaLink="false">http://www2.adacore.com/2007/11/06/introducing-new-version-of-gnat-programming-studio-ide/</guid>
		<description><![CDATA[FAIRFAX, Va., November 6, 2007 - SIGAda 2007 - AdaCore, provider of the highest quality Ada tools and support services, today announced the upcoming release of GNAT Programming Studio (GPS) 4.2. This Ada-oriented IDE (Integrated Development Environment) accompanies AdaCore’s GNAT Pro toolset on most platforms.



With an emphasis on helping developers improve the quality and maintainability [...]]]></description>
			<content:encoded><![CDATA[<p><strong>FAIRFAX, Va., November 6, 2007</strong> - SIGAda 2007 - AdaCore, provider of the highest quality Ada tools and support services, today announced the upcoming release of GNAT Programming Studio (GPS) 4.2. This Ada-oriented IDE (Integrated Development Environment) accompanies AdaCore’s GNAT Pro toolset on most platforms.</p>



<p>With an emphasis on helping developers improve the quality and maintainability of their software, this GPS release includes a number of new features, enhancements, and plug-ins, including support for code coverage and improved generation of documentation. The advanced code coverage feature enables developers to test code and ensure that the software is properly covered, with the GPS user interface allowing them to visualize the coverage information at different levels of detail (from project down to source lines of code). The improved and faster documentation generator uses Web 2.0 technologies to generate HTML pages, thus providing a web-based view of projects. </p>



<p>“As software complexity increases, developers are looking for an environment to help them create high quality code that is straightforward to produce and understand,” commented Arnaud Charlet, GPS Project Manager at AdaCore. “GPS 4.2 delivers these capabilities. With its many enhancements based on customer feedback, it continues to be the environment of choice for professional Ada development.”</p>



<p>While GPS already supports the Ada 2005 standard, the GPS 4.2 enhancements will help developers take full advantage of both the new features as well as the existing Ada 95 object-oriented programming facilities. Furthermore, GPS includes multi-language support (including Ada, C, and C++) and is available on a wide range of host environments. Through its intuitive, unified visual interface, developers can access tools from both AdaCore and third parties, easing both development and maintenance. </p>


New functions in GPS 4.2 include:
<ul>

	<li>	Graphical support for code coverage (gcov)</li>

	<li>	Improved documentation generation with faster, improved HTML output using CSS and javascript</li>

	<li>	Enhanced code completion, including support for the Object.Method syntax as provided in Ada 2005, Java, and C++</li>

	<li>	Full ability to manage files and directories from GPS</li>

	<li>	Source editor improvements - better tooltips, source navigation and indentation</li>

	<li>	Improved handling of dispatching calls and primitives, enabling better understanding (prior to run time) of which subprograms will be executed</li><br/>

</ul>

New plug-ins, including:
<ul>

	<li>	Support for code verification through gnatcheck and addr2line</li>


	<li>	Listing of unused entities (replaces gnatxref)</li>

	<li>	Display of dependency paths across files</li>

	<li>	Ability to cut/copy/paste in contextual menu</li>
	
	<li>	Recomputation of Ada cross references</li>

<li>	Copying of text with line numbers prepended</li>

	<li>	The ability to close all editors</li>
</ul>





<p>As with all GNAT Pro components, GPS is distributed with full source code and is backed by AdaCore’s rapid and expert online support.</p>



<p><strong>About GPS</strong><br/>

GPS is a powerful Integrated Development Environment (IDE) written in Ada, based on the GtkAda toolkit. GPS’ extensive source-code navigation and analysis tools can generate a broad range of useful information, including call graphs, source dependencies, project organization, and complexity metrics. It also provides support for configuration management through an interface to third-party Version Control Systems, and supports a variety of platforms, including Altix Linux, IA64 HP Linux, Solaris (sparc and x86), GNU/Linux (x86 and x86-64), and x86 Windows (2000, 2003, XP and Vista). GPS is highly extensible; a simple scripting approach enables additional tool integration. It is also customizable, allowing programmers to specialize various aspects of the program’s appearance in the editor for a user-specified look and feel.</p>



<p><strong>Pricing and Availability</strong><br/>

GPS 4.2 is scheduled for release at the beginning of December 2007, when it will be available to GNAT Pro customers on selected platforms. GPS is included with the GNAT Pro Ada Development Environment. Please contact AdaCore (sales@adacore.com) for the latest information on pricing and supported configurations.</p>



<p><strong>About AdaCore</strong><br/>

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical.  AdaCore&#8217;s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive worldwide customer base; see http://www.adacore.com/home/company/customers/ for further information.</p>


<p>
Ada and GNAT Pro continue to see growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.</p>



<p>AdaCore has North American headquarters in New York and European headquarters in Paris.</p>

<strong>Press Contact</strong><br/>
<a href="mailto:press@adacore.com">press@adacore.com</a>
]]></content:encoded>
			<wfw:commentRss>http://www2.adacore.com/2007/11/06/introducing-new-version-of-gnat-programming-studio-ide/feed/</wfw:commentRss>
		</item>
		<item>
		<title>GNAT Pro Provides Multi-Language Support aboard Raytheon&#8217;s SSDS</title>
		<link>http://www2.adacore.com/2007/11/06/gnat-pro-provides-multi-language-support-aboard-raytheons-ssds/</link>
		<comments>http://www2.adacore.com/2007/11/06/gnat-pro-provides-multi-language-support-aboard-raytheons-ssds/#comments</comments>
		<pubDate>Tue, 06 Nov 2007 07:51:04 +0000</pubDate>
		<dc:creator>AdaCore</dc:creator>
		
		<category>Press Releases</category>

		<guid isPermaLink="false">http://www2.adacore.com/2007/11/06/gnat-pro-provides-multi-language-support-aboard-raytheons-ssds/</guid>
		<description><![CDATA[FAIRFAX, Va., November 6, 2007 - SIGAda 2007 - AdaCore, provider of the highest quality Ada tools and support services, today announced that Raytheon has delivered the Ship Self-Defense System (SSDS) Mk 2 using GNAT Pro for LynxOS within its multi-language software development environment. SSDS Mk 2 is a combat system that integrates and coordinates [...]]]></description>
			<content:encoded><![CDATA[<p><strong>FAIRFAX, Va., November 6, 2007</strong> - SIGAda 2007 - AdaCore, provider of the highest quality Ada tools and support services, today announced that Raytheon has delivered the Ship Self-Defense System (SSDS) Mk 2 using GNAT Pro for LynxOS within its multi-language software development environment. SSDS Mk 2 is a combat system that integrates and coordinates the sensors and weapons systems aboard a US Naval vessel to provide a coherent tactical picture for situational awareness, command and controls, and quick-reaction self-defense. It is a single-source baseline that supports multiple system configuration modifications (MODs) for large deck ship classes (aircraft carriers and amphibious ships). GNAT Pro was specifically used on the SSDS Mk 2 to support Ada application development on the Intel processors and the LynxOS operating system.</p>


<p>
“SSDS Mk 2 is a modular distributed program consisting of C, C++, and Ada software components,” said Mark A. Hodge, SSDS Mk 2 Technical Director for Raytheon Integrated Defense Systems. “LynxOS for x86 was selected because of its real-time determinism as we migrated from an older operating system towards a more mainstream OS. The AdaCore GNAT Pro compile system was selected both for its support for LynxOS and its association with GNU, which is being used for the C and C++ application components.”</p>


<p>
&#8220;AdaCore&#8217;s GNAT Pro tool set provided Raytheon with the seamless interoperability it required to support the inherently mixed-language development of SSDS Mk 2,&#8221; said Robert Dewar, President of AdaCore. &#8220;On large, mission-critical systems, Ada is often used in conjunction with other languages, and the Ada design specifically caters to such usage. AdaCore provides complete support for compilation with multi-language build and debug for all GNAT Pro environments.”</p>

 

<p><strong>SSDS Program Description</strong><br/>

On many of today&#8217;s amphibious ships and aircraft carriers, the radar and anti-air weapons used for self-defense are installed as stand-alone systems. As a result, considerable manual intervention is required to complete the detect-to-engage sequence against anti-ship cruise missiles (ASCMs). SSDS Mk 2 is designed to expedite that process. Consisting of software and commercial-off-the-shelf (COTS) hardware, SSDS Mk 2 integrates radar systems with anti-air weapons, both hardkill (missile systems) and softkill (decoys).</p>
 


<p>SSDS Mk 2 includes embedded doctrine to provide an integrated detect-through-engage capability with options ranging from use as a tactical decision aid to use as an automatic weapons system to respond with hardkill and softkill systems.</p>



<p>Although SSDS Mk 2 will not improve the capability of individual sensors, it enhances target tracking by integrating the inputs from several different sensors to form a composite track. For example, SSDS Mk 2 will correlate target detections from individual radars, the electronic support measures (ESM) system (radar warning receiver), and the identification-friend or foe (IFF) system, combining these to build composite tracks on targets while identifying and prioritizing threats. Similarly, SSDS Mk 2 will not improve the capability of individual weapons, but should expedite the assignment of weapons for threat engagement, and provide a &#8220;recommend engage&#8221; display for operators, or if in automatic mode, initiate weapons firing, ECM transmission, chaff or decoy deployment, or some combination of these.</p>



<p>SSDS Mk 2 integrates previously &#8220;stand-alone&#8221; sensor and engagement systems for aircraft carriers and amphibious warfare ships, thereby supporting the Joint Vision 2010 concept of full-dimensional protection, by providing a final layer of self-protection against air threat &#8220;leakers&#8221; for individual ships. By ensuring such protection, SSDS Mk 2 contributes indirectly to the operational concept of precision engagement, in that strike operations against targets are executed from several of the platforms receiving SSDS Mk 2.</p>


 

<p><strong>About AdaCore</strong><br/>

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore&#8217;s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see <a href="http://www.adacore.com/home/company/customers/">http://www.adacore.com/home/company/customers/</a> for further information.</p>


<p>
Ada and GNAT Pro continue to see growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.</p>


<p>
AdaCore has North American headquarters in New York and European headquarters in Paris. </p>



<p><strong>Press Contact</strong><br/>
<a href="mailto:press@adacore.com">press@adacore.com</a></p>
]]></content:encoded>
			<wfw:commentRss>http://www2.adacore.com/2007/11/06/gnat-pro-provides-multi-language-support-aboard-raytheons-ssds/feed/</wfw:commentRss>
		</item>
		<item>
		<title>AdaCore Joins TOPCASED Project</title>
		<link>http://www2.adacore.com/2007/10/29/adacore-joins-topcased-project/</link>
		<comments>http://www2.adacore.com/2007/10/29/adacore-joins-topcased-project/#comments</comments>
		<pubDate>Mon, 29 Oct 2007 08:00:35 +0000</pubDate>
		<dc:creator>AdaCore</dc:creator>
		
		<category>Press Releases</category>

		<guid isPermaLink="false">http://www2.adacore.com/2007/10/29/adacore-joins-topcased-project/</guid>
		<description><![CDATA[PARIS and NEW YORK, October 29, 2007 - AdaCore, provider of the highest-quality Ada tools and support services, today announced its participation as a member of the TOPCASED Project (Toolkit in Open Source for Critical Applications &#038; System Development).



Initiated in 2004, the TOPCASED Project brings together a consortium of commercial, scientific, and academic partners, ranging [...]]]></description>
			<content:encoded><![CDATA[<p><strong>PARIS and NEW YORK, October 29, 2007</strong> - AdaCore, provider of the highest-quality Ada tools and support services, today announced its participation as a member of the TOPCASED Project (Toolkit in Open Source for Critical Applications &#038; System Development).
</p>


<p>Initiated in 2004, the TOPCASED Project brings together a consortium of commercial, scientific, and academic partners, ranging from consulting companies to large industrial groups, including Airbus, Thales, Siemens VDO, CNES, Rockwell Collins, EADS Astrium, CS, Atos, SOPRA, and many more. Its goal is to provide an open-source development environment for producing software that meets the requirements of safety-critical embedded systems. This major cooperative project, which will produce an environment covering the full spectrum of software development, from requirements specification to implementation, is being funded with the help of the French General Business Directorate, or DGE.</p>



<p>The complexity of embedded systems used in the avionics, space and transportation industries places unique demands on development tools, which the traditional off-the-shelf software market alone cannot fulfill.  For example, the lifetime of aerospace products can often be as long as 10 to 30 years and, currently, no software products company can commit for such a prolonged period of time at a realistic cost.</p>



<p>To reach the necessary quality levels of safety-critical embedded systems and increase the productivity of developers, system engineering methods and tools need to be improved.  By using an open-source approach, the TOPCASED Project hopes to ensure the availability of reliable tools over a long period of time, to share the development costs among all those involved, and to make use of valuable tools already available.</p>



<p>AdaCore is leveraging its experience in safety-critical and embedded software engineering to bring TOPCASED users an advanced Eclipse-based environment for developing Ada applications.</p>


<p>
“AdaCore’s reputation in the open-source industry meant that we were keen to secure its participation in TOPCASED,” said Patrick Farail, Head of Software Development Methods Support, Airbus France.  “We felt that AdaCore’s approach to embedded development for avionics, its history of working on large, complex and safety-critical projects, and the company’s impressive list of commercial and military avionics customers made it the perfect partner for the project,” he added.</p>


<p>
“AdaCore understands the unique challenges of the embedded aerospace market, and we are excited to be an active member of TOPCASED, working with industrial and academic partners. Our company has a longstanding commitment to open-source, safety-critical, and embedded software development, as evidenced by our support for the Ada community,” said Nicolas Setton, AdaCore’s TOPCASED Project Manager.</p>


<p>
Please see: <a href="http://www.topcased.org/">http://www.topcased.org/</a> for further details about The TOPCASED Project.</p>



<p><strong>About AdaCore</strong><br/>

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is GNAT Pro, which comes with expert online support and is available on more platforms than any other Ada technology. AdaCore has a large world-wide customer base in high-integrity and safety-certified applications, including avionics, military systems, air traffic control, railroad systems, and financial services. See <a href="http://www.adacore.com/home/company/customers/">http://www.adacore.com/home/company/customers/</a> for more information.
AdaCore has North American headquarters in New York and European headquarters in 
Paris.</p>


<p><strong>Press Contact</strong><br/>
<a href="mailto:press@adacore.com">press@adacore.com</a></p>



]]></content:encoded>
			<wfw:commentRss>http://www2.adacore.com/2007/10/29/adacore-joins-topcased-project/feed/</wfw:commentRss>
		</item>
		<item>
		<title>AdaCore Launches New GPRbuild Tool To Speed Multi-Language Development</title>
		<link>http://www2.adacore.com/2007/09/25/gprbuild/</link>
		<comments>http://www2.adacore.com/2007/09/25/gprbuild/#comments</comments>
		<pubDate>Tue, 25 Sep 2007 04:00:38 +0000</pubDate>
		<dc:creator>AdaCore</dc:creator>
		
		<category>Press Releases</category>

		<guid isPermaLink="false">http://www2.adacore.com/2007/09/25/gprbuild/</guid>
		<description><![CDATA[Easy to use tool aims to solve increasing project complexity 


MANCHESTER, UK – Ada Conference UK – September 25, 2007 - AdaCore, provider of the highest quality Ada tools and support services, today announced GPRbuild, an advanced new software tool designed to help automate the construction of multi-language systems. The first tool of its kind, [...]]]></description>
			<content:encoded><![CDATA[<em>Easy to use tool aims to solve increasing project complexity </em>

<p>
<strong>MANCHESTER, UK – Ada Conference UK – September 25, 2007 </strong>- AdaCore, provider of the highest quality Ada tools and support services, today announced GPRbuild, an advanced new software tool designed to help automate the construction of multi-language systems. The first tool of its kind, it removes complexity from multi-language development by allowing developers to quickly and easily compile and link software written in a combination of languages, including Ada, assembler, C, C++ and Fortran. Easily extendable by users to cover new toolchains and languages, it is primarily aimed at projects of all sizes organized into subsystems and libraries, and is particularly well-suited for compiled languages.</p>



<p>Designed to work with any version of AdaCore’s GNAT Pro development environment, GPRbuild features a built-in knowledge base that understands the characteristics of compilers across a wide variety of languages. Rather than having to maintain complex rules for building each component of a system, developers simply specify the sources’ location and compiler options.  GPRbuild automatically manages their integration into a complete system.</p>


<p>

“With more and more projects becoming multi-language there is a growing need for a generic build utility that can make integration a less complex and more automatic process,” commented Cyrille Comar, managing director, AdaCore. “Developed following customer feedback, GPRbuild is simple and straightforward to operate, enabling users to concentrate on development rather than needing to worry about bringing multi-language applications together into a single system.”</p>


<p>
Previously developers needed to manually link components of multi-language applications, which relied on in-depth knowledge of each compiler involved as well as how they interact with each other. This process had to be repeated if new versions of compilers were used as there was no simple way of collecting and sharing integration data. GPRbuild’s inherent knowledge base covers most commonly used toolchains and languages, but also allows developers to add their own information to standardize native and cross-platform configuration.</p>



<p>GPRbuild manages a three-step build process – compilation, post-compilation (binding) and linking. </p>



<p><strong>Compilation:</strong><br/>

Each compilation unit of every subsystem is examined in turn, checked for consistency, and compiled or recompiled when necessary by the appropriate compiler.  The recompilation decision is based on dependency information usually automatically captured by a former compilation.</p>


<p>
<strong>Post-compilation (binding):</strong></p>

Compiled units of a given language are passed to a language-specific post-compilation tool where it exists. It is also during this phase that objects are grouped into static or dynamic libraries as specified.</p>

<p>
<strong>
Linking:</strong><br/>

All units or libraries from all subsystems are passed to a linker tool specific to the set of toolchains used together.</p>



<p>GPRbuild takes as its main input a project file defining the build characteristics of the system under construction, such as: which sources to use, where to find them, where to store the objects produced by the compiler, and which options the various tools should be invoked with.</p>



<p>While GPRbuild is generic in the sense that it provides equivalent build features for all supported languages, it also allows the addition of new languages and new toolchains and provides a means of configuring aspects, including:</p>
<ul>
	<li>
language characteristics (such as source naming conventions)</li>

	<li>toolchain characteristics (such as compiler invocation)</li>
	<li>
subsystem characteristics (such as compiler default options)</li>

	<li>source file characteristics (such as file specific compilation options)</li>
</ul>



<p>
<strong>Availability</strong><br/>

GPRbuild is immediately available from October 2007 in beta, as part of the GNAT Pro subscription. It runs on all GNAT Pro supported configurations - please contact AdaCore (<a href="mailto:sales@adacore.com">sales@adacore.com</a>) for the latest information on pricing.</p>


<p>

<strong>About AdaCore</strong><br/>

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is GNAT Pro, which comes with expert online support. AdaCore has a large world-wide customer base in high-integrity and safety-certified applications, including avionics, defense, air traffic control, railroad systems, and financial services. See <a href="http://www.adacore.com/home/company/customers/">http://www.adacore.com/home/company/customers/ </a>for more information.</p>



<p>AdaCore has North American headquarters in New York and European headquarters in Paris. <a href="http://www.adacore.com">www.adacore.com</a></p>

<strong>Press Contact</strong><br/>
<a href="mailto:press@adacore.com">press@adacore.com</a>

]]></content:encoded>
			<wfw:commentRss>http://www2.adacore.com/2007/09/25/gprbuild/feed/</wfw:commentRss>
		</item>
	</channel>
</rss>
