Software & Internet Security, Cryptography, Network Penetration and Security Related

We can put you in touch with organisations who provide a range of sensitive security services such as network penetration, network security, web security, cryptography and related work for both List-X and commercial companies. These services are to the highest world class standards.  Please contact us for an introduction.   > Link to

Blacksafe Consulting Ltd

 Bill Black worked for BP until 1999.  During his time at BP he provided consultancy on process control and process protection systems for BP Chemicals, BP Oil and BP Exploration.  In 1999 he started a new company called Blacksafe Consulting Ltd that provides training and consultancy on functional safety. For more information and contact details > Link to

Eschertech Consulting.

We provide consultancy and software development services for safety-critical and other high-integrity applications, using a range of tools and languages including MISRA C and C++. All consultancy work is carried out by our founder, Dr. David Crocker, and all software development is done under his direct supervision. David has more than 25 years' experience of using C and C++ to develop high-integrity software. > Link to consultancy Phaedrus Systems can also supply Escher tools

Engineering Safety Consultants Ltd

ESC is a global engineering consultancy company whose primary function is the provision of services and solutions in supporting clients in the functional safety aspects of the oil and gas, petrochemical, utilities (including emerging green technologies), military and manufacturing industries. Principal Consultants include

Ken G.L. Simpson FIET, M.Phil, C.Eng.

Ron Bell, OBE, BSc, CEng, FIET and

Dr. David J. Smith BSc, PhD, CEng, FIET, FCQI, HonsFSaRS,MIGEM.
>http://www.esc.uk.net/

Farside Ltd

 Martin Lloyd has an international practice in software safety assessment and certification; he assists clients with software design methods and techniques so that their products fulfil safety standards such as IEC 61508, IEC 61511, EN 50271, etc. He has a long standing collaboration with Sira Test & Certification where he provides training and assessment for a variety of clients. This work has entailed many software assessments using IEC 61508, etc. Martin is the principal author of the UK’s MCERTS environmental data management standard,
> www.farsideresearch.co.uk

Numerical Algorithms Group

The Numerical Algorithms Group (NAG, www.nag.com), is an Oxford, UK headquartered not-for-profit numerical software development organization founded nearly four decades ago that collaborates with world-leading researchers and practitioners in academia and industry. With offices in Manchester, Chicago, Tokyo and Taipei, and a worldwide distributor network, NAG provides high-quality computational software and high performance computing services to tens of thousands of users, from Global 500 companies, major learning academies, the world’s leading supercomputing centres, numerous independent software vendors and many others. >www.nag.com

Pebble Bay - Training/mentoring and software development services

Pebble Bay is an independent embedded software specialist, providing consultancy, bespoke training/mentoring and software development services with a strong focus on real-time kernels, operating systems and the hardware/software interface. Typical projects include Board Support Package and device driver development, and porting, optimisation and integration of foundation software components. Our strengths are in-depth technical expertise in these areas combined with a flexible, friendly and professional approach to working with a wide variety of customers.”. click here for more information

Robinson Associates

Since 1976 Robinson Associates has established a reputation for providing innovative software system solutions across industry sectors such as Transport, Insurance, Banking and Manufacturing. In the Industrial Sector we develop process management and control systems using highly intuitive graphic interfaces. Our experience also includes the design and development of Safety Related systems in the Rail Sector where we develop to BS EN 50128 SIL 0 to 4, and also in the Avionics Sector. All our work is guided by our fully certified ISO9001:2000 (TickIT) Business Management System.   > Link to

Ron Bell Consulting

Ron Bell OBE, BSc, CEng, FIET specialises in the functional safety of safety critical systems. Key areas of expertise in the context of safety critical systems, and in which he has undertaken work, include:

Tudor Associates

Consultancy for safety critical software developments.DO178C/ED12C, DO178B/ED12B and related documents (Model Based Design, Formal Methods, Tool Qualification and DO278A/ED109A) - ISO26262

  > Link to