Spark Pro – Frontline Support
GNAT Tracker
SPARK Pro’s Powerful Customer Web Server
GNAT Tracker, our secure customer web server, brings you timely online support by putting our team of Ada and SPARK Pro experts at your fingertips. Through GNAT Tracker you can submit reports, retrieve up-to-date status information, and download SPARK Pro releases and documentation.
Convenient
GNAT Tracker simplifies and automates many aspects of your interactions with our team of experts, furnishes an audit trail for tracking specific requests, and allows tailoring to meet your project’s specific needs and organization. In short, it gives you instantaneous access to a wealth of information that can help you better manage your Ada software development. GNAT Tracker is essentially your portal into our products and services.
Administration rights let you set per-user privileges for accessing the various GNAT Tracker services.
Secure
GNAT Tracker uses certificate-based encryption for all material, whether uploaded or downloaded, ensuring maximum security for your data. More over, only registered members of a given account can access the information, and then only what they have been granted permission to see. This information is inaccessible to all others.
User Friendly
Managers and developers alike will find GNAT Tracker easy to navigate. As an interface to a database embodying a project’s usage history with SPARK Pro, GNAT Tracker is especially helpful in bringing new staff up to speed quickly.
More on SPARK Pro
Language & Toolsuite »
Learn About the Other Side of SPARK Pro
Get the details on SPARK Pro’s comprehensive toolsuite which
includes the full SPARK toolsuite, GPS Integrated Development Environment,
utilities, and the GNAT Semantic Analyzer.
Continue Reading
SPARK Pro Overview »
SPARK Pro is a language, toolsuite and design approach
for the development of high assurance software. SPARK has
an enviable track-record in many industry sectors, such as
aerospace, rail, nuclear and security, and has been used
to meet or exceed all known industry guidance and standards
at the highest assurance levels.
Continue Reading
The SPARK programming language is not sponsored by or affiliated with SPARC International Inc and is not based on the SPARC(tm) architecture.