| 
Welcome to SPARKAda.com – the home for the SPARK high
assurance software development products from Praxis High Integrity
Systems.
New LinkedIn Group for SPARK Users
A new user group has been set up on LinkedIn.com
dedicated to SPARK users. The group is intended to bring together
SPARK users from academia and industry including those using
SPARK Pro, SPARK GPL or earlier releases of the toolset. Please
join the group and we look forward to seeing you taking part.
The group is called "SPARK User Community".
Tokeneer Discovery SPARK tutorial available
now
This tutorial
provides an introduction to the SPARK programming language
and Toolset for engineering high-assurance software, using
the source code from the Tokeneer
Project. It contains a series of lessons that demonstrates
key features of the language and Toolset. The tutorial is
available from our partners at AdaCore.
The Tokeneer project material has also been updated to include
an interview with the Tokeneer Project Manager, Janet Barnes.
The video
is available here.
SPARK GPL Edition 2009 available now
Praxis and AdaCore are pleased to announce the
immediate availability of the SPARK GPL Edition 2009. This
provides the complete SPARK toolset in a form that is suitable
for the open-source and academic communities. This release
is available from the Libre
Website.
Praxis and AdaCore Announce SPARK Pro
24th March 2009
Developers creating safety critical and high assurance systems
will benefit from today’s launch of SPARK Pro. The new
open source development environment has been created by Praxis,
international specialist in critical systems engineering,
and AdaCore, the leading provider of commercial software solutions
for the Ada language.
See the full Press
Release.
SPARK training course dates announced for
2009
Dates for the public SPARK training courses
have been announced for September 2009. See the training
page for details.
If you are looking for the Praxis High Integrity Systems Corporate
Home-Page, then click
here.
Notes on trademarks and other instances
of the name "SPARK":
• The SPARK programming language is not sponsored by
or affiliated with SPARC International Inc and is not based
on the SPARC™ architecture.
• If you came here looking for the SPARK portable C real
time kernel, try Real
Time Microsystems.
• If you came here looking for the SPARK C-to-VHDL high-level
synthesis framework, then try the University
of California at Irvine.
• If you came here looking for the Simulation Problem
Analysis and Research Kernel (VisualSPARK), then try Lawrence
Berkeley National Laboratory.
• Design-by-Contract is a trademark of Interactive Software
Engineering Inc
|
