Call for Papers for COMPASS'97



Date view Thread view Subject view Author view

Jeff Voas (jmvoas(at)rstcorp.com)
Sat, 27 Jul 1996 10:13:52 EDT


CALL FOR PAPERS COMPASS '97 12th Annual Conference on Computer Assurance June 16-20, 1997 Gaithersburg, MD Sponsored by IEEE Aerospace & Electronic Society IEEE National Capital Area The purpose of COMPASS is to bring together researchers, developers, integrators, and evaluators interested in problems related to specifying, building, and certifying high-assurance systems. What distinguishes COMPASS from similar conferences is its emphasis on bridging the gap between theory and practice. The theme of COMPASS '97, "are we making any progress toward computer assurance?", will focus discussion on whether the approaches that have been developed and reported on during the past 25 years have any hope for solving today's assurance problems. In addition to exposing technical weaknesses in the state-of-the-art and state-of-the-practice, conference goals include: identifying barriers to applying existing assurance technologies in industry, understanding the properties new technologies must have to meet industrial needs, and identifying evidence where advanced technologies are effective in attacking the key problem areas of safety, security, fault-tolerance, and real-time. For researchers, COMPASS '97 provides an opportunity to present new theories, techniques, methods, or results of case studies to other researchers and to practitioners who can put them to use. COMPASS '97 also provides a unique opportunity to learn from practitioners about issues and problems encountered in constructing practical systems. Practitioners have the opportunity to present results and lessons learned to researchers as well as to learn of new research targeted to problems in high-assurance systems. For practitioners, COMPASS provides the unique opportunity to influence future research directions. The conference will be held June 16-20, 1997, at the National Institute of Standards and Technology (NIST) in Gaithersburg, Maryland, a suburb of Washington, D.C. The proceedings will be published by the IEEE Computer Society. Papers should present advances in the theory, design, implementation, evaluation, or application of high-assurance systems, or report on experiments, case studies, evaluations, and problems in the application of computer assurance technology. Special consideration will be given to presentations that directly address the conference theme. Proposals for panels are also sought, particularly panels that directly address the conference theme. There will be a tools fair, and the conference will be preceded by one or two days of tutorials. Papers, panel proposals, tutorial proposals, and tools fair proposals are solicited in relevant areas including: Software Reliability Software Safety Computer Security Formal Methods Tools Support Human-Computer Interaction Real-Time Systems Embedded Systems V & V Practices Certification Standards Measurement and Metrics Life-Cycle Processes Case Studies Fault-Tolerance Software Liability Software Testing Representative application areas of interest include, but are not limited to, communications, military systems, avionics, transport, space systems, nuclear and conventional power generation, plant and process control, and medical systems. INSTRUCTIONS TO AUTHORS: Paper abstracts must be RECEIVED by October 21, 1996, and the full paper submitted by November 8, 1996. The preferred form for abstracts is e-mail, limited to a single page when printed at 10-pitch on 8-1/2 x 11 paper. Author names and affiliations are not counted in the 1-page limit. Abstracts will be used to help assign reviewers. For those without access to e-mail, a single hard copy abstract should be send to arrive on time by fax or postal mail. The paper itself may NOT be submitted by e-mail or fax, except by prior arrangement with a program co-chair. Send six hard copies (printed on both sides if possible) of the paper, including author names, affiliations, addresses, etc., and including the previously submitted abstract. Paper length is limited to 7,500 words. For papers with multiple authors, clearly indicate the author who will serve as contact. Only full original papers, which have not previously appeared and are not submitted to any other conference or publication, will be considered. Authors are responsible for obtaining, prior to acceptance, all necessary permissions and clearances for publication and are expected to present their papers in person if accepted. Authors will be notified of acceptance by February 17, 1997. Camera-ready copies will be due March 15, 1997. Papers that describe the use of technology presented at a previous COMPASS conference (excluding previous work of the same author) are eligible for a special award. Submit panel, tools-fair, and tutorial proposals by November 15, 1996. PROGRAM COMMITTEE Tom Anderson U. Newcastle-on-Tyne, UK Robin Bloomfield Adelard, UK Ricky Butler NASA Langley, USA Stuart Faulk Naval Research Lab, USA John Gannon Univ. of Maryland, USA Connie Heitmeyer Naval Research Lab, USA Jon Jacky Radiation Oncology, USA Jeremy Jacob York University, UK John Knight Univ. of Virginia, USA Carl Landwehr Naval Research Lab, USA John McLean Naval Research Lab, USA Peter Neumann SRI International, USA John Rushby SRI International, USA Dave Weiss AT & T Bell Labs, USA PAPER ABSTRACTS SHOULD BE SUBMITTED TO: Dick Hamlet e-mail: hamlet(at)cs.pdx.edu Fax: +1 (503) 725-3211 PAPERS AND PANEL PROPOSALS SHOULD BE SUBMITTED TO: Dick Hamlet Bev Littlewood Program Co-Chair Program Co-Chair Portland State University City University, London Department of Computer Science 1800 SW 6th Ave. Portland Oregon 97207-0751 Telephone: +1 (503) 725-3216 TUTORIAL PROPOSALS SHOULD BE SUBMITTED TO: John Marciniak Kaman Sciences Corporation 2560 Huntington Ave. Alexandria, VA 22303-1410 marcin-alx1(at)kaman.com TOOLS FAIR PROPOSALS SHOULD BE SUBMITTED TO: Keith Miller University of Illinois at Springfield Department of Computer Science Springfield IL 62794 (217) 786-7327 fax: (217) 786-7188 miller(at)uis.edu FOR FURTHER INFORMATION CONCERNING THE CONFERENCE, CONTACT: Jeffrey Voas General Chair Reliable Software Technologies Suite 250 21515 Ridgetop Circle Sterling, VA 20165 (703) 404-9293 fax: (703) 404-9295 jmvoas(at)testability.rstcorp.com


Date view Thread view Subject view Author view