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
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 [...]
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.
Last update: 2003/09/27.
Dirk Craeynest