Normal view
Before yesterdayAdaCore | Ada/C/C++ tools for critical software / @AdaCoreCompany
The @HIS_Conf will return on Nov 9 as a virtual event! Talks will focus on cyber safety for embedded systems, innovations in software testing & formal methods. The keynote will present NCSC's work in embedded & critical systems. Register today! #HISConf21
r.adaco.re/l3 pic.twitter.com/NoypESOi8d
Our upcoming online Public Ada Training is taking place Sep 27-Oct 1, 2021. Learn how to use the Ada programming language through a combination of live lectures and hands-on workshops. Find out more and register today! adacore.com/events/public-… #Adaprogramming
Check out our latest blog post presenting the whitepaper "Security-Hardening Software Libraries with Ada and SPARK" as part of our efforts under the HICLASS project.
blog.adacore.com/security-harde…
#HICLASS #softwaresecurity #Adaprogramming
Learn how to avoid the most labor-intensive steps involved in achieving certification by viewing the talk How to Streamline Your Certification Process using the QGen TQL1 Qualifiable Auto Code Generator for Simulink(r)/Stateflow(r) at @MilAero's TechSummit r.adaco.re/l0 pic.twitter.com/R4HjGCJLZg
Join us and various Mi-V RISC-V® ecosystem partners on July 21–22 at the 1st annual Mi-V Virtual Summit Conference 2021, a technology showcase bringing together an esteemed group of innovators, academics, clients & collaborators.@MicrochipTech @risc_v
r.adaco.re/l1 pic.twitter.com/FysV1zOuzd
Announcing the successful completion of the C compiler qualification for @AlstomFrance's safety-critical railway systems to reach the highest qualification level in EN 50128 & have full confidence in the quality of generated code. #Adaprogramming r.adaco.re/kz pic.twitter.com/1Sw4RLp0R3
📣We're happy to announce our new programming competition, the Ada/SPARK Crate Of The Year Award for all software projects of any degree of maturity! Read the full blog post to learn more about the prizes, registration & timeline - r.adaco.re/ky #Adaprogramming
This blog post by Rod Chapman covers a few more performance improvements to the SPARKNaCl cryptographic library, including a small change that saves 60 Million CPU cycles from the critical 'Sign' operation with all optimization disabled.
r.adaco.re/kx
#Adaprogramming
Today, we celebrate all women in engineering who shape society through technological innovation every day - keep going, the world needs you! Check out our #INWED21 blog, which profiles remarkable & inspirational #EngineeringHeroes 👏 @INWED1919 @WES1919 blog.adacore.com/international-…
#Ada addresses one of the most vexing issues with #hardware updates: Creating portable code that can define data structures with a specific physical layout, insulated from problems caused by endianness differences.
@AdaCoreCompany bit.ly/3wAx0Tv
Download this report from @Gartner_inc to gain insight into the growing importance of application security testing and why it is becoming so critical. We support this by providing security-oriented features such as #fuzzing, static and dynamic analysis r.adaco.re/kv pic.twitter.com/v4zPNrFMKH
When did you last look at Ada? Check out this thought-provoking blog post by Chris Hobbs, a reluctant Ada user who was asked this same question and for whom Ada is now his language of choice.
devblog.blackberry.com/en/2021/05/lea…
#Adaprogramming #programminglanguage
🏆🤩Bienvenue & Bravo au 1er #Champion2021_Systematic !
👉🏆@AdaCoreCompany membre du @HubOpenSource du @Pole_Systematic
Le jury a été impressionné notamment par leur expertise des logiciels critiques #opensource et leur capacité d'autofinancement ! pic.twitter.com/yA5f5fZNmh
Join us today at 2:30 PM CEST for the digital keynote "Engineering: Self-Verified Software" by Quentin Ochem at ScaleUp 360° OSS.5 Europe - the event on functional, operational, and systems safety of #autonomousdriving.
scale-up-360.com/en/oss5/
#softwareverification pic.twitter.com/p2pnA4iEKO
Join us today for the #AdaEurope Conference #AEic2021! We'll be part of "Technical Session 6: Emerging applications with reliability requirements" at 2:45PM and Tucker Taft will present the keynote "A sampling of Ada 2022" at 3:30PM (CEST)
istr.unican.es/ae2021/
#Adaprogramming
#wearehiring ! Would you like to join the AdaCore team? Check out our open job positions: adacore.com/company/careers
#developer #programmer #crossengineer #embeddedsoftware #softwareengineer #devsecops #softwareengineering
Our @ADSgroupUK ADVANCE feature highlights the role of #OSS in supply chain management security - "#Opensource ecosystems foster a culture for transparency, where issues & vulnerabilities are discussed in the open, rather than hidden from view", p30-31 r.adaco.re/ku
You’ve probably heard about #Ada but discounted it because, well, it isn't C. And why would you need to consider learning another #programminglanguage anyway? We'll bring you an article series that dives into Ada—from @AdaCoreCompany. bit.ly/3ibyYWd
Formal program proof, a promising market according to @LesEchos! This article (French only) features @yannick_moy and other experts discussing Why3, the french platform for #softwareverification. r.adaco.re/kt
#SoftwareEngineering #Softwaretesting #Softwaredevelopment