Conference announcements

Call for Participation -
Autumn Ada UK conference


From: "Hazel (Adaxia)" <Hazel@Adaxia.com>
To: "Conference Contacts" <Hazel@Adaxia.com>
Subject: Detailed programme for Autumn Conference now available
Date: Thu, 25 Sep 2003 22:27:56 +0100

There is now less than one week to go to the Autumn Ada UK/Embedded
Systems Club conference.  Remember that non-members can attend this
event for an all inclusive fee of £50 plus vat, whilst members are able
to attend completely free of charge.

A detailed conference programme, showing the scheduling for this two
stream event, is now available at the websites:

www.AdaUK.org.uk
www.EmbeddedSystemsClub.com

Two technical keynotes start and finish the day:

=================================
"Java for High Integrity Systems"
=================================

This presentation reports on the research project "Expresso".  The
Expresso programming model, which has been designed for Hard Real-Time
and Safety Critical systems, includes memory and threading models that
allow the definition of:

* A specific run-time model for the native compilation
* A specific Java Virtual Machine
* A Java profile similar to the Ada Ravenscar profile

The profile was validated on a PowerPC target using two different JVM
software configurations. In the first configuration, the JVM executed
above Object-Ada/Raven kernel whilst in the second it executed above the
Posix RTOS developed by Thales Airborne Systems.

The presentation concludes with an overview of the initiative in
progress by the The Open Group for the definition of a Java profile for
safety critical systems based on the RTSJ, and work in progress within
the OOTiA (Object Oriented Techniques in Aviation) for the use of Object
technologies on certified systems (DO178-B).

========================================================
"Developing Reliable Software for Embedded Applications"
========================================================

This presentation focuses on the need for high levels of reliability in
embedded applications. A high level of reliability in virtually any
product can make a huge difference in terms of market share and
profitability, not to mention the reduction in cost of support and
product returns.  This paper focuses on many aspects of embedded
software development, where, in varying degrees, reliability and
flawless system behaviour is important and in some cases, critical.

As our opening keynote, this presentation sets the scene for the two
parallel streams, offering a mix of 60 minutes technical presentations
and the popular "short and sharp" 20 minute vendor presentation slots:

“Why use a real time OS on DSP?”
Richard Blackburn, OSE

“Web-enabling Ada applications in AWS”
Franco Gasperoni, ACT Europe

"Developments in OO tools for the aero, transport and defence
industries"
Bill Warwick, TNI Europe Ltd

"ARTiSAN's Ada synchronizer"
Francis Thom, Artisan Software Tools

“Requirements driven development for embedded systems”
Andy Gurd, Telelogic

“Next generation testing tools for embedded applications”
Mark Pitchford, PolySpace Technologies

“Exception freedom - turning the dials up (and something new...)”
Rod Chapman, Praxis Critical Systems

"Network security for IPv4 and IPv6 – an overview"
Paul Tingey, Wind River

"Model-driven development with Ada"
Andy Lapping, I-Logix

“Testing embedded software to achieve quality standards using automated
tools”
Jim Kelly, LDRA Ltd

“Automated global data checking for Ada”
Ian Gilchrist, IPL

"The use of off-shore software services – gain the benefit of eight
years experience in 20 minutes"
Steve Baker, Silver Software


There is also an exhibition area, not to mention lunch and refreshments.

We look forward to seeing you on October 2nd.

With best regards
Hazel Lawton
Conference Manager
Adaxia Ltd

www.AdaUK.org.uk
www.EmbeddedSystemsClub.com

Call for Participation -
Autumn Ada UK conference


From: "John Robinson" <John@JohnRobinsonAndAssociates.com>
To: "Dirk Craeynest" <Dirk.Craeynest@cs.kuleuven.ac.be>
Subject: Ada UK Autumn conference
Date: Mon, 8 Sep 2003 10:00:07 +0100
Organization: John Robinson And Associates Ltd

[ Extracts from PDF version of program: -- dc ]

The Ada UK User Group & Embedded Systems Club
Autumn 2003 Conference
Hilton Hotel, Swindon, UK (Jct 16, M4) - 2nd October 2003

The first 110 members of the Ada UK User Group or Embedded Systems Club
to register for this event may attend free of charge.

For all other attendees the delegate fee is only £50 (EUR 75) plus VAT,
which includes lunch and refreshments during the day. Early registration
would be greatly appreciated and may help to avoid disappointment.

[...] Abstracts and on-line registration forms are available at
www.AdaUK.org.uk and www.EmbeddedSystemsClub.com.


60 Minute in-depth, technical sessions

"Developing Reliable Software for Embedded Applications"
Stuart Rotherham, Green Hills Software Ltd

"Java for High Integrity Systems"
Marc Richard-Foy, Aonix

"Requirements Driven Development For Embedded Systems"
Andy Gurd, Telelogic

"Why Use Real Time OS on DSP?"
Richard Blackburn, OSE

"Model-Driven Development with Ada"
Andy Lapping, I-Logix


20 Minute Technology Update Presentations include

"Web-Enabling Ada Applications in AWS"
Franco Gasperoni, ACT Europe

"Next generation testing tools for embedded applications"
Mark Pitchford, PolySpace Technologies

"Developments in OO Tools for the Aero, Transport and Defence Industries"
Bill Warwick, TNI Europe Ltd

"ARTiSAN's Ada Synchronizer - a presentation of."
Francis Thom, Artisan Software Tools

"Unit testing C/C++ and Ada 95 for Embedded Systems"
Jim Kelly, LDRA Ltd

"Automated Global Data Checking for Ada"
Ian Gilchrist, IPL

"Exception Freedom - Turning the Dials Up (and something new...)"
Rod Chapman, Praxis Critical Systems

"Network Security for IPv4 and IPv6 - An Overview"
Paul Tingey, Wind River

[...]

Announcement -
Autumn Ada UK conference


From: "Hazel (Adaxia)" <Hazel@Adaxia.com>
To: "Ada UK & ESC Contacts" <Hazel@Adaxia.com>
Subject: Autumn Conference - Ada UK & Embedded Systems Club
Date: Mon, 11 Aug 2003 12:52:36 +0100


We are pleased to announce that the Autumn Ada UK/Embedded Systems Club
conference will be held in Swindon, UK on October 2nd 2003.

We are currently putting the finishing touches to the programme for this
event, and details are being posted to the Ada UK and Embedded Systems Club
websites as they become available.

Confirmed presentations at this time include:

* Java for High Integrity Systems

* Developing Reliable Software for Embedded Applications

* Why Use a Real Time OS on DSP?

* Web-Enabling Ada Applications with AWS

* Next generation testing tools for embedded applications

On-line registration will be available shortly.  To guarantee receipt of the
full programme details, or to enquire about exhibition opportunities, please
contact the event manager Hazel Lawton at mailto:Hazel@Adaxia.com.

[Ada-Belgium] To the Ada-Belgium home page.

Last update: 2003/09/27.

Dirk Craeynest