SPARK: A Safer Way to Program
Friday 1 Oct 2004
Mustang Library Discussion Room
10101 N 90th St
Scottsdale, AZ 85258
There is an increasing need to produce software that is safe, secure, and reliable. As systems become more complex
and safety and security issues gain ground in the world of real-time applications, there is a greater demand for tools and
techniques that will enable the generation of robust software in a cost-effective and timely manner. Much of the
emphasis on the development of high integrity software is placed on the testing cycle near the end of the development
process. This methodology results in the need for a large amount of time at the end of the development process to test
components as well as integrated systems.
Yet, it is well known and documented that the best time to find errors is at the start of the development cycle when the
problems are smaller and better understood. The cost of correcting errors that are discovered early in the software life
cycle is considerably less expensive than those that are found during integration and test.
The SPARK approach to developing software provides the tools and technology needed to construct correct software
from the start of the process. This methodology reduces the cost of development because the components are built
correctly from the start leading to a shorter integration and test cycle with fewer bugs discovered in this phase.
This free seminar will provide an overview of the SPARK language and the tools in the SPARK toolset that facilitate the
generation of safe and secure software. The course is suitable for senior software and systems engineers; the seminar
does not presume prior knowledge of SPARK. The seminar is also useful to software and systems managers responsible
for the development and integration of complex critical systems. The attendees should have an understanding of the
fundamentals of the development of complex, critical real-time software applications.
If you would like to join us for a three-hour presentation by Dr. Joyce L Tokar, please complete the registration form on
our website and email it to [log in to unmask]
See our website for other dates and locations of the seminar www.pyrrhusoft.com.