The Community for Technology Leaders
2012 24th Euromicro Conference on Real-Time Systems (1995)
Odense, Denmark
Mar. 14, 1995 to Mar. 16, 1995
ISSN: 1068-3070
ISBN: 0-8186-7112-2
TABLE OF CONTENTS
Keynote Session 1, Chair: L. Mezzalira
Session 1: Development Environments, Chair: P.A. Wiburg

IDERS: an integrated environment for the development of hard real-time systems (Abstract)

H. Christensen , ETSI de Telecomunicacion, Ciudad Univ., Madrid, Spain
L. Baresi , ETSI de Telecomunicacion, Ciudad Univ., Madrid, Spain
M. Heikkinen , ETSI de Telecomunicacion, Ciudad Univ., Madrid, Spain
A. Alonso , ETSI de Telecomunicacion, Ciudad Univ., Madrid, Spain
pp. 4

A layered architecture for real time applications (Abstract)

P. Loborg , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
A. Torne , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
pp. 11

HyperReal One: the implementation, the environment and an example (Abstract)

A. Poli , Dipartimento di Sci. dell'Inf., Milan Univ., Italy
F. Tisato , Dipartimento di Sci. dell'Inf., Milan Univ., Italy
A. Verdino , Dipartimento di Sci. dell'Inf., Milan Univ., Italy
M. Agnoli , Dipartimento di Sci. dell'Inf., Milan Univ., Italy
pp. 17
Session 2: Operating Systems, Chair: L. Lindh

Dynamic replacement of software in hard real-time systems: practical assessment (Abstract)

A. Alonso , Ciudad Univ., Madrid, Spain
J.A. de la Puente , Ciudad Univ., Madrid, Spain
I. Casillas , Ciudad Univ., Madrid, Spain
pp. 26

Measuring the real-time operating system performance (Abstract)

K.M. Sacha , Inst. of Control & Comput. Eng., Warsaw Univ. of Technol., Poland
pp. 34
Open Forum Session 1, Chair: L. Lindh

Visualisation of real-time software in host-based simulation environment (Abstract)

M. Salmela , VTT Electron., Oulu, Finland
M. Heikkinen , VTT Electron., Oulu, Finland
J. Hyvarinen , VTT Electron., Oulu, Finland
J. Leskela , VTT Electron., Oulu, Finland
pp. 42

Using TOOMS/TROL for specifying a cellular phone (Abstract)

P. Nesi , Dept. of Syst. & Inf., Florence Univ., Italy
G. Bucci , Dept. of Syst. & Inf., Florence Univ., Italy
pp. 49

A scheduling problem language (Abstract)

M. Levanto , VTT Electron., Oulu, Finland
pp. 57

Scheduling complex real-time tasks in an embedded distributed system (Abstract)

C. Fraboul , CERT/DERI, Toulouse, France
L. Maillet , CERT/DERI, Toulouse, France
pp. 62

Fuzzy-control with a PEARL-based multi-loop controller (Abstract)

H.J. Beestermoller , Inst. of Autom. Technol., Bremen Univ., Germany
G. Thiele , Inst. of Autom. Technol., Bremen Univ., Germany
J. Becker , Inst. of Autom. Technol., Bremen Univ., Germany
pp. 66

A dedicated digital unit for event recognition and centroiding in photon counting intensified CCDs (Abstract)

S. D'Angelo , Istituto di Fisica Cosmica, CNR, Milano, Italy
P. Achdjian , Istituto di Fisica Cosmica, CNR, Milano, Italy
G.R. Sechi , Istituto di Fisica Cosmica, CNR, Milano, Italy
E.G. Tanzi , Istituto di Fisica Cosmica, CNR, Milano, Italy
E. Quadrini , Istituto di Fisica Cosmica, CNR, Milano, Italy
pp. 71
Session 3: Scheduling, Chair: A. Burns

Pessimistic Deadline Ceiling Protocol: a concurrency control protocol under earliest deadline first scheduling (Abstract)

K. Koh , Dept. of Comput. Sci., Seoul Nat. Univ., South Korea
Yoo-Yong Kim , Dept. of Comput. Sci., Seoul Nat. Univ., South Korea
pp. 80

Issues in schedulability analysis of real-time systems (Abstract)

R. Yerraballi , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
H.A. Wahab , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
R. Mukkamala , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
K. Maly , Dept. of Comput. Sci., Old Dominion Univ., Norfolk, VA, USA
pp. 87

Scheduling algorithms for improving the response in intelligent real-time environments (Abstract)

A. Garcia , Dept. de Ingenieria de Sistemas Computadores y Autom., Univ. Politecnica de Valencia, Spain
H. Hassan , Dept. de Ingenieria de Sistemas Computadores y Autom., Univ. Politecnica de Valencia, Spain
A. Crespo , Dept. de Ingenieria de Sistemas Computadores y Autom., Univ. Politecnica de Valencia, Spain
pp. 93

Increasing schedulability in distributed hard real-time systems (Abstract)

J.J. Gutierrez , Dept. de Electron., Cantabria Univ., Santander, Spain
H.M. Gonzales , Dept. de Electron., Cantabria Univ., Santander, Spain
pp. 99
Session 4: Communications, Chair: G. Ciccarella

A performance study of several CSMA protocols for time constrained applications (Abstract)

J.J. Serrano , Dipartimento de Ingenieria de Sistemas, Computadores y Autom., Univ. Politecnica de Valencia, Spain
J.A. Gil , Dipartimento de Ingenieria de Sistemas, Computadores y Autom., Univ. Politecnica de Valencia, Spain
A. Pont , Dipartimento de Ingenieria de Sistemas, Computadores y Autom., Univ. Politecnica de Valencia, Spain
pp. 108

FSR-a fair switching architecture (Abstract)

T. Pyssysalo , Digital Syst. Lab., Helsinki Univ. of Technol., Espoo, Finland
P. Raatikainen , Digital Syst. Lab., Helsinki Univ. of Technol., Espoo, Finland
J. Zidbeck , Digital Syst. Lab., Helsinki Univ. of Technol., Espoo, Finland
pp. 116

MMS and time (Abstract)

J. Akazan , CRIN, Vandoeuvre les Nancy, France
Z. Mammeri , CRIN, Vandoeuvre les Nancy, France
pp. 124

An environment to ease the use of MMS (Abstract)

Z. Mammeri , CRIN-INRIA Lorraine, Vandoeuvre-les-Nancy, France
J. Akazan , CRIN-INRIA Lorraine, Vandoeuvre-les-Nancy, France
pp. 132
Session 5: Modeling and Validation, Chair: J. Karjalainen

Simulation of real time scheduling at design levels (Abstract)

J.C. Duenas , Ciudad Univ., Madrid, Spain
G. Leon , Ciudad Univ., Madrid, Spain
pp. 140

Property decomposition to speed up analysis (Abstract)

F. Calzolari , Dipartimento di Elettronica e Inf., Politecnico di Milano, Italy
M. Pezze , Dipartimento di Elettronica e Inf., Politecnico di Milano, Italy
pp. 147

SAT-a schedulability analysis tool for real-time applications (Abstract)

V.C. Gerogiannis , Dept. of Math., Patras Univ., Greece
M.A. Tsoukarellas , Dept. of Math., Patras Univ., Greece
pp. 155
Session 6: Specification, Chair: P. Pulli

A distributed implementation of a mode switching control program (Abstract)

T.J. Eriksen , Dept. of Comput. Sci., Tech. Univ. Denmark, Lyngby, Denmark
T.O. Andersen , Dept. of Comput. Sci., Tech. Univ. Denmark, Lyngby, Denmark
A.P. Ravn , Dept. of Comput. Sci., Tech. Univ. Denmark, Lyngby, Denmark
M. Holdgaard , Dept. of Comput. Sci., Tech. Univ. Denmark, Lyngby, Denmark
pp. 164

Using ObjectCharts to specify and design electronic systems (Abstract)

J. Ernst , Dept. of Electron. Syst. & Microsyst., Computer Sci. Res. Center, Karlsruhe, Germany
K. Muller-Glaser , Dept. of Electron. Syst. & Microsyst., Computer Sci. Res. Center, Karlsruhe, Germany
Y. Tanurhan , Dept. of Electron. Syst. & Microsyst., Computer Sci. Res. Center, Karlsruhe, Germany
pp. 169
Open Forum Session 2, Chair: P. Pulli

Hard real-time preemptively scheduling with high context switch cost (Abstract)

I. Ripoll , Dept. de Inf., Univ. Jaume I, Castellon, Spain
A. Crespo , Dept. de Inf., Univ. Jaume I, Castellon, Spain
J. Echague , Dept. de Inf., Univ. Jaume I, Castellon, Spain
pp. 184

Hybrid specification and formal distributed heterogeneous prototyping of distributed real-time systems (Abstract)

P. Estraillier , Telesystemes, Guyancourt, France
N. Zakhama , Telesystemes, Guyancourt, France
pp. 191

Transforming designs towards implementations (Abstract)

M. Kaaramees , Dept. of Control Syst., Inst. of Cybern., Tallin, Estonia
pp. 197

A synchronous real-time knowledge-based system (Abstract)

C.A.A. Kaestner , Diparatimento Acad. de Inf., Centro Fed. de Tecn. do Parana, Curitiba, Brazil
J.-M. Farines , Diparatimento Acad. de Inf., Centro Fed. de Tecn. do Parana, Curitiba, Brazil
pp. 205

A Q-model approach to decomposition and aggregation of specifications of real-time systems (Abstract)

R. Paluoja , Inst. of Autom. & Syst. Eng., Tallinn Tech. Univ., Estonia
pp. 213
Session 7: Development Techniques, Chair: A. Ravn

Architectural abstractions and time modelling in HyperReal (Abstract)

F. de Paoli , Dipartimento di Sci. dell'Inf., Milan Univ., Italy
F. Tisato , Dipartimento di Sci. dell'Inf., Milan Univ., Italy
pp. 222

Real-time recursive procedures (Abstract)

J. Blieberger , Dept. of Autom., Tech. Univ. Wien, Austria
R. Lieger , Dept. of Autom., Tech. Univ. Wien, Austria
pp. 229

An integrated technique for developing real-time systems (Abstract)

J. Hooman , Dept. of Comput. Sci., Eindhoven Univ. of Technol., Netherlands
J. Vain , Dept. of Comput. Sci., Eindhoven Univ. of Technol., Netherlands
pp. 236

Towards refinement in realtime programming (Abstract)

N. Nissanke , Dept. of Comput. Sci., Reading Univ., UK
pp. 244
Session 8: Distributed Scheduling, Chair: H. Wedde

Hybrid algorithms for dynamic schedulability testing (Abstract)

C. McElhone , Sch. of Comput. & Math., Teesside Univ, Middlesbrough, UK
R. Davis , Sch. of Comput. & Math., Teesside Univ, Middlesbrough, UK
A. Burns , Sch. of Comput. & Math., Teesside Univ, Middlesbrough, UK
pp. 254

A new method for optimization of allocation and scheduling in real time applications (Abstract)

P. Palazzari , Dipartimento di Ingegneria Elettronica, Rome Univ., Italy
M. Coli , Dipartimento di Ingegneria Elettronica, Rome Univ., Italy
pp. 262

Predicting real-time behaviour for data flow computations (Abstract)

A. Olsson , Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden
J. Jonsson , Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden
J. Vasell , Dept. of Comput. Eng., Chalmers Univ. of Technol., Goteborg, Sweden
pp. 270

Analysis and improvement of task schedulability in hardware/software codesign (Abstract)

J. Axelsson , Dept. of Comput. & Inf. Sci., Linkoping Univ., Sweden
pp. 276
Session 9: Distributed Systems, Chair: E. von Puttkamer

Meeting hard real-time constraints using a client-server model of interaction (Abstract)

J.M. Adan , CTI-Puccamp, Campinas, Brazil
M.F. Magalhaes , CTI-Puccamp, Campinas, Brazil
K. Ramamritham , CTI-Puccamp, Campinas, Brazil
pp. 286

Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications (Abstract)

C. Bergomi , Direzione Studi e Ricerche, Centro Ricerca di Automatica, Milan, Italy
O. Botti , Direzione Studi e Ricerche, Centro Ricerca di Automatica, Milan, Italy
L. Capra , Direzione Studi e Ricerche, Centro Ricerca di Automatica, Milan, Italy
pp. 294

A multi-agent distributed real-time system for a microprocessor field-bus network (Abstract)

G. Schrott , Inst. fur Inf., Tech. Univ. Munchen, Germany
pp. 302
Session 10: Data Base and Knowledge Based Systems, Chair: F. Patricelli

Performance studies of concurrency control in distributed real-time database systems on ATM networks (Abstract)

V.C.S. Lee , Dept. of Comput. Sci., City Univ. of Hong Kong, Kowloon, Hong Kong
C.M. Wong , Dept. of Comput. Sci., City Univ. of Hong Kong, Kowloon, Hong Kong
Kam-Yiu Lam , Dept. of Comput. Sci., City Univ. of Hong Kong, Kowloon, Hong Kong
Sheung-Lun Hung , Dept. of Comput. Sci., City Univ. of Hong Kong, Kowloon, Hong Kong
pp. 310

StarBase: a firm real-time database manager for time-critical applications (Abstract)

S.H. Son , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
M.R. Lehr , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
Young-Kuk Kim , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
pp. 317

A CAD tool to implement real-time fuzzy controllers on DSPs (Abstract)

I. del Campo , Dept. of Electr. & Electron., Univ. of the Basque Country, Bilbao, Spain
J.M. Tarela , Dept. of Electr. & Electron., Univ. of the Basque Country, Bilbao, Spain
pp. 323
Session 11: Fault Tolerance, Chair: V.E. Grosspietch

Incremental Experimentation: a methodology for designing and analyzing distributed safety-critical systems (Abstract)

J.A. Lind , Informatik III, Dortmund Univ., Germany
H.F. Wedde , Informatik III, Dortmund Univ., Germany
A. Eiss , Informatik III, Dortmund Univ., Germany
pp. 328

Kernel services approach to fault-masking in real-time applications (Abstract)

R. Cuyvers , ESAT-ACCA Lab., Katholieke Univ., Leuven, Belgium
J. Peperstraete , ESAT-ACCA Lab., Katholieke Univ., Leuven, Belgium
G. Deconinck , ESAT-ACCA Lab., Katholieke Univ., Leuven, Belgium
M.J.P. Bekambo , ESAT-ACCA Lab., Katholieke Univ., Leuven, Belgium
J. Vounckx , ESAT-ACCA Lab., Katholieke Univ., Leuven, Belgium
R. Lauwereins , ESAT-ACCA Lab., Katholieke Univ., Leuven, Belgium
pp. 336

MicroFaultTolerant (/spl mu/FT)-a system for achieving cost effective fault tolerance in microcontroller based equipment (Abstract)

O. Pettersen , Div. of Eng. Cybern., Norwegian Inst. of Technol., Trondheim, Norway
S.A. Skavhaug , Div. of Eng. Cybern., Norwegian Inst. of Technol., Trondheim, Norway
pp. 344

Index of Authors (PDF)

pp. 359
105 ms
(Ver 3.1 (10032016))