AdaCore helps people build safe, secure and reliable software.
Headquarters - Paris | NYC
- Tweets 1,744
- Following 455
- Followers 2,002
- Likes 766
📽️ Discover what makes AdaCore a unique place to work in our latest video! Hear directly from our team members about their experiences, the supportive culture, and the impactful projects that make AdaCore an inspiring place to grow professionally.
👉 See how you can be a part of our story: adacore.com/company/careers
1
1
9
926
We're joining forces with @FerrousSystems to develop Ferrocene - a safety-qualified #Rust toolchain, offering an opportunity to extend to the @rustlang community the expertise that we developed around safety-certified Ada toolchains. blog.adacore.com/adacore-and… #rustlang
26
87
Check out how JTEKT and NVIDIA are working to meet safety requirements for in-vehicle software. This article published in Nikkei Xtech, describes how they are using Ada/SPARK to meet these requirements.
adacore.com/zero-defect-soft…
#autonomousdrivingsystem
9
57
In partnership with @FerrousSystems, we want to bring a safety-certified @rustlang toolchain to the high integrity market! Together we believe that there is a need for both #Ada & #Rust in the safety- & security-critical arena. r.adaco.re/le #rustlang
9
40
We're at #embeddedworld2018! Come to talk to us about Ada on risc-v at the AdaCore booth (4-149) @risc_v @SiFiveInc #embedded #Ada
11
31
AdaCore is thrilled to join the Rust Foundation. And we look forward to bringing our extensive certification and safety standards experience to the Rust community. #safetystandards, #certification, #rustlang adacore.com/press/adacore-jo…
1
16
30
3,906
Great news from AdaCore! 🎉
A key milestone for #Rust has been reached: thanks in part to AdaCore’s certification experience, a compiler based on Rust 1.68 has received qualification for use in ASIL D software development under ISO 26262.
Read more here: buff.ly/3FSqIF3
5
25
2,866
An early Christmas present for you with our new blog post "Leveraging Ada Run-Time Checks with Fuzz Testing in AFL" looking into fuzzing using the AFL tool! Click to read it here: blog.adacore.com/running-ame… #fuzzing #bugfinding #developing
15
25
We are happy to announce that the #GNATCommunity 2020 release is now available to download! Check out the blog for this year's release highlights - blog.adacore.com/gnat-commun… @adaprogrammers #Adaprogramming #SPARKAda #embeddedprogramming
11
23
Running Ada on an @adafruit Feather board by @DesChips - blog.adacore.com/ada-on-a-fe… #adafruit #Adaprogramming #embeddedprogramming
7
23
Check out our drawing robot programmed in #Ada and #Ravenscar, running on the new radiation-hardened microcontroller from @MicrochipTech (SAMRH71)! Come and visit us at #SpaceTechExpoEU - booth G58 to see it live.
#Adaprogramming #microchip #spacetech
6
21
We are delighted to announce that the winner of the 2022 SIGAda Robert Dewar Award for Outstanding Ada Community Contributions is our own Software Engineer Fabien Chouteau. #SIGAda, #Alire, #Adacommunity sigada.org/
1
2
17
Today marks the birthday of #AdaLovelace, the world's first computer programmer! Let's celebrate her work, opening the door to #WomenInSTEM, see more about her story here - celebratingada.com/ #CelebratingAda #Adaprogramming #adalovelacefestival #womenintech #womenwhocode
12
19
Register today for the #webinar "Application of SPARK to steering system software development" on Sept 9. Shinya Yoneki from JTEKT introduces the use of Formal Verification Tool Suite, SPARK Pro for JTEKT's electric power steering system.
Registration page:r.adaco.re/l5
1
1
21
Check out our latest blog post "From #Rust to SPARK: Formally Proven Bip-Buffers" a formally proven Ada/SPARK implementation.
blog.adacore.com/from-rust-t…
@DesChips #Adaprogramming
1
9
23
Enhancing security-critical firmware with @nvidia using the #Ada and #SPARK programming languages help lower the cost of #softwaredevelopment and #verification #cybersecurity #Adaprogramming #RISCV @risc_v adacore.com/press/adacore-en…
1
11
19
We are now members of The @risc_v Foundation, providing #Ada and C compilation support targeted to bare metal #RISCV 32- and 64-bit architectures #embeddedprogramming #Adaprogramming #Cprogramming
adacore.com/press/adacore-jo…
9
17
📣 Announcing the availability of Labs - learn.adacore.com/labs/intro…! These exercises are complementary to the Introduction to Ada course & are a perfect way to test your progress in learning how to program in Ada. All site content is downloadable for offline reading. #Adaprogramming
10
21
Access the new draft Ferrocene Language Specification and find out how we are partnering with @FerrousSystems to develop the Ferrocene Rust toolchain to achieve qualification under industry software safety standards in high integrity markets: blog.adacore.com/announcing-…
#rustlang
10
22
See how Latitude Engineering boosts their light launcher software's safety & reliability using Ada & SPARK. A big leap in space tech, showcasing these languages' potential in critical aerospace applications!
Read the full story here: bit.ly/3utVnGo
1
3
20
8,877
AdaCore's NEW Interactive site to learn the Ada language & program proving in SPARK is live! Go to learn.adacore.com to take a look and get programming! Or read more about it in our blog post blog.adacore.com/learn-adaco… #programming #Ada #SPARK #coding #developers
13
16
Happy 203rd birthday to our favourite pioneer of programming, #AdaLovelace. Centuries later and still an inspiration to the field of computer science and #WomenInSTEM. Join us in celebrating Lady Ada - celebratingada.com/ #Adaprogramming
9
18
Have you seen our #MadeWithAda and @risc_v #SUDOKU ? Come and check it at our demo table at the #AdaCoreTechDays !
5
18
The 2020/21 #MakewithAda competition is here! We’re calling on developers across the globe to build cool embedded applications using Ada/SPARK and are offering $9k in prizes, including a student prize. Register today! #Adaprogramming @adaprogrammers hackster.io/contests/adacore…
12
19
AdaCore is at Ada Europe, look out for our two talks today "Easy Ada Tooling with Libadalang" and "Safe Dynamic Memory Management in Ada and SPARK". We also have a booth if you want to come and talk to us about all things Ada! #AdaEurope #Ada #Tooling
1
5
18
Happy Bday #AdaLovelace! Lady Ada is commonly regarded as the world’s first programmer. The Ada language, named in her honor, was designed for developing reliable, safe and secure software. Read her bio: celebratingada.com/
#Adaprogramming #WomenInSTEM #WomenWhoCode
12
15
Did you know that Ada & SPARK support the BBC #microbit? Making it easy for anyone to get started with these programming languages! Check out part 1 of our Ada for the micro:bit series- blog.adacore.com/ada-for-mic… @microbit_edu #NationalCodingWeek #Adaprogramming #embeddedprogramming
7
15
Light up your life 💡 (quite literally) by running #Ada on a #RISCV #CPU #PicoRV32 @risc_v @adaprogrammers. The latest by @DesChips - blog.adacore.com/ada-on-fpga…
1
4
12
Register for the #riscvGlobalForum on Sept 3rd! We are happy to sponsor this virtual event to continue bringing the Ada & SPARK programming languages to the forefront of technologies available to #RISCV developers. @risc_v @linuxfoundation
events.linuxfoundation.org/r…
11
17
The Future is Bright for Ada/SPARK with Alire! ✨Congratulations to the winners of our new programming competition 👏. They demonstrated inventiveness using the Ada Library Repository, Ada & SPARK. Check out the winners here -r.adaco.re/ld #Adaprogramming #opensource
1
8
12
#Fuzzing is proven to be a suitable mechanism for finding code vulnerabilities. Alongside contributing our GCC plugin to the latest #AFLplusplus, find out how we're working on industrial grade fuzz testing solutions for #Adaprogramming. @hackerschoice blog.adacore.com/advanced-fu…
5
15
Our weekly #InspirationalEngineering shout-out is Frances V. Spence, one of the original programmers for the #ENIAC, the first electronic digital computer. She is considered one of the first computer programmers in history. #WomenInSTEM #WomeninTech
8
13
Exciting updates for our Learn.AdaCore website! We're bringing you enhanced tutorials, cutting-edge resources, and more to enrich your learning experience. Perfect for both new and seasoned programmers.
🔗 Read all about it: blog.adacore.com/learn-2023-…
#ada
1
5
18
986
Today, we're championing #MargaretHamilton, a computer scientist who led the #ApolloSpaceProgram on-board flight software development. Her contribution towards the Apollo 11 mission successfully landed the first humans on the Moon, a feat for the #aerospace industry! #WomeninSTEM
1
14
Dr. Yannick Moy from AdaCore is presenting “A MISRA-C Developer’s Introduction to Program Proving in SPARK” in Hall 2 Stand 510 at 11am #ew2019 Don’t miss it !
2
2
14
Calling all Ada and SPARK enthusiasts! GNAT community 2018 has arrived! Check out our new blog post for more info! blog.adacore.com/gnat-commun… #programming #coding #Ada #software #SPARK
1
8
13
AdaCore University is now on YouTube! Go to the AdaCore channel and find the video tutorials there, or alternatively follow the attached link. Happy programming! piped.video/playlist?list=PL… #software #programming #tutorials #Ada #developer
1
7
13
Making a remote-controlled car in Ada and SPARK using @LEGO_Group NXT Mindstorms -blog.adacore.com/making-an-r… #Adaprogramming #embeddedprogramming #MakewithAda
6
16
"Measures like the incorporation of #Ada and #SPARK languages into #NVIDIA’s platform can help improve the robustness of automotive security, especially as cars become increasingly automated." @nvidia #autonomousdriving #Adaprogramming #CyberSecurity blogs.nvidia.com/blog/2019/0…
4
12
🎉 Celebrating 30 Years of AdaCore!
Journey through the decades with us in our latest blog post, where we share the remarkable stories and milestones that have shaped our company. From groundbreaking projects to impactful partnerships, discover the legacy of innovation that defines AdaCore.
👉 Relive the memories and explore our journey: blog.adacore.com/adacore-mem…
2
3
12
420
Happy World Developers and #ProgrammersDay! Here's to all programmers 🙌 and a special shout-out those programming in Ada and SPARK. On this day, we'd love to know - what are your favourite things about programming in Ada and SPARK? #Adaprogramming
3
3
14
We've just amped up GCC security with some great new features. Check out our latest blog post, where we unwrap these innovations and show how they're changing the game in secure software development.
👉 Read all about it: blog.adacore.com/adacore-enh…
4
14
1,789
Check out our latest case study and learn why @NVIDIA, a leader and innovator in the software security domain, has adopted the SPARK programming language for its most security-critical development projects. bit.ly/3WDJcjL #security, #NVIDIA, #SPARK, #FormalVerification
6
10
Do you want to develop Ada/SPARK drivers for a micro-controller? Here are some instructions to get you started using the Alire ecosystem:
blog.adacore.com/starting-mi…
#adaprogramming #softwaredevelopment
2
3
12
Discover Software Security with SPARK Pro! Join our webinar feat. Yannick Moy.
Highlights:
🚀 SPARK's data capabilities.
🚀 Robust data type contracts.
🚀 Precise pointer tracking.
🚀 Comprehensive function contracts.
🔗 Join us: buff.ly/40khivE
#SPARK #Ada
2
15
817
Women in #software. Helping build software that matters 💪 #ladyadaheirs #adalove #neverthelessshecoded
3
13
Interested in learning about #formalverification? Download our free book! A set of guidelines developed jointly by AdaCore & @thalesgroup about their adoption of the #SPARK language.
adacore.com/books/implementa…
#formalmethods
3
13
#SPARK language pointer support update! How to define pointer-based data-structures in SPARK and how to traverse them without breaking the ownership policy - blog.adacore.com/pointer-bas… #CyberSecurity #formalverification #formalmethods #SPARKprogramming #Adaprogramming
13
13
We are happy to announce that the GNAT Community 2021 release is now available! Check out the release highlights and new features:
blog.adacore.com/gnat-commun…
#Adaprogramming
7
14
The Ada and SPARK programming languages support the BBC micro:bit! Check out part 6 of our weekly Ada for the #microbit series, where we will see how to read the analog value of a pin. @microbit_edu
blog.adacore.com/ada-for-mic…
#Adaprogramming #embeddedprogramming #embeddedsoftware
7
15
Exciting News! Announcing the 4th Ada/SPARK Crate of the Year Award! 🏆
No registration needed—just publish your crate in the Alire index by end of 2024 and discuss it on ada-lang.io.
📆 Deadline: End of 2024
Prizes:
Ada Crate of the Year: $2,000
SPARK Crate of the Year: $2,000
Embedded Crate of the Year: $2,000
Get involved! Learn more about Ada/SPARK and Alire, and join the community.
blog.adacore.com/announcing-…
4
12
515
Check out our free course "Intro To SPARK",
an interactive introduction to the SPARK programming language and its formal verification tools. You will learn the difference between Ada & SPARK and how to use the various analysis tools that come with SPARK.
learn.adacore.com/courses/in…
4
13
We are excited to announce AdaCore's role in the new Safety-Critical Rust Consortium with @rust_foundation and partners! We're dedicated to advancing Rust's use in safety-critical software, ensuring it meets the highest safety standards for industries like automotive, aviation, and space.
Learn more about this initiative: lnkd.in/eCsr5mrJ
1
3
12
2,265
Judging for the 2020/21 #MakewithAda competition is now complete & winners have been announced! 📣 See all of the finalists & prize winners here r.adaco.re/kn, plus info about each winner is coming up throughout the day! #Adaprogramming #embeddedprogramming
@Hacksterio
5
13
🚨 PSA for Ada & SPARK programmers: tis the season to be giving so we're joining the Advent of Code fun🧑🎄! Each time someone completes 1 of the challenges in the
#Adaprogramming language, we'll donate $10 & if it's in SPARK $20, to @adaacademy up to $5k - blog.adacore.com/tis-the-sea…
5
8
AdaCore’s GNAT cross-development environment for the @upmsat2 microsatellite project, launching September 2019! 🛰️blog.adacore.com/using-ada-f… #Adaprogramming #UPMSat2 #AdainSpace
11
13
Using GNAT-LLVM to target #Ada to #WebAssembly - blog.adacore.com/use-of-gnat… @adaprogrammers @llvmweekly #LLVM #Adaprogramming #Wasm
6
12
Throwback to Ada programming in 1985! Our blog highlights how Ada's core principles still impact today's software development. Safety, reliability, and timeless tech.
👉 Step back in time: blog.adacore.com/ada-program… #AdaProgramming
5
12
408
Looking to expand your safe and secure coding skills? Learn how to program in #Ada and #SPARK via our free interactive #learning platform. Courses are for beginners with a basic understanding of programming techniques. #Adaprogramming #embeddedprogramming learn.adacore.com/index.html
6
12
Announcing a breakthrough in Secure Avionics by Design via the Edge Avionics programme! Partnering with @GE_Aerospace, @WindRiver, and funded by the UK RAF, our SAbD tech uses CHERI-enabled CPUs to boost avionics security. Part of the @DSbDTech effort. bit.ly/4dAyZxc
4
13
1,587
SPARK version of the #TweetNaCI cryptographic library proven with the GNAT Community 2019 edition - blog.adacore.com/proving-con… #Adaprogramming #SPARKprogramming #cybersecurity #cryptography #formalverification
4
12
The #MakewithAda 2020/21 contest is now open so it's a great time to look back at the winning projects from last year! @DrJohnZoidberg's LoRaDa project combines 6 different #SoCs as a LoRa network. Check out his impressive project log here blog.adacore.com/make-with-a… #Adaprogramming
5
11
Today at the Open Source Experience 2022 event, @Yannick Moy gave a talk on "Having a live open-source industrial software around academic bricks". Learn more about the event here: opensource-experience.com/en… #softwaredevelopment #opensource #OSXP2022
5
10
Discover how LatenceTech is leveraging the Ada programming language to revolutionize the telecommunications industry! Our latest blog explores Ada's crucial role in boosting reliability and driving innovation within telecom software at LatenceTech.
buff.ly/3yGco2z
3
11
422
Yannick Moy presenting the CAP2018 project, a reliable and safe #autopilot for drones compliant to DO-178 level A. @Sogilis and others #ERTS2018
6
14
The #AdaCoreCompany team are pleased to announce that three of our signature software development/verification tools for #Ada, #SPARK and C have been qualified under the #ISO26262 and #IEC61508 functional #safetystandards.
Find out more here: adacore.com/press/iso-26262
5
12
Let's welcome our second guest Stephane Carrez , introducing #Ada for #WebDevelopment at the #AdaCoreTechDays !
1
11
🥁 one of the #MakewithAda finalist prizes of $600 goes to Team CryptAda for their project CryptAda - (nuclear) crypto on an embedded device! Congratulations! hackster.io/cryptada/cryptad… #Adaprogramming #embeddedprogramming #crypto @Hacksterio
4
10
Today is #AdaLovelaceDay, a celebration of Ada Lovelace, Grace Hopper, Adele Goldberg, and the countless women who gave us computing as we know it. #PioneerOfProgramming #AdaProgramming #womenintech #womeninSTEM celebratingada.com/
10
6
Our very own @yannick_moy talks pushing the boundary of automating program proof to address the challenge of creating a verifying compiler. #HISConf22 @HIS_Conf #SPARKprogramming
1
11
Having a package manager for the Ada/SPARK community is a game changer. We've been sponsoring and contributing to the Alire project created by @mosteobotic from @CUDZaragoza. Read the full blog post by @DesChips: blog.adacore.com/first-beta-…
#Adaprogramming
3
12
The Ada 202x draft defines a new tasking profile named Jorvik, based directly on the standard Ravenscar profile. Jorvik relaxes certain restrictions in order to increase expressive power for real-time/embedded Ada and SPARK applications. blog.adacore.com/introductio…
#Adaprogramming
6
11
Once again a lot of exciting topics in the @fosdem Ada/SPARK devroom. Meet us there this weekend! blog.adacore.com/adacore-at-… #Adaprogramming #FOSDEM2020 #FOSDEM
8
10
On May 24th AdaCore engineers @DesChips and @yannick_moy will present "Ada and SPARK - Defense in Depth for Safe
Micro-controller Programming" at Open Source Innovation Spring - OSIS - Track IoT Critique 2018 in Paris! Make sure you head over to check them out! #Ada #defence
4
9
🥁 one of the #MakewithAda finalist prizes of $600 goes to Laboratorio Gluon for their autonomous firetruck project 🚒congratulations! hackster.io/angel-gonzalez2/… #Adaprogramming #embeddedprogramming @Hacksterio
1
3
11
The GNAT light runtime library is a version of the runtime library targeted at #embedded platforms & certification. In this blog post, we use SPARK to prove that part of the code is free of runtime errors and satisfies its functional specifications. blog.adacore.com/proving-the…
1
1
11
We are broadening our #cybersecurity capabilities with the acquisition of @Componolit, provider of software components & #formalverification tools for trusted systems. This brings new capabilities to our suite of automated testing & #staticanalysis tools. adacore.com/press/componolit…
6
13
You can still register for the Ada/SPARK Crate Of The Year Award! We’re calling on #developers across the globe to grow the ecosystem of Alire Ada and SPARK software and are offering $6K in total prizes.
github.com/AdaCore/Ada-SPARK…
#Adaprogramming #softwaredevelopment #programming
6
11
🥁 #MakewithAda 1st prize of $2000 goes to John Singleton for his project The Smartbase - an #IoT adjustable bed for comfort & safety! Congrats John for his inspiring & technically impressive project using formal methods!🎉🎉 #Adaprogramming @Hacksterio - hackster.io/jsinglet/the-sma…
1
5
11
In our latest blog post, we explore the White House's cybersecurity strategies and our alignment with them. They're putting memory-safe languages like Ada and Rust, plus SPARK's formal verification, at the heart of secure software development.
blog.adacore.com/back-to-the…
4
11
427
Like previous years, we will participate in FOSDEM on Feb 6-7, 2021. AdaCore engineers will give two talks in the Safety and Open Source devroom! Check out the full blog post for more details.
blog.adacore.com/adacore-at-…
@fosdem #adaprogramming #opensource
5
10
Dhawal Kumar, Principal System Software Engineer of NVIDIA presented today's Tech Days Boston Keynote on SPARK Ada for safe and secure firmware development - The NVIDIA story
#Ada, #AdaCore, #SPARK, #NVIDIA, #AdaCoreTechDays,
#safeandsecure, #softwaredevelopment
1
11
We’re excited to announce that the Communications of the ACM has published a paper on SPARK. The paper provides a comprehensive and up-to-date presentation of SPARK, including: an overview of the programming language and its design goals.
adacore.com/papers/co-develo…
4
10
471
Did you know that programming in Ada has a positive impact on controlling #softwaredevelopment costs? The webinar 'Controlling Costs with Software Language Choice' based on a study by @VDC_Research shows just that.
piped.video/OL6EPPWuosE
#Adaprogramming
7
12
As members of the RISC-V Foundation we are proud to announce that we'll be exhibiting at the RISC-V Workshop in Zurich on June 11 - 13. Come visit us at stand 10 and learn how the free and open @risc_v architecture is revolutionizing the Silicon market! #risc_v #ada #opensource
4
8
Exciting news from AdaCore! Our research has developed a novel solution for 'Security by Default' in software systems. This approach ensures enhanced security measures are built into our software from the start, setting a new standard in the industry.
buff.ly/4bVG6ij
2
10
656
We're thrilled to announce the release of our latest technical paper highlighting NVIDIA's use of RecordFlux and SPARK to Implement SPDM for Secure Computing.
Read the paper here:
adacore.com/papers/nvidia-us…
#SecureComputing #Recordflux #SPARK
1
11
438
Coroutines in Ada? Yes of course! See how to implement this paradigm using standard Ada features in our latest blog post. #ada #coroutines blog.adacore.com/coroutines-… #Ada #coroutines
1
1
9
What is AdaCore doing for the Automotive industry? We are at @TUAutomotive where @embedded_comp interviewed QGen technical manager @jose_f_ruiz who explained exactly that! Watch the interview here: piped.video/watch?v=Iw5Wv4bY… #TUDetroit #safety #security #automotive
4
9
*Guest blog post* by Julia Teissl from @FHCampusWien all about programming control systems for #AutonomousTrains in Ada #technikfhcampuswien #Adaprogramming #embeddedsystems blog.adacore.com/train-contr…
1
4
8
🎉 Celebrating 30 years of excellence at AdaCore! This week, we'll be sharing testimonials from our partners and clients who have made our journey remarkable. Stay tuned for daily insights and stories of collaboration, innovation, and success. Here's to three decades of advancing secure and reliable software solutions! 🚀 #Adacoreturns30
@WindRiver
adacore.com/press/celebratin…
1
2
9
463
Software development and verification tool provider #AdaCore is to open an office in #Bristol, UK to support growth of the use of #software-based systems in the #aerospace and #defence sectors.
aerospacetestinginternationa…
1
1
10
#JTEKT Japan have adopted our tools to reduce development & verification costs for safe #autonomousdriving systems! Leveraging #SPARKAda & formal methods to ease unit testing & verification of the system’s C code to ensure correctness. adacore.com/press/jtekt-spar… @Automotive_News
5
11
Learn the programming language designed for safe & secure software development with our free course 'Introduction to Ada'. For those with a basic understanding of programming techniques, you'll learn how to apply these to #Adaprogramming. Start today! learn.adacore.com/courses/in…
2
11
Don't miss the second edition of our programming competition: the 2022 Ada/SPARK Crate Of The Year Award! Submit a software project on GitHub and you might be one of the lucky winners 🎁 All the details on blog.adacore.com/announcing-… #programminglanguages #softwaredevelopment
5
11
Join us today at the @risc_v EMEA Roadshow in Paris. Come and learn how AdaCore is bringing the #Ada and #SPARK #programming languages to the forefront of the technologies available to RISC-V developers.
6
10
Today we celebrate #internationalwomeninengineeringday by commemorating Ada Lovelace, commonly regarded as the world’s first programmer. Read more about her life & accomplishments celebratingada.com/
@WES1919 @WomeninSTEM @STEMWomen #WomenInSTEM
4
10