


default search action
7th RTS 1995: Odense, Denmark
- 7th Euromicro Workshop on Real-Time Systems, EUROMICRO-RTS'95, Odense, Denmark, March 14-16, 1995. IEEE Computer Society 1995, ISBN 0-8186-7112-2

Keynote Session 1
- Alejandro Alonso

, Hanne Christensen, Luciano Baresi, Marko Heikkinen:
IDERS: an integrated environment for the development of hard real-time systems. 4-10 - Peter Loborg, Anders Törne:

A layered architecture for real time applications. 11-16 - Marco Agnoli, Alessandro Poli, Antonella Verdino, Francesco Tisato:

HyperReal One: the implementation, the environment and an example. 17-25
Session 2: Operating Systems
- Alejandro Alonso

, Ignacio Casillas, Juan Antonio de la Puente
:
Dynamic replacement of software in hard real-time systems: practical assessment. 26-33 - Krzysztof Sacha

:
Measuring the real-time operating system performance. 34-41
Open Forum Session 1
- Jyrki Leskela, Marko Salmela, Marko Heikkinen, J. Hyvärinen:

Visualisation of real-time software in host-based simulation environment. 42-48 - Giacomo Bucci, Paolo Nesi

:
Using TOOMS/TROL for specifying a cellular phone. 49-56 - Mikko Levanto:

A scheduling problem language. 57-61 - L. Maillet, Christian Fraboul:

Scheduling complex real-time tasks in an embedded distributed system. 62-65 - H. J. Beestermöller, Georg Thiele, J. Becker:

Fuzzy-control with a PEARL-based multi-loop controller. 66-70 - Paolo Achdjian, Sergio D'Angelo, Egidio Quadrini, Giacomo R. Sechi, Enrico G. Tanzi:

A dedicated digital unit for event recognition and centroiding in photon counting intensified CCDs. 71-79
Session 3: Scheduling
- Joo-Yong Kim, Kern Koh:

Pessimistic Deadline Ceiling Protocol: a concurrency control protocol under earliest deadline first scheduling. 80-86 - Ramesh Yerraballi, Ravi Mukkamala, Kurt Maly, Hussein M. Abdel-Wahab:

Issues in schedulability analysis of real-time systems. 87-92 - Houcine Hassan

, Alfons Crespo
, Ana García-Fornes:
Scheduling algorithms for improving the response in intelligent real-time environments. 93-98 - José Javier Gutiérrez García

, Michael González Harbour
:
Increasing schedulability in distributed hard real-time systems. 99-107
Session 4: Communications
- José A. Gil

, Ana Pont
, Juan José Serrano:
A performance study of several CSMA protocols for time constrained applications. 108-115 - Tino Pyssysalo, Pertti Raatikainen, Juha Zidbeck:

FSR-a fair switching architecture. 116-123 - Justin N. Akazan, Zoubir Mammeri:

MMS and time. 124-131 - Zoubir Mammeri, Justin N. Akazan:

An environment to ease the use of MMS. 132-139
Session 5: Modeling and Validation
- Juan Carlos Dueñas López, Gonzalo León Serrano:

Simulation of real time scheduling at design levels. 140-146 - Francesco Calzolari, Mauro Pezzè

:
Property decomposition to speed up analysis. 147-154 - Vassilis C. Gerogiannis

, Manthos A. Tsoukarellas:
SAT-a schedulability analysis tool for real-time applications. 155-163
Session 6: Specification
- Michael Holdgaard, Thomas J. Eriksen, Anders P. Ravn, Torben Ole Andersen

:
A distributed implementation of a mode switching control program. 164-168 - Johannes Ernst, Yankin Tanurhan, Klaus D. Müller-Glaser:

Using ObjectCharts to specify and design electronic systems. 169-175
Open Forum Session 2
- Éric Rutten, Florent Martinez:

SIGNAL GTi: implementing task preemption and time intervals in the synchronous data flow language SIGNAL. 176-183 - Juan Echagüe

, Ismael Ripoll, Alfons Crespo
:
Hard real-time preemptively scheduling with high context switch cost. 184-190 - Nabil Zakhama, Pascal Estraillier:

Hybrid specification and formal distributed heterogeneous prototyping of distributed real-time systems. 191-196 - Marko Kääramees

:
Transforming designs towards implementations. 197-204 - Celso Antônio Alves Kaestner, Jean-Marie Farines:

A synchronous real-time knowledge-based system. 205-212 - Rein Paluoja:

A Q-model approach to decomposition and aggregation of specifications of real-time systems. 213-221
Session 7: Development Techniques
- Flavio De Paoli

, Francesco Tisato:
Architectural abstractions and time modelling in HyperReal. 222-228 - Johann Blieberger

, Roland Lieger:
Real-time recursive procedures. 229-235 - Jozef Hooman, Jüri Vain

:
An integrated technique for developing real-time systems. 236-243 - Nimal Nissanke:

Towards refinement in realtime programming. 244-253
Session 8: Distributed Scheduling
- Charlie McElhone, Alan Burns, Robert I. Davis:

Hybrid algorithms for dynamic schedulability testing. 254-261 - Moreno Coli, Paolo Palazzari

:
A new method for optimization of allocation and scheduling in real time applications. 262-269 - Jan Jonsson, Annika Olsson, Jonas Vasell:

Predicting real-time behaviour for data flow computations. 270-275 - Jakob Axelsson:

Analysis and improvement of task schedulability in hardware/software codesign. 276-285
Session 9: Distributed Systems
- Juan Manuel Adán Coello

, Maurício F. Magalhães, Krithi Ramamritham:
Meeting hard real-time constraints using a client-server model of interaction. 286-293 - Oliver Botti, Lorenzo Capra

, Carlo Bergomi:
Stochastic Petri net evaluation techniques in plant automation: tuning performance indices for distributed applications. 294-301 - Gerhard Schrott:

A multi-agent distributed real-time system for a microprocessor field-bus network. 302-309
Session 10: Data Base and Knowledge Based Systems
- Victor C. S. Lee

, Kam-yiu Lam
, Sheung-lun Hung, C. M. Wong:
Performance studies of concurrency control in distributed real-time database systems on ATM networks. 310-316 - Matthew R. Lehr, Young-Kuk Kim

, Sang Hyuk Son:
StarBase: a firm real-time database manager for time-critical applications. 317-322 - Inés del Campo

, José Manuel Tarela
:
A CAD tool to implement real-time fuzzy controllers on DSPs. 323-327
Session 11: Fault Tolerance
- Horst F. Wedde, Jon A. Lind, Andreas Eiss:

Incremental Experimentation: a methodology for designing and analyzing distributed safety-critical systems. 328-335 - Manga J. P. Bekambo, Johan Vounckx, Geert Deconinck

, R. Cuyvers, Rudy Lauwereins, J. A. Peperstraete:
Kernel services approach to fault-masking in real-time applications. 336-343 - S. Amund Skavhaug, Odd Pettersen:

MicroFaultTolerant (μFT)-a system for achieving cost effective fault tolerance in microcontroller based equipment. 344-351 - Soraya Bestaoui:

One solution for the non-determinism problem in the SCEPTRE 2 fault tolerance technique. 352-358

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














