|
| Current SPARK Customers
include: |
EuroFighter Consortium
|
BAE Systems |
| Ultra Electronics |
Lockheed Martin |
| ALSTOM Signalling Ltd |
Rolls Royce Marine Power |
| Westinghouse Signals Ltd |
Smiths Industries USA |
| Boeing North America |
General Dynamics UK |
| Alenia Marconi Systems |
MATRA BAe Dynamics |
| Alenia Difesa |
AerMacchi |
| ARINC |
Mondex International |
| NATO C3 Agency |
Data Systems and Solutions |
| AWE |
BAE Australia |
| Rockwell-Collins |
DS&S |
| Ansaldo Signal |
QinetiQ |
Universities using SPARK are on the Academic
Support page.
See the Tool Partners page for
details of how SPARK integrates with other companies' products.
See the Compilers page for information
about high-integrity compilation of SPARK.
|
