From decky at dsrg.mff.cuni.cz  Mon Sep  1 17:46:03 2008
From: decky at dsrg.mff.cuni.cz (Martin Decky)
Date: Mon, 01 Sep 2008 17:46:03 +0200
Subject: Seminar zitra 2. 9. od 14:00
Message-ID: <48BC0E3B.2010501@dsrg.mff.cuni.cz>

Hezky den,

nechci si delat reklamu, ale byl jsem upozornen, ze by si toho nemuseli 
po letni pauze nekteri lide vsimnout. Takze v utery 2. 9. (zitra) od 
14:00 budu mit seminar, jehoz tema a abstrakt si muzete precist nize. 
Predem diky za ucast!


Real-Time Java in Space On-Board Software

Abstract:
Results of evaluating the usability of Aonix PERC Pico for RTEMS and 
Aonix PERC Ultra for xLuna for space on-board software at SciSys UK Ltd. 
General properties of hard real-time systems used by the European Space 
Agency and Real-Time Java are also discussed. The other part of the talk 
is dealing with the big picture of using Java in space, especially 
concerning explicit architecture description (components), verification 
of correctness and other safety properties.


M.D.