[Prev][Next][Index]
[Bernd.Kraemer@FernUni-Hagen.de: CFP High Integrity Systems Engineering]
Return-Path: <Bernd.Kraemer@FernUni-Hagen.de>
Date: Mon, 24 Jul 95 11:09:21 +0200
From: Bernd.Kraemer@FernUni-Hagen.de (Bernd Kraemer)
To: Michael.Hinchey@cl.cam.ac.uk, bowen@comlab.ox.ac.uk, dan@red.ora.on.ca,
Mike.Gordon@cl.cam.ac.uk, cliff@cs.man.ac.uk, wing@cs.cmu.edu
Subject: CFP High Integrity Systems Engineering
Dear colleague
please note the following call for papers and forward it
to other interested parties.
Bernd Kraemer
==============================================
CALL FOR PAPERS
ISEW'96 Workshop on
HIGH INTEGRITY SYSTEMS ENGINEERING
25 March 1996
Technische Universitaet Berlin
In connection with
International Software Engineering Week '96
&
18th International Conference on Software Engineering
- ----------------------------------------------------------------------
Software is increasingly being used in safety-critical applications
where failure could cause loss of human life, personal injury, or significant
material damage. These applications are characterized by a
sensible interplay of heterogeneous technologies (software and various
kinds of hardware), high requirements on the dependability and correctness
of the embedded software, and -- depending on national regulations --
the need to undergo elaborate certification procedures. Examples of
high integrity applications occur in process control (e.g., in chemical
industry or nuclear power generation), traffic control, or in medical systems.
Although high integrity systems involve significant software content, a
growing group of researchers and developers in academia and industry
has departed from the software engineering community and joined with
collaborators from other disciplines such as electrical and mechanical
engineering or physics to attack the specific challenges of high integrity
applications. It is a purpose of this workshop to reconcile software engineering
and high integrity systems engineering and provide a forum to discuss specific
needs of high integrity systems, present substantial case studies, identify
advances in related software engineering fields and assess
contributing processes, methods, and tools.
Topics of interest include, but are not limited to, the following areas:
* Software Safety and Fault Tolerance Strategies
* Real-Time Requirements
* High integrity software in Process Control and Automation
* Formal Specification and Verification of Safety Requirements
* High Integrity Compilers and Runtime Environments
* Safety-oriented Specification, Design and Programming Languages
* Software Certification Techniques, Needs, and Experiences
* Software-Safety Standards
* Safety-oriented Hardware/Software Codesign
* Case Studies
INSTRUCTIONS FOR SUBMITTING PAPERS:
Manuscripts should be 8-10 pages in length in Latex or comparable format
(11pt). Papers must not have been previously presented or published, nor
currently submitted for publication. Each manuscript will be put
through a rigorous refereeing process. Manuscripts paper should have a
title page that includes the title of the paper, name(s) of its author(s),
affiliation(s), complete physical and electronic address(es), and telephone
number(s). Submission can be made in electronic form (Ascii text, Postscript,
Latex)
DEADLINES:
The contact person must receive 6 copies of your submission by
1 October 1995. Authors will be notified by 15 December 1995;
final versions are due by 15 January 1996.
CONTACT PERSON
Bernd Kraemer
FernUniversitaet
D-58084 Hagen
Germany
email: bernd.kraemer@fernuni-hagen.de
phone: +49 2331 987 371
Fax: +49 2331 987 375
PROGRAMME COMMITTEE
Alfs Berztiss
John McDermid
Friedrich von Henke
David Parnas
V. Stavridou
- -----------------------------------------------
CALL FOR PARTICIPATION CALL FOR PAPERS
+---------+ +---------+
| | International 18th International | |
| I S E W | Software Conference | I C S E |
| | Engineering on Software | |
| 9 6 | Week '96 Engineering | 1 8 |
| | | |
+---------+ +---------+
22--30 March 1996 25--29 March 1996
Technische Universitaet Berlin Technische Universitaet Berlin
- ----------------------------------------------------------------------
The International Software Engineering Week '96 (ISEW'96) in Berlin,
Germany, is designed to showcase the latest international trends and
developments in software engineering practice, research and education.
The objectives are to provide a forum to present new software
engineering research results, to exchange experience reports regarding
the use of software engineering technologies in industry, to expose
practitioners to promising new technologies, to expose researchers to
the problems of industrial software development, and to encourage the
transfer of advanced software engineering technologies from research
into practice.
ISEW'96 is the premier international software engineering meeting in
1996 combining the 18th International Conference on Software
Engineering (ICSE 18) and numerous in-depth software engineering
workshops. This meeting is a must for each software engineering
practitioner, researcher, and educator in order to keep abreast of
international trends and developments.
ISEW'96 will feature the following:
+ Multiple tracks of reviewed research papers.
+ Multiple tracks of industrial experience reports.
+ Invited presentations by internationally renowned experts from
academia and industry critically reviewing past developments in
research and industrial practice.
+ Panels on controversial software engineering issues.
+ Tutorials on issues of importance to practitioners, researchers and
educators.
+ Exhibitions of innovative software engineering tools.
+ Trips to CeBIT in Hannover, the world's largest computer trade fair.
+ In-depth workshops addressing topics ranging from multimedia to
configuration management and Cleanroom software engineering; each
has its own organizing committee.