Ada Resource Association

Past Events

• Event

  Certification Together

  Toulouse, France. Oct 26, 2010 - Sep 28, 2010

  The Certification Together International Conference for the Aeronautical Industry is the only event in Europe fully dedicated to System, Software and Hardware certification challenges.
  More Info
• Event

  SIGAda 2010

  Fairfax, Virginia Oct 24-28, 2010

  ACM’s Annual International Conference on Ada and Related Technologies Engineering Safe, Secure, and Reliable Software.

  More Info
• Event

  Supporting the delivery of safety

  Manchester, UK Sep 15, 2010

  A range of benefits can be obtained through using tools when developing safety-critical systems, and from collaborating with tools providers to tackle specific problems. The same is true of consultancy, training and other kinds of services, where both the services themselves and collaboration with their providers can be extremely valuable. The seminar programme at this event contains many examples of these advantages, presented by suppliers and users of tools and services, consultants, and researchers.
  More Info
• Event

  Ada Europe 2010

  Valencia, Spain Jul 14-18, 2010

  The 15th International Conference on Reliable Software Technologies – Ada-Europe 2010 will take place in Valencia, Spain. Following its traditional style, the conference will span a full week, including a three-day technical program and vendor exhibition from Tuesday to Thursday, along with parallel tutorials and workshops on Monday and Friday.

  More Info
• Event

  Automotive – Safety & Security 2010

  Stuttgart, Germany Jun 21-23, 2010

  (Website in German)
  More Info
• Event

  ERTS 2010

  Toulouse, France May 19-21, 2010

  Embedded Real Time Software and Systems
  More Info
• Event

  Introducing SPARK Pro (Webinar)

  Webinar Apr 21, 2010

  The InSight webinar series continued with a presentation by Rod Chapman on the AdaCore/Praxis new joint offering – SPARK Pro. SPARK Pro combines the proven SPARK Ada language and supporting toolset with AdaCore’s GNAT Programming Studio (GPS) integrated development environment, backed by unrivaled support systems. SPARK is a language specifically designed to support the development of software used in applications where correct operation is vital either for reasons of safety or security. The SPARK Toolset offers static verification that is unrivalled in terms of its soundness, low false-alarm rate, depth and efficiency. The toolset also generates evidence for correctness that can be used to build a constructive assurance case in line with the requirements of industry regulators and certification schemes.

  This webinar is over but you can view a recorded version here

  More Info