Tools for Critical  Systems

 

With our military aviounics background Phaedrus Systems is becoming the place to go for tools and advice on critical and high integrity development for military and Aerospace systems..

 

We exhibited  RiskCATS 61508, Rail and Nuclear software along with a range of  SIL3 RTOS, PR's QAC Static Analysers, other Code analysis tools and compiler validation reports. We also had Segger Graphics software, IAR,Keil, Cosmic, Byetcraft and other compilers. 

 

All the tools are designed for high integity development. supplimented with our own Compiler Validation Reports  and assistance from our consultants.

 

Phaedrus Systems and a member of the Programming Research support team at MAE07 Phaedrus Systems specialises in high integrity and safety critical systems We have first hand practical experience of avionics and military systems.

 

>Risk CATS 61508

> RiskCATS Rail

>RiskCATS Nuclear

 

> Sciopta SIL3 RTOS

 

> Compiler Validation

 

> Static Analysis