Customize your coding experience! Our latest blog post guides you through creating your own Ada/SPARK coding standard. Tailor your coding practices to enhance project consistency and maintainability. Perfect for teams looking to optimize their development process! 👉 Start crafting your standard here:
AdaCore
Software Development
Paris, France 10,183 followers
Helping Developers Build Software that Matters
About us
AdaCore's mission is to help people build software that matters. In the modern world there is an ever increasing amount of activities that require the integration of software. Have you driven your car today? Flown on a plane? Endeavored to move from Point A to Point B anywhere for work or play? Millions upon millions of lines of code were required in order for you to do so. We endeavor to make sure that code is safe and secure. Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. With offices in Paris, New York and Boston, what started as a side project between a few NYU professors and their students has become the Aerospace and Defense industry's standard. For more information visit our website at www.adacore.com or click on our job offerings on this page.
- Website
-
http://www.adacore.com
External link for AdaCore
- Industry
- Software Development
- Company size
- 51-200 employees
- Headquarters
- Paris, France
- Type
- Privately Held
- Founded
- 1994
- Specialties
- Software tools and expertise for safety-critical, security-critical, and and high-reliability applications.
Locations
-
Primary
46 rue d'Amsterdam
Paris, France 75009, FR
-
15th floor
New York, NY 10011, US
Employees at AdaCore
Updates
-
Read about Nicolas Setton, our Head of User Experience at AdaCore, in our latest blog post, "Engineering Abroad: My Global Career Journey." Discover his unique insights on navigating an international engineering career, along with challenges and rewards he's encountered along the way. 👉 Learn about Nicolas' experiences here: https://lnkd.in/ezBmgv_P
-
We're thrilled to share that M. Anthony Aiello, our GNAT Pro for Rust Product Manager, was recently interviewed by Electronic Design. In the interview, Tony explores the impressive capabilities of Rust and how it's making waves in safety-critical solutions. Discover how commercial Rust tools are transforming the industry and elevating high-integrity software development. Watch the full interview here: https://lnkd.in/ehTF7pWi
Why Commercial Rust Software is Critical for Critical Solutions
electronicdesign.com
-
We're thrilled to announce a breakthrough in Secure Avionics by Design (SAbD) with our latest advancements in the Edge Avionics programme. In collaboration with GE Aerospace, Wind River, and funded by the UK RAF's Rapid Capabilities Office, our SAbD technology utilizes CHERI-enabled CPUs to transform avionics security. By integrating Ada with CHERI's advanced memory-safety features, we're setting new standards for security and resilience in defense systems. This initiative is part of the broader Digital Security by Design (DSbD) effort, supported by the UK government and key industry players. https://lnkd.in/d6KyTsx4
-
Join AdaCore at the CYBERUK conference in Birmingham, May 13-15! We're teaming up with UK Research and Innovation and Digital Security by Design (DSbD), you can find us at Stand C2. Come explore the cutting-edge capabilities of our CHERI technology and see how we're advancing cybersecurity. 📍 Meet us at the Innovate UK booth to learn more. See you there! #CYBERUK
-
Shoutout to Daniel King for delivering an outstanding talk on "Ada on CHERI" today at the University of Cambridge. He discussed our work on the Edge Avionics project, focusing on our findings through porting Ada bare-metal runtimes to the Arm Morello CHERI-compliant CPU. He highlighted how GNAT Pro Ada's runtime checks compare with CHERI's hardware checks, and discussed the benefits of porting Ada applications to CHERI, highlighting the symbiotic benefits of a pure capability CHERI Ada run-time executing on the CHERI Arm Morello target. 🔗 More about the workshop: https://lnkd.in/er5BkKRP
-
Attention software engineering practitioners! The High Integrity Software Conference is back, and we're excited to announce that we're accepting proposals for talks through our Call for Presentations. Join us as we share challenges, best practices, and experiences with industrial and academic specialists. Gain valuable insights into important techniques and methods applicable across various industry sectors. Click the link for more information: https://lnkd.in/eMKMkjQd
-
Missed our High Integrity Technology Update webinar last week? No worries! You can still catch up on all the insights and discussions on the latest advancements in high integrity systems. Learn from industry experts how these technologies are shaping the future of secure software development. Watch the full webinar here: https://lnkd.in/ePrB_CD9
High Integrity Technology Update | April 2024
adacore.com
-
New on our blog: A Fresh Take on DO-178C Software Reviews. Discover innovative strategies for enhancing the efficiency and effectiveness of software reviews under the DO-178C standard. Read the full blog here: https://lnkd.in/eWTBVYUp
A Fresh Take on DO-178C Software Reviews
blog.adacore.com
-
Discover the critical role of formal verification in enhancing software security. Learn how these systems validate software integrity and identify vulnerabilities through detailed correctness checks before deployment. Explore the insightful article written by our team and kindly featured on Cybersecurity Intelligence: https://lnkd.in/eYAnCwaN #CyberSecurity #FormalVerification
The Importance Of Formal Verification Networks For Secure Software
cybersecurityintelligence.com