Spark Pro – Language & Toolsuite
GNAT Programming Studio
GNAT Programming Studio is a powerful and simple-to-use IDE that streamlines your software development process from the initial coding stage through testing, debugging, system integration, and maintenance. Built entirely in Ada, GPS is designed to allow programmers to get the most out of SPARK Pro technology.
SPARK Pro’s Integrated Development Environment
Tools you can use
GPS’s extensive navigation and analysis tools can generate a variety of useful information including call graphs, source dependencies, project organization, and complexity metrics, giving you a thorough understanding of your program at multiple levels. It allows you to interface with third-party Version Control Systems, easing both development and maintenance.
Robust, Flexible and Extensible
Especially suited for large, complex systems, GPS lets you import existing projects from other Ada implementations while adhering to their file naming conventions and retaining your directory organization. Through its multi-language capabilities you can also handle components written in C and C++. GPS is highly extensible; a simple scripting approach lets you plug in additional tools. It is also tailorable, allowing you to specialize various aspects of the program’s appearance in the editor.
Easy to learn, easy to use
If you are a new user, you will appreciate GPS’s intuitive menu-driven interface with extensive online help (including documentation on all the menu selections) and “tool tips”. The Project Wizard makes it simple to get started, supplying default values for almost all of the project properties. Experienced users will appreciate that GPS offers the necessary level of control for advanced uses; e.g. the ability to run command scripts. Anything you can do on the command line is achievable through the menu interface.
GPS Benefits at a glance
- Management of complexity, through tools that provide specialized views of the program components and their interrelationships
- Ease of learning, through a platform-independent visual interface
- Automation of the program build process, through a project manager tool that offers complete control over switch settings, file location, etc.
- Ease of debugging, through a fully integrated visual debugger
- Support for configuration management, through an interface to 3rd-party version control systems
- Adaptability, through facilities that allow GPS to be extended or tailored
- Compatibility of new versions of GPS with older versions of GNAT Pro
More on SPARK Pro
Frontline Support »
Learn about the other side of SPARK Pro
The world’s largest team of SPARK experts at your fingertips
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.