Personal Information
Industry
Technology / Software / Internet
Website
www.adacore.com
About
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. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive worldwide customer base; see http://www.adacore.com/home/company/customers/ for further information.
Ada and GNAT Pro continue to see growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traf
Tags
ada
software
programming
adacore
certification
high integrity software
agile
software development
lean
gnat pro
embedded
ada 2012
do178b
do178c
do-178b
spark
formal verification
formal methods
safetycritical
do-178c
open
source
safe
secure
2005
certified
avionics
opendo
static analysis
formal methods agile programming do-178b open-do s
software certification
arm
security-critical
code generation
programming languages
safety-critical
testing
free software
rail industry
his 2015
financial software
aerospace
open source
development
open-do
free
rust programming
cryptography
computing
engineering
software testing
software engineering
systems engineering
devops
digitalization
nvidia
his 2019
iso 26262-10:2018
dynamic analysis
crazyflie
bare board
bare metal
simulink
ada corses
ada training
adacore university
ide. ada
separation kernel
correctness
security
reliability
regulatory frameworks
do-254
iso 26262
iec61508
mixed criticality system
mcs
many-core
multi-core
real-time
coding standards
misra c
sparksoftware
education
training
documentation
modeling
programing
atmel
ada2012
do-333
formal proof
unit testing
embedded linux
ravenscar
linux
type safe language
tool qualification
model-driven development
open-source
mcdc
do-178
bdd
formalization
coverage criteria comparison
structural coverage
verification by contract
ada 95
ada 83
pre condition
ada 2005
strongly-typed language
post condition
invariant
programming by contract
portable programming
tucker taft
multicore
high-integrity
parallel specification
hi-lite
object-oriented programming
structural coverage analysis
object coverage
source coverage
gnatemulator
coverage analysis
gnatcoverage
qualification
formal
methods
gnat
mindstorms
lego
agile programming
lean programming
extreme
d0-178b
See more
- Presentations
- Documents
- Infographics