Euromicro Workshop on Real-Time Systems (RTS 1995) (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

7th RTS 1995: Odense, Denmark

• 

• 

• 

• 

• 
  jump to

  • Keynote Session 1
  • Open Forum Session 1
  • Session 4: Communications
  • Session 6: Specification
  • Session 7: Development Techniques
  • Session 9: Distributed Systems
  • Session 11: Fault Tolerance

• 

• > Home > Conferences and Workshops > RTS

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

• 
  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

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

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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: