AMAST Mail 2000
[Prev][Next][Index]

HASE 2000 cfp

Call for Papers:

Fifth IEEE International Symposium on
High Assurance Systems Engineering
November 15-17, 2000, Albuquerque New Mexico

Theme: Providing Convincing Evidence of Safety

High Consequence Systems are systems whose state spaces contain failure
states that are associated with unacceptable consequences (e.g., loss of

life, loss of national security, unacceptable financial losses, etc.).
By definition, high consequence failures are failures that, if
necessary,
system developers are willing to spend a considerable amount of energy,
effort, and resources in order to avoid.

High Assurance Systems have demanding requirements either to ensure the
safety of the users and environment or for economic survivability of the

roduct. Requirements are typically in the form of safety, high
reliability,
permanent availability, real-time constraints, security, and
fault-tolerance.

Systems Engineering is a discipline that focuses on the processes,
methods,
and tools needed to design, implement, integrate, and test complete
systems.
It requires cross-disciplinary expertise, ranging from  formal methods
and
software engineering to experimental validation and hardware design.


Before a system, high consequence or otherwise, is fielded "suitable
assurance"
(e.g., high assurance) must be provided that the system will not
experience
failure - or failing that, that the probability of experiencing a
failure is
"acceptably low".
In the high consequence realm, providing "suitable assurance" that a
system
failure will be "acceptably low" can be extremely difficult. Unless
great care
is taken, providing "suitable assurance" approaches and often exceeds
what is
possible given current state of the art techniques (e.g., formal methods
or
first principle system design), and the term "acceptably low" translates
to
reliability values that exceed the grasp of reliability techniques.
   A promising approach to overcoming these problems is to integrate
specific
system engineering practices with suitable (complimentary) techniques
for
providing the necessary assurance that the specific high consequence
system
under consideration satisfies its requirements.
The HASE Symposium is a forum for discussion of systems engineering
issues
specifically relating to high consequence and high assurance systems.
Examples
of high assurance applications include large complex systems such as
flight
control systems, medical surgery equipment, unmanned air vehicles,
military command and control, nuclear reactors, and secure
telecommunication
devices, as well as dedicated embedded systems such as vehicle braking,
pacemakers, traffic-light control, MEMS, micro-robots, and satellites.
   In the past, experts from industry and government R&D labs
represented close to half the attendees, while academicians represented
the other half.
Our goal is to maintain and improve this interaction between government,

industry, and academia through a high-quality program of research
papers,
panel discussions, demonstrations, focussed workgroups, and
presentations
of case studies and experiences in systems engineering for high
assurance
embedded systems.

Deadline for Submissions:   May 31, 1999
Notification of Acceptance: July 31, 1999
Camera-ready copy due:      August 31, 1999

For more information concerning submissions see
http://www.computer.org/author/psguide.htm.


Organizing Committee Chairs
General Chair           Wei-Tek Tsai
Program Chair           Victor L. Winter, Sandia National Laboratories
Vice Program Chair      Mario Dal Cin, University of Erlangen-Nuremberg
IMMD
Finance and             Bojan Cukic, University of West Virginia
Registration Chair


Topics of interest include, but are not limited to:
* Validation:
* Validation of specifications
* Fault-tolerant software design
* Experimental and model-based evaluation
* Assurance monitoring techniques
* Real-time validation of existing systems
* Verification:
* Formal modeling
* Transformation-based system development
* Case studies of practical applications of formal methods
* Model checking
* Real-time analysis and verification of existing systems
* Other:
* Evolutionary design of complex systems
* Hardware/software design tradeoffs
* MEMS
* Hardware architectures for high assurance systems
* Software engineering for embedded systems
* Security
* Interoperability of secure systems



Submission Categories

Research Paper [max 15 pages], primary for academicians, describing
original research results and prototype development.

Experience Paper Abstracts [max 2 pages], primarily for practitioners to

relay experiences in creating high assurance systems. The abstract must
discuss both strengths and weaknesses of the methods used for systems
that have been built and deployed. Authors of accepted abstracts will
have the opportunity to include a full paper in the proceedings.

Position Papers: [max 1 page]. Members who want to be considered for a
panel session can submit a position paper that discusses their view of
any issue pertaining to high-assurance systems. Persons with strong
position papers will be selected to participate in a related panel
session.

Panel Session Proposal [max 2 page overview, plus a 1-page position
paper from each proposed panel member]. The proposal overview should
introduce controversial issues related to systems engineering of high
assurance systems. The position papers should be from panelists
representing both sides. Panels should have 3 to 5 members, plus the
chair. At least half of the allotted time for the session should be for
questions and answers. Thus, each member will be allotted approx. 5
minutes to summarize their views on the debated issue. For the remainder
of the time, the floor will be open to questions.

Special Track Proposal. [max 2 pages] An overview of the proposed track
should include the authors and titles of papers that have been submitted
to the symposium that the chair would like to include in this special
track. If at least three of those papers are accepted, the special track
will be granted, and the track chair will have the opportunity to ask
one additional person to present an invited paper. Persons seeking these
special tracks should try to encourage people in the area to submit
papers, to provide them maximum choice and highest quality in selecting
papers.

Focussed Workgroup Proposal. [max 1 page] A focussed workgroup consists
of discussion by up to 10 people working in closely related areas,
discussing possible new research issues or areas. At the symposium, each
registrant will have the opportunity to participate in one of the
selected focussed workgroups.


Diego Latella

--
Consiglio Nazionale delle Ricerche - Istituto CNUCE
Via Santa Maria 36 - I56126 - Pisa - ITALY
phone: +39 050593230 - fax: +39 050904052
email: Diego.Latella@cnuce.cnr.it
[ AMAST Mail 2000 | Latest Update | AMAST Mail Meta-Index | AMAST ]