Ada Passion

The latest project from a member of our technical team sees Ada on the first RISC-V microcontroller, check it out here:

blog.adacore.com

Ada on the first RISC-V microcontroller - The AdaCore Blog

open instruction set is getting more and more news coverage these days. In particular since the release of the first RISC-V microcontroller fromopen instruction set is getting more and more news coverage these days. In particular since the release of the first RISC-V microcontroller from

Ada Passion

Ada now cleans floors! Check out the latest project on blog.adacore.com and find out how to program an iRobot Create® 2 Programmable Robot in Ada, featuring a very cute cat...

Ⓡ is an interesting experience. For those not familiar, the RoombaⓇ is a robot vacuum cleaner that’s about the diameter of a small pizza and stands tall enough to still fit under your bed. It has two independently driven wheels, a small-ish dust bin, a rechargeable battery, and a speaker programmed…

blog.adacore.com

The Adaroombot Project - The AdaCore Blog

Ⓡ is an interesting experience. For those not familiar, the RoombaⓇ is a robot vacuum cleaner that’s about the diameter of a small pizza and stands tall enough to still fit under your bed. It has two independently driven wheels, a small-ish dust bin, a rechargeable battery, and a speaker programmed…Ⓡ is an interesting experience. For those not familiar, the RoombaⓇ is a robot vacuum cleaner that’s about the diameter of a small pizza and stands tall enough to still fit under your bed. It has two independently driven wheels, a small-ish dust bin, a rechargeable battery, and a speaker programmed…

Ada Passion

Register now for AdaCore's Tech Days!

This customer oriented event will allow you the opportunity to learn more about our products, meet other AdaCore users, and get hands-on training from our technical experts.

We will be in Paris and Boston later this year so don't miss out!

AdaCore Tech Days | AdaCoreAdaCore Tech Days | AdaCoreZobacz więcej na stronie ADACORE.COM

Ada Passion

With huge prizes up for grabs, there's still lots of time to register and submit your project ideas to the Make with Ada competition!

http://makewithada.org

Make with AdaMake with AdaMake with AdaMake with AdaMake with AdaZobacz więcej na stronie MAKEWITHADA.ORG

Ada Passion

Calling all developers: don't miss our latest blog post on debugging with the help of GDB scripts!

blog.adacore.com

blog.adacore.com

Ada Passion

The second part of our making robots with Ada!

Making robots with Ada, Part 2 - Driving the motors | Embedded http://adaco.re/j5

Making robots with Ada, Part 2 - Driving the motorsMaking robots with Ada, Part 2 - Driving the motorsZobacz więcej na stronie EMBEDDED.COM

Ada Passion

We have both our EU and US tech days coming up in the next two months in Paris and Boston! You can register for them here: Paris:http://adaco.re/a1 Boston: http://adaco.re/a2

adacore.com

AdaCore Tech Days - Paris, France | AdaCore Tech Days | AdaCore

AdaCore technical staff will present the latest news about the company's current and planned product offerings and activities including GNAT Pro, CodePeer, SPARK Pro, and QGen.AdaCore technical staff will present the latest news about the company's current and planned product offerings and activities including GNAT Pro, CodePeer, SPARK Pro, and QGen.

Ada Passion

Make sure you keep 27th September open so you can tune into our "Developing embedded systems in Ada - a C programmer's guide to safe, secure software" webinar! 15:00 CEST/ 8:00 CDT register yourself here now! http://adaco.re/j6

electronics-know-how.com

Electronics-Know-How.com

Developing embedded systems in Ada - a C programmer's guide to safe, secure software The easiest bugs to correct are the ones that are not inserted in the first place. This webinar will show how the Ada language can help you design, implement and verify embedded software that will be reliable, safe…Developing embedded systems in Ada - a C programmer's guide to safe, secure software The easiest bugs to correct are the ones that are not inserted in the first place. This webinar will show how the Ada language can help you design, implement and verify embedded software that will be reliable, safe…

Ada Passion

Our Make with Ada competition is still open! There's still 5 days to get your entries in guys! Let's get building! http://adaco.re/j7

Make with AdaMake with AdaMake with AdaMake with AdaMake with AdaZobacz więcej na stronie MAKEWITHADA.ORG

Ada Passion

We are so very excited to announce that AdaCore will be hosting its first public SPARK training in Paris this December! To ensure you don't miss out click this link to register now! http://adaco.re/ja

adacore.com

Public SPARK Training | AdaCore

This training course is for project managers and software engineers required to be operational on projects using the SPARK language. This course will provide delegates with the necessary set of competencies to master the language and the formal verification tools that form the SPARK solution. It doe...This training course is for project managers and software engineers required to be operational on projects using the SPARK language. This course will provide delegates with the necessary set of competencies to master the language and the formal verification tools that form the SPARK solution. It doe...

Ada Passion

Last chance to sign up for tomorrow's 'Developing embedded systems in Ada - a C programmer's guide to safe, secure software' webinar hosted by AdaCore's Rob Tice 15:00 CEST/8:00 CDT. Register here: http://adaco.re/j6

Electronics-Know-How.comElectronics-Know-How.comZobacz więcej na stronie ELECTRONICS-KNOW-HOW.COM

Ada Passion

We are delighted to announce our Make with Ada competitions winners!

In 3rd place is Manuel Iglesias Abbatemarco with his Ada IoT Stack
This year's runner up is German Rivera who was also MWA 2016's second prize winner with a Smartwatch
And our Make with Ada 2017 winner is Jonas Attertun who developed the software for a brushless DC motor controller!

...

You can find all of their project logs with this link: http://adaco.re/jm

A massive well done to our prize winners and everyone else who took part!

Zobacz więcej

makewithada.org

Make with Ada

The 1st place prize of €5000/$5500 was awarded to Jonas Attertun from Sweden for his Ada Motorcontrol. The project involved the design of a software platform for developing a brushless DC motor controller (BLDC/PMSM). He used a custom, open-source board with an STM32F446 microprocessor, a sensored f...The 1st place prize of €5000/$5500 was awarded to Jonas Attertun from Sweden for his Ada Motorcontrol. The project involved the design of a software platform for developing a brushless DC motor controller (BLDC/PMSM). He used a custom, open-source board with an STM32F446 microprocessor, a sensored f...

Ada Passion

A very interesting new blog by SPARK engineer Yannick Moy, Martin Becker and Emanuel Regnath: Physical Units Pass the Generic Test. Definitely worth a read if you're having problems with this! http://blog.adacore.com/physical-units-pass-the-generic-test

Ada Passion

New blog up "Cross-referencing Ada with Libadalang" an excellent follow on from our "Highlighting Ada with Libadalang" blog! Give that a read before if you haven't already! http://blog.adacore.com/cross-referencing-ada-with-libadala…

Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...

blog.adacore.com

Cross-referencing Ada with Libadalang - The AdaCore Blog

Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...

Ada Passion

AdaCore has been working with CEA Paris-Saclay, Inria & NIST to organise a two day event dedicated to sound static analysis techniques and tools! To find out more and register click here: https://www.adacore.com/sound-static-analysis-workshop

Ada Passion

Calling all Ada and SPARK advocates! We're excited to announce that the GNAT community 2018 download has arrived! For more info on updates and to download, check out our new blog here https://blog.adacore.com/gnat-community-2018

GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...

blog.adacore.com

GNAT Community 2018 is here! - The AdaCore Blog

GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...

Ada Passion

NVIDIA is joining the Ada and SPARK adopter wave

NVIDIA is joining the Ada and SPARK adopter wave by Quentin Ochem – Feb 05, 2019 Over the past several years, a great number of public announcements have been made about companies that are either studying or adopting the Ada and SPARK programming languages. Noteworthy examples include Dolby, Denso...

blog.adacore.com

NVIDIA is joining the Ada and SPARK adopter wave - The AdaCore Blog

NVIDIA is joining the Ada and SPARK adopter wave by Quentin Ochem – Feb 05, 2019 Over the past several years, a great number of public announcements have been made about companies that are either studying or adopting the Ada and SPARK programming languages. Noteworthy examples include Dolby, Denso...NVIDIA is joining the Ada and SPARK adopter wave by Quentin Ochem – Feb 05, 2019 Over the past several years, a great number of public announcements have been made about companies that are either studying or adopting the Ada and SPARK programming languages. Noteworthy examples include Dolby, Denso...

Ada Passion

Join us in Huntsville on Thursday, May 9 for AdaCore Tech Days Alabama! This free event, geared toward software developers and project managers, will provide insight into AdaCore’s product and service offerings to support Cyber Security, coding, verification, static analysis, C/C++ development, and FACE™. For the full agenda and to register, please visit https://www.adacore.com/tech-days-alabama

Ada Passion

AdaCore Senior Software Engineer Yannick Moy provides a scientific overview of software security.

https://saemobilus.sae.org/…/software-security-a-scientific…

Software needs security. That's a consequence of using software to control critical systems. It's difficult because software is inherently a complex artifact, even when the code just consists of a single sequential program in a single programming language, with well-defined inputs and outputs. Of co...

saemobilus.sae.org

Software security, a scientific overview

Software needs security. That's a consequence of using software to control critical systems. It's difficult because software is inherently a complex artifact, even when the code just consists of a single sequential program in a single programming language, with well-defined inputs and outputs. Of co...Software needs security. That's a consequence of using software to control critical systems. It's difficult because software is inherently a complex artifact, even when the code just consists of a single sequential program in a single programming language, with well-defined inputs and outputs. Of co...