|
Marek Prochazka |
|
Current work
|
Since July 2009 I work in the On-board Software Section of the Directorate of Technical and Quality Management,
European Space Agency, in ESTEC.
 |
Past work |
From 2005 to June 2009 I worked for SciSys
in Bristol, UK. I was a member of the On-Board Real-Time Systems R&D team working mostly on projects funded by the European
Space Agency. From 2003 to 2004 I was a post-doctoral researcher at Purdue University under the lead of Jan Vitek.  From 2002 to 2003 I worked in the French National Institute for Research in Computer Science and Control (INRIA) in Grenoble.  From 1997 to 2002 I was a member of the Distributed Systems Research Group at Charles University in Prague.  |
Degree |
Ph.D. in Computer Science at Charles University, Czech Republic, and University of Evry, France |
Research interests |
Real-time and high-integrity systems, concurrency control, spacecraft onboard software, middleware, transaction processing,
distributed object-oriented systems, component software architectures, Real-Time Java |
Selected publications |
P. Hnetynka, T. Bures, M. Prochazka, R. Ward, Z. Hanzálek:
SOFA High Integrity: Our Approach to SAVOIR,
The Data Systems in Aerospace Conference (DASIA), Istanbul, May 2009
J. Almeida, M. Prochazka: Safe and Secure Partitioning with PikeOS: Towards integrated Modular Avionics in Space, The Data Systems in Aerospace Conference (DASIA), Istanbul, May 2009 T. Kalibera, F. Pizlo, J. Vitek, M. Prochazka, M. Zulianello, M. Decky: Real-Time Java in Space: Potential Benefits and Open Challenges, The Data Systems in Aerospace Conference (DASIA), Istanbul, May 2009 Marek Prochazka, Roger Ward, Andy Wellings: A First Step towards Using Real-Time Java for Spacecraft On-board Software, The Data Systems in Aerospace Conference (DASIA), Naples, Italy, 29 May - 1 June, 2007 (PDF) A. Armbruster, J. Baker, A. Cunei, C. Flack, D. Holmes, F. Pizlo, E. Pla, M. Prochazka, J. Vitek: A Real-Time Java Virtual Machine with Applications in Avionics, ACM Transactions on Embedded Computing Systems (TECS), Volume 7, Isuue 1, December 2007 (PDF) Jason Baker, Antonio Cunei, Champman Flack, Filip Pizlo, Marek Prochazka, Jan Vitek, Austin Armbuster, Edward Pla, David Holmes: A Real-time Java Virtual Machine for Avionics, An Experience Report, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), San Jose, California, USA, April 2006 (PDF) Jeremy Manson, Jason Baker, Toni Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek: Preemptible Atomic Regions for Real-time Java, in Proceedings of the 26th IEEE International Real-Time Systems Symposium (RTSS '05), Miami, Florida, USA, December 2005 (PDF) Complete list of publications is here |
Links
|
Space Daily Real-Time Java JSR 302 - Safety Critical Java JSR 50 - Distributed Real-Time Specification for Java |
Personal |
Hanka & Marek's photos (comments are in Czech) Nice web page of Jirka Rechtacek (in Czech either)  Fire Kills Children |
Contact |
marekproc at yahoo co uk |