From: Gilles Motet <motet@dge.insa-tlse.fr>
To: <categories@mta.ca>
Subject: EuroPar 99 / Toulouse
Date: Thu, 17 Dec 1998 09:15:14 +0100 [thread overview]
Message-ID: <2.2f.32.19981217081514.009cc144@dge.insa-tlse.fr> (raw)
Call for papers
Euro-Par'99
Toulouse, France
August 31 - September 3, 1999
===========
Topic 06: Fault Avoidance and Fault Removal in Real-Time Systems
---------
Topic Committee :
-----------------
Global chair : Tomasz Szmuc (Computer Science Lab., Inst. of
Automatics, St. Staszic Techn. Univ., Krakow, Poland)
Vice-chair : Wolfgang Halang (Faculty of Electrical Engineering,
FernUniversitaet, Germany)
Vice-chair : Janusz Zalewski (Dept. of Electrical and Computer
Engineering, Univ. of Central Florida, USA)
Local chair : Gilles Motet (Dept. de Genie Electrique et Informatique,
INSA, Toulouse, France)
Description :
-------------
This topic is dedicated to Fault Avoidance and Fault Removal means
in Real-Time Systems. Fault Avoidance is concerned with modelling means,
development processes and methods, etc., whereas Fault Removal covers models,
verification, testing and diagnosis techniques, etc. In the context of
Real-Time Systems, temporal parameters are important features of both
Fault Avoidance and Fault Removal. It also includes other issues of interest
such as the capabilities of the programming languages to avoid faults and
to make easier their detections in the real-time applications, their associated
implementations (such as predictable scheduling), the impact of hardware, etc.
We would like this topic to span from academia to applications and
from scientific approaches to well-engineered real-time systems case studies.
This topic is not concerned by fault tolerance and dependability evaluation
which is covered by Topic 20.
Topics of interest include :
----------------------------
development process for real-time applications
guidelines to develop dependable real-time software
quality management of real-time applications
classification of real-time application faults
models allowing real-time concepts to be expressed
verification of real-time constraints
synchronous real-time languages
code speed evaluation
predictable real-time static or dynamic scheduling
Euro-Par conference series :
----------------------------
Euro-Par is the annual European conference on parallel computing. It
is dedicated to the promotion and advancement of all aspects of parallel
computing.
Euro-Par'99 is organized as a day of tutorials, two half-day plenary
sessions, and a number of parallel sessions.
Paper submission :
------------------
Authors are requested to use the electronic form on the web site
to submit their paper to the topic they judge most appropriate.
Official Address and Organization:
-----------------------------------
For any questions related to Euro-Par'99 please refer to our
web site:
http://www.enseeiht.fr/europar99/
or e-mail to:
europar99@enseeiht.fr.
The key dates are:
------------------
- January 31st 1999 : Final Date for Submissions
- May 1st 1999 : Acceptances Notified
- June 1st 1999 : Final Copy and Author Registration due
- June 30th 1999 : Early Registration Deadline
- August 1st 1999 : Late Registration Deadline
********************************************************************
* Gilles MOTET tel : +(33/0)5 61 55 98 18 *
* DGEI / INSA fax : +(33/0)5 61 55 98 00 *
* Complexe Scientifique de Rangueil sec : +(33/0)5 61 55 98 13 *
* 31077 Toulouse cedex 4 *
* France E-mail : motet@dge.insa-tlse.fr *
* *
* Pub : Vient de paraître : *
* J.-C. Geffroy et G. Motet, "Sûreté de Fonctionnement des *
* Systèmes Informatiques", InterEdition/Masson, 1998 *
********************************************************************
reply other threads:[~1998-12-17 8:15 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=2.2f.32.19981217081514.009cc144@dge.insa-tlse.fr \
--to=motet@dge.insa-tlse.fr \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).