University of York
publications
teaching

Publications

PhD 

The abstract of the doctoral thesis "Weakly-Hard Real-Time Systems" can be viewed (html andpdf (61 kb) format). The full thesis is available in postscript (2.6Mb) or Zipped postscript  (0.9Mb) format. PDF Zipped  (850kb)

Papers


This is a List of papers published in journals and conferences. Feel free to get in touch with me for any questions or to request copies.  You can also browse the RTS group publications web page.


Chronological List

2003

G. Bernat
Response Time Analysis of Asynchronous Real-Time Systems
Real-Time Systems, 25, 131-156, 2003

A. Burns, G. Bernat, I. Broster (2003)
A Probabilistic Framework for Schedulability Analysis
Proceedings of the Third International Embedded Software Conference, EMSOFT

G. Bernat, A. Colin,  S. Petters
"pWCET: A tool for probabilistic Worst-Case Execution Time Analysis".
WCET03. 3rd International Workshop on Worst-Case Execution time Analysis. Satellite event to the Euromicro Conference on Real-Time Systems. Porto, Portugal. June 2003. An extended version is available as a technical report YCS-2003-358.

Erik Yu-Shing Hu¤ , Andy Wellings and Guillem Bernat
Gain Time Reclaiming in High Performance Real-Time Java Systems
Submitted to ISORC 2002, The 6th IEEE International Symposium on Object-oriented Real-time distributed Computing . Hakodate, Hokkaido, Japan

Antoine Colin, Stefan Petters and Guillem Bernat
Experimental Evaluation of Code Properties for WCET Analysis
Submitted to 15th Euromicro Conference on Real-Time Systems. 2002. Porto, Portugal.

A. Terrasa, G. Bernat
Extracting Temporal Properties fom Real-Time Systems by Automatic Tracing Analysis
RTCSA
2003 . 9th Intl Conf. on Real-Tiem and Embedded Computing Systems and Applications. Tainan City, Taiwan, R.O.C. February 2003.

 

2002

G. Bernat, A. Colin, S. Petters.
WCET analysis of Probabilistic Hard Real-Time Systems
RTSS2002. Austin, Texas, USA. Dec 2003.

Ian Broster, Guillem Bernat and Alan Burns
Weakly-Hard Real-Time Constraints on Controller Area Network
14th Euromicro Conference on Real-Time Systems. 2002. Viena, Austria

Antoine Colin, Guillem Bernat
Scope-Tree: a Program Representation for Symbolic Worst-Case Execution Time Analysis.
14th Euromicro Conference on Real-Time Systems. 2002. Viena, Austria

G.Bernat, A. Burns
Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling
TIME. Real-Time Systems Journal.  Special Issue on Flexible Scheduling. Vol 22, pg. 49-75. 2002

E. Hu, G. Bernat and A.J. Wellings.
Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems
ISORC 2002. International Symposium on Object-Oriented Real-Time Distributed Computing. Washington USA. April-May 2002.

G. Bernat and I. Bate.
Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis
ISORC 2002. International Symposium on Object-Oriented Real-Time Distributed Computing. Washington USA April-May 2002.

Erik Yu-Shing Hu, Guillem Bernat, Andy Wellings.
A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems
WORDS2002.  7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems San Diego. California,USA

Peter Puschner, G. Bernat and A. Wellings
Making Java Hard Real-Time
Journal Annals of the Marie Cure Fellowship Association. Vol II. 2002

 2001

G. Bernat, R. Ricardo Cayssials.
Guaranteed on-line weakly-hard real-time systems
IEEE Real-Time Systems Symposium RTSS. London. December 2001.

 A. Burns, G. Bernat
Jorvik: a framework for flexible scheduling".
University of York. Technical Report YCS-2001-334.

G. Bernat, A. Burns
Three obstacles to flexible scheduling
13th Euromicro Conference on Real-Time Systems. Delft, The Netherlands. June 2001.

P. Puschner, G. Bernat
WCET Analysis of Reusable Portable Code
13th Euromicro Conference on Real-Time Systems. Delft, The Netherlands. June 2001.

G. Bernat, A. Burns
Implementing a Flexible Scheduler in Ada
6th  Intl. conference on reliable software technologies. Ada Europe'2001. Leuven, Belgium, May 2001.

G. Bernat, A. Burns and A. Llamosi
Weakly hard real-time systems
IEEE Transactions on Computers. 50(4). April 2001. pp 308-321.  (An extended version is also available as a technical report YCS-99-320 September, 1999. (postscript  496 kb)

 2000

I. Bate, G. Bernat, G. Murphy and Peter Puschner
Low-Level Analysis of a Portable Java Byte Code WCET Analysis Framework
RTCSA2000. 7th. Intl Conference on Real-Time Computing Systems and Applications, Cheju Island, South Korea. December 2000.

G.Bernat, A. Burns
Portable Worst-Case Execution Time Analysis using Java Byte Code
6th International EUROMICRO conference on Real-Time Systems. Stockholm, June 2000.

G.Bernat, A. Burns
An approach to Symbolic Worst-Case Execution Time Analysis
25th Workshop on Real-Time programming. Palma, Spain. May 2000


1999 & before...

G. Bernat, A. Burns
New Results on Fixed Priority Aperiodic Servers
20th IEEE Real-Time Systems Symposium. RTSS'99. Phoenix, USA. December 1999.

G. Bernat, A. Burns
Combining (n m)-hard deadlines with dual priority scheduling
18th IEEE Real -Time systems Symposium. RTSS'97. San Francisco USA. December 1997.

G .Bernat , J. Miro, J.Proenza.
A technique to analyse the tolerance to transient overloads of a fault-tolerant architecture
2nd IEEE High Assurance Workshop. Washington D.C. October 1997. (postscript 475 kb)

G. Bernat, J. Miró, J. Proenza.
Fixed priority schedulability analysis of a fault-tolerant architecture
2nd International conference on parallel and distributed processing techniques and applications PDPTA. Las Vegas. USA. Sept. 1997.

G. Bernat, A. Llamosí, R. Puigjaner
Diseño de sistemas de tiempo-real
NOVATICA. Sept-Oct 1997. number 129. (in spanish)

G. Bernat, A. Burns, A. Llamosí
Efficient transient overload tests for real-time systems
Tools'97. International conference on computer performance evaluation. St. Malo. France. June 1997.

G.Bernat, L. Huguet.
Graf-it: Sistema informático de edición de grafos
UNIMAC'93. Segundo congreso Español de Universidad y Macintosh. Madrid. España.





index


e-mail: bernat@cs.york.ac.uk / Tel: 44.1904.432772 / Fax: 44.1904.434767 / Office: CS202H

Last Updated: December 2003