Personal Information
Secteur d’activité
Technology / Software / Internet
Site Web
www.adacore.com
À propos
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
Mots-clés
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
Tout plus
- Présentations
- Documents
- Infographies