Donald C. Wunsch II
Dept. of Electrical and
Computer Engineering
301 W. 16th St., 131 EECH
Rolla, MO 65409 USA
573-341-4521 Office
573-341-4532 Fax
dwunsch@mst.edu
Dear Dr. Wunsch,
On behalf of HIS I would like to invite you to submit a paper to HASE 98. I believe the Symposium would benefit greatly from your participation.
best regards,
--
---------------------------------------------------------------------
Victor L. Winter, Ph.D. Voice: (505) 284-2696
FAX: (505) 844-9478
High Integrity Software Systems Engineering
PO Box 5800, Department 2615,
Sandia National Laboratories,
Albuquerque, NM 87185-0535
---------------------------------------------------------------------
_______________________________________________________________________________
CALL FOR PAPERS
3rd IEEE* High-Assurance Systems Engineering Symposium
November 13-14, 1998, Washington, DC (In conjunction with SRDS 98, ICSM 98, and Metrics 98)
The objective of this Symposium is to provide an effective forum for original scientific and engineering advances in High-Assurance Systems design, development and deployment, and to foster communication among researchers and practitioners working in all aspects of high assurance systems. The Symposium Proceedings will be published by the IEEE Computer Society Press after the symposium meeting.
SCOPE:
The primary focus of the Symposium is on innovative research results in the area of high-assurance (highly reliable, highly available, safety-critical, real-time, and secure) systems. Complex systems engineering issues, including hardware design, software engineering (both formal and informal methods), performance evaluation, and system assessment are particular focus of the Symposium. Of special interests are the integrated system design principles that consider multiple aspects of high assurance systems. The purpose of this Symposium is for public dissemination of such research results from academia, industry, and government.
Topics of interest include, but are not limited to:
- Techniques for achieving high dependability (reliability, availability, security, fault-tolerance, and real-time execution) in complex systems, including high-performance networks, parallel and distributed systems.
- System life-cycle, specification, design, implementation, verification, and validation techniques of high assurance systems.
- Evaluation methods and tools, including testing, reliability and availability assessment, performance evaluation, security assessment, etc., for high assurance systems.
- Application of formal methods on high assurance systems.
- Evolutionary design approaches for complex high-assurance systems.
- Software experiences for large high-assurance systems.
- CASE tools and other domain-specific tools for high-assurance systems.
- Cost model and assessment metrics for large software projects in the high-assurance domains.
- System management (scheduling, admission control, etc.) techniques for high assurance systems.
- Assurance monitoring systems.
SUBMISSION:
Authors are invited to submit original, previously unpublished papers to the symposium. The manuscript should be no more than 20 pages (double spaced).
1. Mail five copies of the manuscript to
Prof. Jeffrey J.P. Tsai
Department of Electrical Engineering and Computer Science
University of Illinois M/C 154,
851 South Morgan St., Chicago,
IL 60607 - 7053
Email: tsai@eecs.uic.edu
Phone: 312-996-9324
Fax: 312-413-0024
2. The manuscript should have a cover page, including the title of the paper, the name, email address, and affiliation of each author, the contact author, and the area of the paper.
3. HASE 98 will also include few special tracks dedicated to focussed interest areas. For submission to these focussed tracks, contact the Track Chair(s) in the respective areas, listed below. Papers from these Focussed Tracks will be presented during HASE 98, and included in the pre-proceeding. These papers will also be published in the IEEE Proceedings subject to review acceptance by the Program Committee.
Software Reliability Track
Chair: Bojan Cukic, West Virginia University, bojan@cs.uh.edu
European Assurance Track
Chair: Michel Ranyal, INRIA, France raynal@irisa.fr
Formal Methods in High-Assurance Track
Chair(s): Victor Winter, Sandia, vlwinte@sandia.gov
Matts Heimdahl, University of Minnesota,
High-Assurance in Intelligent Networked Systems Track
Chair: Tolety Siva Perraju, GTE Laboratory, tolety@gte.com
SCHEDULE:
Paper submission deadline: 5/15/98
Panel submission deadline: 6/15/98
Panel acceptance notification: 7/15/98
Paper acceptance notification: 8/15/98
Camera ready manuscript due: 9/15/98
ORGANIZING COMMITTEE:
General Chair: Raymond Paul, Department
of
Defense
Vice General Chair: Victor Winter, Sandia Nat’l Lab,
Dept. of Energy
Program Chair: Jeffrey J.P. Tsai, University of
Illinois
Program Co-Chairs: Thomas Keefe, Pennsylvania State
University
David Stewart, University of Maryland Ann Tai, SoHar Inc.
Steering Committee: C.V. Ramamoorthy, UC Berkeley (Chair)
Farokh Bastani, University of Texas
at
Dallas
Sourav Bhattacharya, Arizona State Univ.
Mohamed Fayad, University of Nevada
Wei-Tek Tsai, University of Minnesota
Sponsor: IEEE Computer Society