|
SpotlightUpcoming EventESC Boston »September 20-23, Boston, MA. Featured TechnologyAda 2012 »See the new features being introduced in the latest language revision Featured TechnologyGNAT Pro for MILS »When software must be safe and secure. Featured VideoOpen-DO conference »Videos of the presentations given at this year’s conference. Featured TechnologyThe Tokeneer Project »A hands on look at an NSA funded, highly secure biometric software system. |
|
AdaCore News
- Addressing the Application Side of the MILS Architecture (COTS Journal)
- AWS available for Wind River’s VxWorks
- Altran Praxis and AdaCore Release Open Source SPARK Implementation of Skein Algorithm
- Challenges facing avionics software programmers (Avionics Magazine)
- SPARK Pro Adopted by secunet
- Achieving Embedded Software Safety with Agility (Embedded Technology)
- Why is static analysis a challenge? (Embedded-news.tv)
- View all »
Shortcuts
| Development Solutions | Technology Links | Product Updates |
|---|---|---|
