Electronic Design Auto Electronics Microwaves & RF Power Electronics Technology Source ESB Mobile Dev & Design Engineering TV
View this week's entry ad Subscribe Contact Register Sign In
Search
Twitter Logo Facebook logo RSS Feed Logo Newsletter Logo

Premium Content

New Signal Chain Resources from Texas Instruments:

ADA Is Alive And Well

Date Posted: May 06, 2010 12:00 AM
Author: William Wong

More ESC 2010 SV Coverage

Ada remains one of the best platforms for developing secure and reliable applications. Atego and Adacore, two Ada supporters, have delivered a number of new Ada implementations. Atego’s Aonix ObjectAda Real-Time for VxWorks 653 brings ARINC-653 support to Wind River’s operating system. This includes support via Aonix ObjectAda Real-Time and Aonix ObjectAda Raven. The package consists of a fully compliant ACATS 2.5 Ada 95 compiler plus supporting tools. Meanwhile, Adacore and Altran Praxis have announced SPARK Pro 9. The open-source development environment features improved security functionality, including the ability to verify and ensure Multiple Independent Levels of Security (MILS) within the same application. A new information-flow verification feature supports safety and security policies, such as Bell-LaPadula, based on integrity labelling of variables, inputs, and outputs. The ZombieScope tool detects dead statements, branches, and paths in Spark code. It complements the capabilities of the Simplifier and proof status summarizer, Pogs. Pro 9 also supports the latest SPARK2005 language profile.

Adacore

Altran Praxis

Atego

ESC 2010 Silicon Valley

Related Content:

Adacore | Altran Praxis | Atego | PERC
Part Inventory
Go
powered by:
 

 
Comments
Electronic Design
You must log on before posting a comment.

Are you a new visitor? Register Here
  • falis
    2 years ago
    May 07, 2010

    I love to see columns like this that recognize what a great technology Ada is for these kinds of applications, and that announce ongoing development of tools supporting its use. But ...

    I know I'm risking being a bad boy here (and our marketing people will probably spank me for it), however I do need to point out (as the lead engineer of the project) that AdaCore has had a full Ada solution for VxWorks 653 commercially available since 2003. This solution has been used to create Level A and/or B flight code for the Boeing 767 Tanker, C-130 AMP cockpit upgrade, Boeing 787 CCS, as well as for a number of other programs on both continents that are either flying or in progress.

    The product has included bindings to the ARINC-653 APEX since the beginning, and also includes several Level A certifiable run-time profiles, one of which is Ravenscar with a rich set of sequential constructs that include exception handling. It is fully integrated with WorkBench.

    I only mention this so that there is no misunderstanding among readers that the new Atego solution is the only game in town for VxWorks 653 Ada and multi-language development.

    - Ed Falis, AdaCore, speaking for himself

  • falis
    2 years ago
    May 07, 2010

    I love to see columns like this that recognize what a great technology Ada is for these kinds of applications, and that announce ongoing development of tools supporting its use. But ...

    I know I'm risking being a bad boy here (and our marketing people will probably spank me for it), however I do need to point out (as the lead engineer of the project) that AdaCore has had a full Ada solution for VxWorks 653 commercially available since 2003. This solution has been used to create Level A and/or B flight code for the Boeing 767 Tanker, C-130 AMP cockpit upgrade, Boeing 787 CCS, as well as for a number of other programs on both continents that are either flying or in progress.

    The product has included bindings to the ARINC-653 APEX since the beginning, and also includes several Level A certifiable run-time profiles, one of which is Ravenscar with a rich set of sequential constructs that include exception handling. It is fully integrated with WorkBench.

    I only mention this so that there is no misunderstanding among readers that the new Atego solution is the only game in town for VxWorks 653 Ada and multi-language development.

    - Ed Falis, AdaCore, speaking for himself

  • falis
    2 years ago
    May 07, 2010

    I love to see columns like this that recognize what a great technology Ada is for these kinds of applications, and that announce ongoing development of tools supporting its use. But ...

    I know I'm risking being a bad boy here (and our marketing people will probably spank me for it), however I do need to point out (as the lead engineer of the project) that AdaCore has had a full Ada solution for VxWorks 653 commercially available since 2003. This solution has been used to create Level A and/or B flight code for the Boeing 767 Tanker, C-130 AMP cockpit upgrade, Boeing 787 CCS, as well as for a number of other programs on both continents that are either flying or in progress.

    The product has included bindings to the ARINC-653 APEX since the beginning, and also includes several Level A certifiable run-time profiles, one of which is Ravenscar with a rich set of sequential constructs that include exception handling. It is fully integrated with WorkBench.

    I only mention this so that there is no misunderstanding among readers that the new Atego solution is the only game in town for VxWorks 653 Ada and multi-language development.

    - Ed Falis, AdaCore, speaking for himself

  • falis
    2 years ago
    May 07, 2010

    I love to see columns like this that recognize what a great technology Ada is for these kinds of applications, and that announce ongoing development of tools supporting its use. But ...

    I know I'm risking being a bad boy here (and our marketing people will probably spank me for it), however I do need to point out (as the lead engineer of the project) that AdaCore has had a full Ada solution for VxWorks 653 commercially available since 2003. This solution has been used to create Level A and/or B flight code for the Boeing 767 Tanker, C-130 AMP cockpit upgrade, Boeing 787 CCS, as well as for a number of other programs on both continents that are either flying or in progress.

    The product has included bindings to the ARINC-653 APEX since the beginning, and also includes several Level A certifiable run-time profiles, one of which is Ravenscar with a rich set of sequential constructs that include exception handling. It is fully integrated with WorkBench.

    I only mention this so that there is no misunderstanding among readers that the new Atego solution is the only game in town for VxWorks 653 Ada and multi-language development.

    - Ed Falis, AdaCore, speaking for himself

  • falis
    2 years ago
    May 07, 2010

    I love to see columns like this that recognize what a great technology Ada is for these kinds of applications, and that announce ongoing development of tools supporting its use. But ...

    I know I'm risking being a bad boy here (and our marketing people will probably spank me for it), however I do need to point out (as the lead engineer of the project) that AdaCore has had a full Ada solution for VxWorks 653 commercially available since 2003. This solution has been used to create Level A and/or B flight code for the Boeing 767 Tanker, C-130 AMP cockpit upgrade, Boeing 787 CCS, as well as for a number of other programs on both continents that are either flying or in progress.

    The product has included bindings to the ARINC-653 APEX since the beginning, and also includes several Level A certifiable run-time profiles, one of which is Ravenscar with a rich set of sequential constructs that include exception handling. It is fully integrated with WorkBench.

    I only mention this so that there is no misunderstanding among readers that the new Atego solution is the only game in town for VxWorks 653 Ada and multi-language development.

    - Ed Falis, AdaCore, speaking for himself

  • falis
    2 years ago
    May 07, 2010

    I love to see columns like this that recognize what a great technology Ada is for these kinds of applications, and that announce ongoing development of tools supporting its use. But ...

    I know I'm risking being a bad boy here (and our marketing people will probably spank me for it), however I do need to point out (as the lead engineer of the project) that AdaCore has had a full Ada solution for VxWorks 653 commercially available since 2003. This solution has been used to create Level A and/or B flight code for the Boeing 767 Tanker, C-130 AMP cockpit upgrade, Boeing 787 CCS, as well as for a number of other programs on both continents that are either flying or in progress.

    The product has included bindings to the ARINC-653 APEX since the beginning, and also includes several Level A certifiable run-time profiles, one of which is Ravenscar with a rich set of sequential constructs that include exception handling. It is fully integrated with WorkBench.

    I only mention this so that there is no misunderstanding among readers that the new Atego solution is the only game in town for VxWorks 653 Ada and multi-language development.

    - Ed Falis, AdaCore, speaking for himself

  • falis
    2 years ago
    May 07, 2010

    I love to see columns like this that recognize what a great technology Ada is for these kinds of applications, and that announce ongoing development of tools supporting its use. But ...

    I know I'm risking being a bad boy here (and our marketing people will probably spank me for it), however I do need to point out (as the lead engineer of the project) that AdaCore has had a full Ada solution for VxWorks 653 commercially available since 2003. This solution has been used to create Level A and/or B flight code for the Boeing 767 Tanker, C-130 AMP cockpit upgrade, Boeing 787 CCS, as well as for a number of other programs on both continents that are either flying or in progress.

    The product has included bindings to the ARINC-653 APEX since the beginning, and also includes several Level A certifiable run-time profiles, one of which is Ravenscar with a rich set of sequential constructs that include exception handling. It is fully integrated with WorkBench.

    I only mention this so that there is no misunderstanding among readers that the new Atego solution is the only game in town for VxWorks 653 Ada and multi-language development.

    - Ed Falis, AdaCore, speaking for himself

  • falis
    2 years ago
    May 07, 2010

    I love to see columns like this that recognize what a great technology Ada is for these kinds of applications, and that announce ongoing development of tools supporting its use. But ...

    I know I'm risking being a bad boy here (and our marketing people will probably spank me for it), however I do need to point out (as the lead engineer of the project) that AdaCore has had a full Ada solution for VxWorks 653 commercially available since 2003. This solution has been used to create Level A and/or B flight code for the Boeing 767 Tanker, C-130 AMP cockpit upgrade, Boeing 787 CCS, as well as for a number of other programs on both continents that are either flying or in progress.

    The product has included bindings to the ARINC-653 APEX since the beginning, and also includes several Level A certifiable run-time profiles, one of which is Ravenscar with a rich set of sequential constructs that include exception handling. It is fully integrated with WorkBench.

    I only mention this so that there is no misunderstanding among readers that the new Atego solution is the only game in town for VxWorks 653 Ada and multi-language development.

    - Ed Falis, AdaCore, speaking for himself