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
agile
high integrity software
lean
software development
embedded
gnat pro
ada 2012
do178b
do178c
do-178b
spark
safetycritical
do-178c
formal verification
formal methods
open
source
safe
secure
2005
avionics
certified
opendo
formal methods agile programming do-178b open-do s
software certification
static analysis
code generation
free software
safety-critical
programming languages
security-critical
arm
testing
aerospace
rail industry
development
open source
open-do
free
financial software
his 2015
parallel specification
ada 83
high-integrity
multicore
tucker taft
portable programming
programming by contract
invariant
pre condition
post condition
strongly-typed language
ada 2005
d0-178b
extreme
lean programming
agile programming
lego
mindstorms
gnat
methods
formal
qualification
gnatcoverage
coverage analysis
gnatemulator
source coverage
object coverage
structural coverage analysis
object-oriented programming
many-core
mcs
mixed criticality system
iec61508
iso 26262
do-254
regulatory frameworks
reliability
security
correctness
separation kernel
ide. ada
adacore university
ada training
ada corses
simulink
bare metal
bare board
crazyflie
dynamic analysis
iso 26262-10:2018
his 2019
nvidia
digitalization
devops
systems engineering
software engineering
software testing
engineering
computing
cryptography
hi-lite
ada 95
verification by contract
structural coverage
coverage criteria comparison
formalization
bdd
do-178
mcdc
open-source
model-driven development
tool qualification
type safe language
linux
ravenscar
embedded linux
unit testing
formal proof
do-333
ada2012
atmel
programing
modeling
documentation
training
education
sparksoftware
misra c
coding standards
real-time
multi-core
rust programming
See more
- Presentations
- Documents
- Infographics