The CHOOSE executive board is pleased to invite you to a presentation by Prof. Jan Vitek, Purdue University on 'Java for Safety-Critical Hard Real-time Systems'.

This event is free for all SI-CHOOSE members, even the drinks after the talk! Non-CHOOSE members are encouraged to fill out the membership application form (http://www.s-i.ch/si-appl.html) before attending the meeting. If you want to know more about CHOOSE and the events which CHOOSE organises, please visit http://www.choose.s-i.ch/.

NOTE: registration for this event is required. Please fill out the registration form at the end of this e-mail.

------------------------------------------------------------------------

Java for Safety-Critical Hard Real-time Systems ===============================================

Wednesday, May 31, 2006

Institut fuer Wirtschaftsinformatik (IWI), Universitaet Bern, Engehaldenstrasse 8, 3012 Bern, Hoersaal 002.

Travel instructions: http://www.iam.unibe.ch/~scg/Resources/Maps/

Speaker ------- Prof. Jan Vitek, Purdue University

Agenda ------ 17h15 Talk and Q/A Afterwards you are invited to a refreshment.

Abstract ======== Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and correct. While higher-level programming models (such as the Real-Time Specification for Java) permit real-time programmers to use language features that most programmers take for granted (objects, type checking, dynamic dispatch, and memory safety) the compromises required for real-time execution can create as many problems. This talk reports on our experience implementing an open-source real- time Java Virtual Machine, and on the development of a navigation system for an Unmanned Aerial Vehicle in a collaboration with the Boeing Company. I will then present two techniques for enhanced assurance in safety- and mission-critical systems. The STARS methodology is a new approach to the engineering of reliable hard real-time embedded systems. STARS is based on two new technologies: a pluggable type system for enforcing memory safety and an aspect- oriented language that separates real-time concerns from application logic. The second technique, Preemptible Atomic Region (PARs), provides guarantees of progress and protection against data races for concurrent embedded programs. The implement of PARs is based on a real-time software transactional memory and has been integrated in a real-time Java virtual machine. I shall conclude with a list of open research challenges.

Bio === Jan Vitek is an Associate Professor in Computer Science at Purdue University. He leads the Secure Software Systems lab. He obtained his PhD from the University of Geneva in 1999, and a MSc from the University of Victoria in 1995. Prof. Vitek research interests include programming language, virtual machines, mobile code, software engineering and information security.

----------------------------------------------------------------------- REGISTRATION ------------

Please DO NOT reply to this e-mail! Fill in the form below and sent it to choose AT glue.ch. Thanks.

I want to register to the following event: ___

Name: ______________________________________

Email: ______________________________________

Company: ______________________________________

Address: ______________________________________

ZIP/City:______________________________________

Please check:

[ ] CHOOSE member [ ] JUGS member [ ] SI member [ ] Non-Member