 |
 |
 |
| |
|
|
AdaCore's GNAT Pro Offering For Wind River VxWorks
 |
|
|
|
| |
|
Now, AdaCore's enhanced GNAT Pro offerings are available on all active versions of Wind River's VxWorks operating system.
|
|
|
|
|
|
Friday, June 26, 2009:
Mistral Solutions has announced the availability of AdaCore's enhanced GNAT Pro offerings on all active versions of Wind River's VxWorks operating system. Ranging from VxWorks 5, VxWorks 6, VxWorks 653, VxWorks DO-178B and VxWorks MILS, GNAT Pro is now available for an extensive range of VxWorks platforms. In addition, all Wind River platforms supporting deployment in DO-178B certified environments are also supported.
|
|
GNAT Pro for VxWorks 5 and 6 are suitable for general-purpose software development. The GNAT Pro offering for VxWorks 6, supports both symmetric multiprocessing (SMP) and asymmetric multiprocessing (AMP) multicore implementation models that allow customers to deploy Ada on advanced multicore processors while enabling high levels of optimisation for a variety of challenging multiprocessor designs and configurations.
The specialised GNAT Pro High-Integrity Edition for DO-178B, available for the VxWorks 653 and VxWorks DO-178B Platforms caters to RTCA DO-178B and IEC 61508 safety-critical systems. Offering three specific runtime environments, AdaCore's GNAT Pro High-Integrity Edition includes a zero-foot-print (ZFP) library that simplifies safety certification for sequential applications, a Ravenscar library that provides support for tasking or multi-processing and a Cert library that adds ARINC653 awareness and supports advanced integrated modular avionics (IMA) features.
AdaCore's GNAT Pro offering for VxWorks MILS (multiple independent levels of security) combined with SPARK Pro supports security certification of user applications or their components to Evaluation Assurance Level (EAL) 5 and higher. SPARK Pro is an integrated development environment combined with the SPARK language tool set suited for safety-critical and high-security application development.
|
|
| |
|
|
|
|
| |
|
|
| |
|
| |
| |
| |
|
|
 |
 |
 |
 |
|
|
|
|
|
|
|
|
|
|
|
SUBSCRIBE TO EFYTIMES
Receive the latest reviews, how-tos, news & more.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Join The LED Lighting Revolution |
| The technology to solve our lighting problems is here. What the industry needs is a change in the way people think about lighting, and a new blood tha... |
|
|
10 Best Windows 8 Features You Missed |
| The frequently heard Metro interface of Windows 8, designed for touchscreen computers and tablet PCs, has been built to use HTML5 and CSS3. It seamles... |
|
|
| |
| |
 |
|
|
|
|
|
|
|
|
|
|
|
 |
|
|
|
"Aakash Is An OLPC Wannabe" |
| Satish Jha, head of One Laptop Per Child (OLPC) India Foundation, believes that the Indian Government had billed Aakash as an answer to OLPC.... |
|
|
|
|
|
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|