The Community for Technology Leaders
2012 24th Euromicro Conference on Real-Time Systems (1996)
L'Aquila, ITALY
June 12, 1996 to June 14, 1996
ISBN: 0-8186-7496-2
TABLE OF CONTENTS

Reviewers (PDF)

pp. xii
Session 1 - Design and Verification 1

Deriving Real-Time Requirements for Software from Safety Analysis (Abstract)

Janusz Gorski , Franco-Polish School of New Information and Communication Technologies Poznan, Poland
Andrzej Wardzinski , Franco-Polish School of New Information and Communication Technologies Poznan, Poland
pp. 0009

Worst-Case Blocking Scenarios for Distributed Real-Time Programs (Abstract)

Arnim Wedig , Informatik III University of Dortmund
Horst F. Wedde , Informatik III University of Dortmund
pp. 0015

Time Wizard: A Design and Assessment Tool for Real-Time Applications (Abstract)

S.V. Cavalcante , Dept. of Electr. & Electron. Eng., Newcastle upon Tyne Univ., UK
D.J. Kinniment , Dept. of Electr. & Electron. Eng., Newcastle upon Tyne Univ., UK
pp. 0022
Session 2 - Design Process

Towards a Fixed Priority Scheduler for an Aircraft Application (Abstract)

John McDermid , Rolls-Royce University Technology Centre
Andy Vickers , Rolls-Royce University Technology Centre
Alan Burns , Rolls-Royce University Technology Centre
Iain Bate , Rolls-Royce University Technology Centre
pp. 0034
Open Forum Session I

Validating the Design of Real-Time Systems Using a Formal Specification Method (Abstract)

Joan Vila-Carbo , Universidad Politecnica de Valencia
Felix Buendia-Garcia , Universidad Politecnica de Valencia
pp. 0041

An Architectural Overview of a Software Supervisor (Abstract)

R.E. Seviora , Bell Canada Software Reliability Laboratory University of Waterloo
T. Savor , Bell Canada Software Reliability Laboratory University of Waterloo
pp. 0052

Real-Time Computing of Special Algorithms with a DSP-Based Board (Abstract)

L. Sperduto , Istituto Nazionale di Fisica Nucl., Catania, Italy
S. Aiello , Istituto Nazionale di Fisica Nucl., Catania, Italy
F. Rizzo , Istituto Nazionale di Fisica Nucl., Catania, Italy
M. Papa , Istituto Nazionale di Fisica Nucl., Catania, Italy
G. Politi , Istituto Nazionale di Fisica Nucl., Catania, Italy
F. Porto , Istituto Nazionale di Fisica Nucl., Catania, Italy
S. Cavallaro , Istituto Nazionale di Fisica Nucl., Catania, Italy
P. Guazzoni , Istituto Nazionale di Fisica Nucl., Catania, Italy
M. Bartolucci , Istituto Nazionale di Fisica Nucl., Catania, Italy
G. Sechi , Istituto Nazionale di Fisica Nucl., Catania, Italy
G. Cardella , Istituto Nazionale di Fisica Nucl., Catania, Italy
E. De Filippo , Istituto Nazionale di Fisica Nucl., Catania, Italy
A. Di Pietro , Istituto Nazionale di Fisica Nucl., Catania, Italy
L. Zetta , Istituto Nazionale di Fisica Nucl., Catania, Italy
S. Sambataro , Istituto Nazionale di Fisica Nucl., Catania, Italy
C. Sutera , Istituto Nazionale di Fisica Nucl., Catania, Italy
A. Anzalone , Istituto Nazionale di Fisica Nucl., Catania, Italy
G. Manfredi , Istituto Nazionale di Fisica Nucl., Catania, Italy
A. Musumarra , Istituto Nazionale di Fisica Nucl., Catania, Italy
S. Femino , Istituto Nazionale di Fisica Nucl., Catania, Italy
G. Lanzalone , Istituto Nazionale di Fisica Nucl., Catania, Italy
G. Lanzano , Istituto Nazionale di Fisica Nucl., Catania, Italy
M. Geraci , Istituto Nazionale di Fisica Nucl., Catania, Italy
A. Pagano , Istituto Nazionale di Fisica Nucl., Catania, Italy
S. Lo Nigro , Istituto Nazionale di Fisica Nucl., Catania, Italy
S. Pirrone , Istituto Nazionale di Fisica Nucl., Catania, Italy
M.I. Manno , Istituto Nazionale di Fisica Nucl., Catania, Italy
pp. 0057

Extension of Scheduling Algorithms in Case of Conditional or Parametric Synchronisation Relationships (Abstract)

J.-Ph. Babau , LISI / ENSMA - B.P. 109 - 86960 FUTUROSCOPE Cedex (FRANCE)
F. Cottet , LISI / ENSMA - B.P. 109 - 86960 FUTUROSCOPE Cedex (FRANCE)
pp. 0064

A Hybrid Genetic Algorithm Applied to Automatic Parallel Controller Code Generation (Abstract)

G.M. Megson , Dept. of Comput. Sci., Reading Univ., UK
F.E. Sandnes , Dept. of Comput. Sci., Reading Univ., UK
pp. 0070
Session 3- Multimedia

The MORIS Control System (Abstract)

M. Di Natale , Scuola Superiore S. Anna, Pisa, Italy
G.C. Buttazzo , Scuola Superiore S. Anna, Pisa, Italy
M. Bizzarri , Scuola Superiore S. Anna, Pisa, Italy
P. Ancilotti , Scuola Superiore S. Anna, Pisa, Italy
pp. 0077

An Embedded Accelerator for Real-Time Image Processing (Abstract)

J. Becker , Kaiserslautern Univ., Germany
R. Hartenstein , Kaiserslautern Univ., Germany
R. Kress , Kaiserslautern Univ., Germany
pp. 0083

Costing - Extending the Locative Logic Model of Networks (Abstract)

Gordon Blair , Lancaster University
Amanda Chetwynd , Lancaster University
Neil Barnes , Lancaster University
Abderrahmane Lakas , Lancaster University
pp. 0089
Session 4 - Design and Verification II

A Data Priority Reload Technique for Real-Time Main Memory Databases (Abstract)

L. Gruenwald , Sch. of Comput. Sci., Oklahoma Univ., Norman, OK, USA
Jing Huang , Sch. of Comput. Sci., Oklahoma Univ., Norman, OK, USA
pp. 0096

On the False Path Problem in Hard Real-Time Programs (Abstract)

P. Altenbernd , C-LAB, Paderborn, Germany
pp. 0102

The Symbolic Model-Checking for Real-Time Systems (Abstract)

S. Yamane , Dept. of Comput. Sci., Shimane Univ., Matsue, Japan
pp. 0108

Hybrid Systems: A Real-Time Interface to Control Engineering (Abstract)

A.P. Ravn , Dept. of Inf. Technol., Tech. Univ., Lyngby, Denmark
M. Holdgaard , Dept. of Inf. Technol., Tech. Univ., Lyngby, Denmark
S.T. Heilmann , Dept. of Inf. Technol., Tech. Univ., Lyngby, Denmark
T.J. Eriksen , Dept. of Inf. Technol., Tech. Univ., Lyngby, Denmark
pp. 0114
Session 5 - Embedded Applications

Real-Time Issues in Advanced Robotics Applications (Abstract)

G. Buttazzo , Scuola Superiore S. Anna, Pisa, Italy
pp. 0133

Real-Time Approach for Development of Scientific Space Instrument Software (Abstract)

Pekka Ruuska , VTT Electronics
Jukka Toivanen , VTT Electronics
Kari Leppala , VTT Electronics
Heikki Paivike , Nokia Mobile Phones
Jukka Korhonen , VTT Electronics
pp. 0139
Session 6 - Knowledge-Based Systems
Open Forum Session II

A Dynamic Real-Time Scheduler for Shared Memory Multiprocessors (Abstract)

J. Vila , ssaez,jvila,alfons@disca.upv.es
S. Saez , ssaez,jvila,alfons@disca.upv.es
A. Crespo , ssaez,jvila,alfons@disca.upv.es
pp. 0158

Planning the Execution of Task Groups in Real-Time Systems (Abstract)

Felicita Di Giandomenico , University di Pisa, C.so Italia 40, - 56125 Pisa
Paolo Bizzarri , University di Pisa, C.so Italia 40, - 56125 Pisa
Fabio Tarini , University di Pisa, C.so Italia 40, - 56125 Pisa
Andrea Bondavalli , University di Pisa, C.so Italia 40, - 56125 Pisa
pp. 0169
Session 7 - Specification and Description Formalisms

Closed World Specification of Embedded Real-Time Controllers (Abstract)

L. Bun , Fac. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
K. Brink , Fac. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
J. van Katwijk , Fac. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
W.J. Toetenel , Fac. of Tech. Math. & Inf., Delft Univ. of Technol., Netherlands
pp. 0194

A Rapid Prototyping Approach for Specification and Design of Distributed Automotive Control Systems (Abstract)

K.D. Muller-Glaser , Dept. of Electron. Syst. & Microsyst., FZI-Comput. Sci. Res. Center Karlsruhe, Germany
S. Schmerler , Dept. of Electron. Syst. & Microsyst., FZI-Comput. Sci. Res. Center Karlsruhe, Germany
Y. Tanurhan , Dept. of Electron. Syst. & Microsyst., FZI-Comput. Sci. Res. Center Karlsruhe, Germany
A. Winter , Dept. of Electron. Syst. & Microsyst., FZI-Comput. Sci. Res. Center Karlsruhe, Germany
pp. 0205
Session 8 - Communications

Design of a Real-Time Trader for Mobile Objects in Open Distributed Environments (Abstract)

Song-Yi Yi , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
Heonshik Shin , Dept. of Comput. Eng., Seoul Nat. Univ., South Korea
pp. 0212

Timing Failure Detection and Real-Time Group Communication in Quasi-Synchronous Systems (Abstract)

Paulo Verissimo , Faculdade de Ciencias da Universidade de Lisboa pjv@di.fc.ul.pt
Carlos Almeida , Faculdade de Ciencias da Universidade de Lisboa pjv@di.fc.ul.pt
pp. 0230
Session 9 - Scheduling

Visualised Real-Time Operating System Simulation in a Heterogeneous Prototyping Environment (Abstract)

J. Leskela , VTT Electronics, Oulu, Finland
M. Heikkinen , VTT Electronics, Oulu, Finland
M. Salmela , VTT Electronics, Oulu, Finland
J. Hyvarinen , VTT Electronics, Oulu, Finland
pp. 0237

A Near-Optimal Algorithm for Scheduling Soft-Aperiodic Requests in Dynamic Priority Systems (Abstract)

Hyungill Kim , Dept. of Comput. Eng., Kyung Hee Univ., Seoul, South Korea
Jongwon Lee , Dept. of Comput. Eng., Kyung Hee Univ., Seoul, South Korea
Sungyoung Lee , Dept. of Comput. Eng., Kyung Hee Univ., Seoul, South Korea
Dougyoung Suh , Dept. of Comput. Eng., Kyung Hee Univ., Seoul, South Korea
pp. 0249

Disk Management for a Hard Real-Time File System (Abstract)

Donald W. Gillies , EMPaC International Corp.
Raymond M. K. Cheng , University of British Columbia Vancouver
pp. 0255
Session 10 - Hardware Support for Real Time

Adding Instruction Cache Effect to an Exact Schedulability Analysis of Preemptive Real-Time Systems (Abstract)

A. Wellings , Dept. de Ingenieria de Sistemas, Computadores y Automatica, Univ. Politecnica de Valencia, Spain
J.V. Busquets-Mataix , Dept. de Ingenieria de Sistemas, Computadores y Automatica, Univ. Politecnica de Valencia, Spain
R. Ors-Carot , Dept. de Ingenieria de Sistemas, Computadores y Automatica, Univ. Politecnica de Valencia, Spain
P. Gil , Dept. de Ingenieria de Sistemas, Computadores y Automatica, Univ. Politecnica de Valencia, Spain
J.J. Serrano-Martin , Dept. de Ingenieria de Sistemas, Computadores y Automatica, Univ. Politecnica de Valencia, Spain
pp. 0271

An ASIC Supporting External Clock Synchronization for Distributed Real-Time Systems (Abstract)

Dietmar Loy , Vienna University of Technology
Klaus Schossmaier , Vienna University of Technology
pp. 0277
Session 11 - Languages

Multi-Staged Discrete Loops for Real-Time Systems (Abstract)

Roland Lieger , Technical University of Vienna
Johann Blieberger , Technical University of Vienna
pp. 0290

Conjunction of Synchronous and Asynchronous Languages for Reactive Programming (Abstract)

O. Roux , Ecole des Mines de Nantes, France
M. Richard , Ecole des Mines de Nantes, France
pp. 0295

Author Index (PDF)

pp. 0301
91 ms
(Ver )