AMAST Mail 1999
[Prev][Next][Index]

CFP: High Assurance Systems Engineering (April 7 Deadline)


Quick Summary:

    Call for Papers

    1999 IEEE International Symposium on High Assurance Systems Enginnering

    Special theme: integration of high assurance embedded systems

    symposium focuses on interdisciplinary work in
	real-time, reliability, security, fault-tolerance, hardware, software

    http://www.eng.umd.edu/hase99

    submission deadline April 7, 1999

Detailed Call for Papers follows.

---------------------------------------------------------------------------
                                Call For Papers

               HASE 99: Fourth IEEE International Symposium on 
                      High Assurance Systems Engineering

                            Special Theme in 1999: 
             Integration Issues in High Assurance Embedded Systems

                     Washington DC Metropolitan Area

                          November 17-19, 1999 


Objectives and Scope:

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. High 
assurance systems have demanding requirements either to ensure the safety of 
the users and environment or for economic survivability of the product. 
Requirements are typically in the form of high reliability, permanent 
availability, real-time constraints, security, and fault-tolerance.

The HASE Symposium is a forum for discussion of systems engineering issues 
specifically for high-assurance systems. As a special theme for the fourth 
HASE Symposium, the focus will be on the development of embedded systems. 
Examples of high assurance embedded 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.

Topics of interest include, but are not limited to: 

·	software engineering for embedded systems
·	reliability of multi-sensor integration techniques
·	evolutionary design of complex systems
·	modeling user interaction with high assurance systems
·	high assurance optimization
·	hardware architectures for high assurance systems
·	security issues for information warfare
·	experimental evaluation of design trade-offs
·	documenting failures of high assurance systems
·	case studies of practical applications of formal methods
·	system life-cycle of critical embedded systems
·	assurance monitoring techniques
·	available all-the-time quality-of-service 
·	criteria and methods for evaluating and testing 
·	debugging tools and techniques
·	real-time analysis, verification, and validation of existing systems
·	automated design and integration of real-time systems
·	resource management for complex embedded systems
·	high-performance vs. low power/low cost trade-offs
·	interoperability of secure systems
·	architectures for fault detection and handling
·	securing information in portable devices

-----------------------------------------------------------------------------
Submissions that emphasize interdisciplinary collaboration to meet the 
challenges of achieving high assurability, and experiences that describe the 
obstacles faced when integrating the embedded system, are strongly encouraged.
-----------------------------------------------------------------------------

Submissions should be 11pt, 1.5 spacing, sent electronically as a PDF file, 
with a cover email to the Program Chair that includes the Title, Authors, 
Abstract, and Category for which it should be considered.  Details for
electronic submission are posted on the HASE 99 website
(http://www.eng.umd.edu/hase99).

Submission categories are the following:

    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. For example, find an industry person who is 
	willing to say "xxxx theory is useless", and get a person doing the 
	"xxxx theory"! 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 view on the debatable 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.

Important Dates:

Deadline for all submissions: 	April 7, 1999
Notification of acceptance: 	July 19, 1999
Camera-ready copy due: 		August 18, 1999


Organizing Committee:

General Chair
	Raymond Paul
	paulra@acq.osd.mil
	Department of Defense

Vice-General Chair
	David B. Stewart
	dstewart@eng.umd.edu
	University of Maryland
	http://www.ee.umd.edu/~dstewart

Program Chair
	Catherine Meadows
	meadows@itd.nrl.navy.mil
	Naval Research Laboratory

Finance and Registration Chair
	Bojan Cukic
	cukic@csee.wvu.edu
	West Virginia University

Local Arrangements Chair
	Ing-Ray Chen
	irchen@cs.vt.edu
	Virginia Tech
	http://www.cs.vt.edu/~irchen

Program Committee

    Andrea Bondavali  	CNUCE-CNR, Italy 	
    Ing-Ray Chen  	Virginia Tech 		
    Bojan Cukic  	West Virginia University  	
    Mario Dal Cin  	University of Erlangen, Germany 
    Herb Hecht  	SoHaR, Inc.  		
    Mats Heimdahl  	University of Minnesota 
    Carol Hoover 	Carnegie Mellon University
    Bruce Jacob 	University of Maryland
    Farnam Jahanian 	University of Michigan 		
    Myong Kang 		Naval Research Laboratory
    Taghi Khoshgoftaar	Florida Atlantic University  	
    Sukumaran Nair 	Southern Methodist University
    Tolety Perraju 	GTE 			
    Bill Sanders 	University of Illinois at Urbana-Champaign 
    Ann Tai 		IA Tech 		
    Victor Winter 	Sandia National Laboratories 	
    I-Ling Yen 		University of Texas at Dallas 	

For more information (including details on electronic submissions), see
http://www.eng.umd.edu/hase99.

For samples of papers from previous years, see our past special issues:
    HASE 96:	Communications of the ACM  	January 1997  
    HASE 97:	IEEE Computer  			April 1998
[ AMAST Mail 1999 | Latest Update | AMAST Mail Meta-Index | AMAST ]