CALL FOR PAPERS
3rd IEEE* High-Assurance Systems Engineering Symposium
November 13-14, 1998, Washington, DC
(In conjunction with ICSM98, Metrics98, WESS98)
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. A selected number of the accepted papers will
possibly be expanded and revised for publication in journals.
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:
o 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.
o System life-cycle, specification, design, implementation, verification,
and validation techniques of high assurance systems.
o Evaluation methods and tools, including testing, reliability and
availability assessment, performance evaluation, security assessment, etc.
for high assurance systems.
o Application of formal methods on high assurance systems.
o Evolutionary design approaches for complex high-assurance systems.
o Software experiences for large high-assurance systems.
o CASE tools and other domain-specific tools for high-assurance systems.
o Cost model and assessment metrics for large software projects in the
high-assurance domains.
o System management (scheduling, admission control, etc.) techniques for
high assurance systems.
o Assurance monitoring systems.
SUBMISSION:
-----------
Authors are invited to submit original, previously unpublished papers to
the symposium. The manuscript should contain 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
MC 154
University of Illinois, Chicago
851 South Morgan Street
Chicago, IL 60607 - 7053
Email: tsai@eecs.uic.edu
Phone: 312-996-9324
Fax: 312-413-0024
or e-mail the postscript file of the paper to tsai@eecs.uic.edu.
2. E-mail a cover page, inlcuding the title of the paper, the name, email
address, and affiliation of each author, the contact author, and the
area of the paper to
tsai@eecs.uic.edu
The paper will not be processed if the information is not received.
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 Cukic, 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
heimdahl@cs.umn.edu
High-Assurance in Intelligent Systems Track
Chair: Tolety Siva Perraju, GTE Laboratories
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
MORE INFORMATION:
-----------------
http://kel7.eecs.uic.edu/hase98/
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, Chicago
Program Co-Chairs: Thomas Keefe, Pennsylvania State University
David Stewart, University of Maryland
Ann Tai, SoHar Inc.
Program Committee:
Leon Alkalai, California Institute of Technology
Kamel Barkaoui, CNAM, France
Andrea Bondavalli, CNUCE-CNR, Italy
IngRay Chen, Virginia Tech.
Mario Dal Cin, University Erlangen, Germany
Bojan Cukic, West Virginia Univ.
Joanne B. Dugan, Univ. of Virginia
Xudong He, North Dakota State Univ.,
Herbert Hecht, SoHaR Incorporated
Mats Heimdahl, Univ. of Minnesota
Carol Hoover, Carneige Mellon Univ.
Farnam Jahanian, Univ. of Michigan
Taghi M. Khoshgoftaar, Florida Atlantic Univ.
Kane Kim, Univ. of California, Irvine
Catherine Meadows, Naval Research Laboratory
Kinji Mori, Tokyo Institute of Technology, Japan
Sukumaran Nair, Southern Methodist Univ.
Edgar Nett, GMD, Germany
William H. Sanders, Univ. of Illinois
Richard D. Schlichting, Univ. of Arizona
Vic Thomas, Honeywell Technology Center
Wei-Tek Tsai, Univ. of Minnesota
Hongji Yang, De Montfort University, United Kingdom
I-Ling Yen, Univ. of Texas at Dallas
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