Pyrrhus Software

Enduring Solutions

PO Box 1352

Phoenix, AZ  85001-1352

USA

Phone:  480-951-1019

Fax:  480-607-3762

info@pyrrhusoft.com

www.pyrrhusoft.com

Who Is Pyrrhus Software?

Pyrrhus Software’s mission is to provide long-lived, proven software solutions for application development, training, project management and quality assurance. Pyrrhus offers enduring solutions that meet and exceed your software needs. Our team of engineers, each with more than 15 years of experience, can provide you with expert engineering services. Pyrrhus Software is a small, woman-owned business located in Scottsdale Arizona. 

 

News:

Public SPARK Training courses, September 2007 in Bath, UK.

 

High Integrity Software in Modern Military Architectures”, Military Technologies Conference 2007, 27-28 March 2007.

 

SPARK deployed to develop the new UK National Air Traffic Services (NATS), March 2007.

 

2007-01-24:  Amendment to ISO/IEC 8652 was approved by ISO, last step is to publish the document.

 

Building secure software: Your language matters!” ,  Military Embedded Systems Magazine, Winter 2006.

 

2006-06-12::  Praxis High Integrity Systems produce zero-defect security software for US National Security Agency .

 

2006-06-06:  Technical Work on Ada 2005 Standard Completed.

 

“Using the SAE Architecture Analysis and Design Language (AADL) Standard in the Analysis and Development of Mission Critical Embedded Systems,” Systems and Software Technology Conference, 1-4 May 2006.

 

2006-02-28:  Rockwell Collins Selects SPARK for High-Grade Programmable Cryptographic Engine

 

The article entitled "The Exterminators" in the September (2005) issue of IEEE Spectrum magazine highlights the benefits of SPARK and Praxis’s correctness by construction methodology.

Pyrrhus Software signs a Partnership Agreement with I-Logix

Pyrrhus Software signs an agreement with Praxis Critical Systems for the Sales and Support of the Praxis SPARK toolset.

Our Partners:

Praxis High Integrity Systems

 

AdaCore

 

Pyrrhus Software Engineering Services

 

Application Development for Safety-Critical, Real-Time Embedded Systems:

From device drivers to flight control systems; from test sets to operating systems; Pyrrhus Software provides experienced engineering services with proven results in numerous real-time, safety-critical software applications including: 

·         Operating Systems – Windows 2000, Windows NT, UNIX, Linux, CsLEOS, VxWorks, OS/2, Vax/VMS, ARINC 653, Ravenscar

·         Programming Languages – Ada, C/C++, COBOL, FORTRAN, Java, JOVIAL

·         Development Tools and Methodologies – AADL, CORBA, FAA DO-178B, MIL-STD 2167A, MIL-STD 480, SCA, SPARK, UML.

 

Top of the Document

 

Training:

 

SPARK Training Courses

AADL Training Courses

Introduction to SPARK

Modeling with the SAE AADL

Software Engineering with SPARK

 

Black Belt SPARK

 

 

Pyrrhus Software offers you customized training for real-time and safety-critical software development including:

·         Modeling with AADL

·         Software Engineering with SPARK

·         Programming in Ada 95

·         Real-Time Programming in Ada 95

·         Introduction to ASIS

·         Programming in Ada 83

·         Real-Time Programming in Ada 83

·         Transitioning from Ada 83 to Ada 95

·         Transitioning between Ada and C/C++ and/or Java

 

Top of the Document

 

Project Management & Quality Assurance:

Pyrrhus Software offers you project management and quality assurance.  Our engineers have experience with the following:

·         Extreme Programming Methods

·         Agile Programming Methods

·         Configuration Management including ClearCase and RCS

·         ISO 9000

·         SEI Capability Maturity Model

·         SEI Personal Software Process 

Top of the Document

 

Some of Our Clients:

·         SEAKR Engineering

·         US Army

·         Boeing

·         Raytheon

·         US Air Force

 

Top of the Document

 

 

 

 


Pyrrhus Software Will Meet and Exceed Your Needs

with Enduring Solutions!

 

 

Top of the Document

 

 

 


A little more about our Team,

Joyce L Tokar                                                         F. David Jones

 

 

 


PO Box 1352

Phoenix, AZ 85001-1352

USA

+1-480-951-1019

+1-480-607-3752 (FAX)

 

info@pyrrhusoft.com

www.pyrrhusoft.com

 

                                                                                                                                                                                       

Copyright ©2006 Pyrrhus Software