The 12th IEEE International High Assurance Systems Engineering Symposium (HASE 2010) (HASE 2010)

Venue: -

Location: -

Event Date/Time: Nov 01, 2010 End Date/Time: Nov 04, 2010
Abstract Submission Date: Jul 05, 2010
Paper Submission Date: Jul 12, 2010
Report as Spam


Call for Papers

The IEEE International Symposium on High Assurance Systems Engineering is a forum for discussion of systems and software engineering approaches to achieving high assurance systems. The focus is on integrated approaches for assuring reliability, availability, integrity, privacy, confidentiality, safety, and real-time performance of complex systems; and methods for assessing assurance levels of these systems to a high degree of confidence. Technical and experience papers on algorithms, policies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome.

Topics of interest for the symposium include, but are not limited to:

• Design and development of highly reliable, survivable, secure, safe, and time-assured systems
• Integrated system reliability, availability, security, safety, and timing analysis and evaluation methods
• Policies for reliability, safety, security, integrity, privacy, and confidentiality of high assurance systems
• Formal specification, validation, testing, and model checking for high assurance systems
• High assurance software architectures and design
• Transformation-based and evolutionary-based system development
• Reconfigurable system design for evolving high assurance requirements
• Dynamic monitoring and adaptation for run-time assurance
• High assurance information/knowledge systems and data grids
• High assurance embedded systems, ubiquitous systems, and sensor networks
• High assurance web services
• Extending web service specifications for reliability, safety, security, privacy and other QoS properties
• Assurance techniques for service-oriented systems
• Case studies, experiments, and tools for high assurance systems

Research Papers:
HASE 2010 is soliciting original, unpublished research papers. The length is limited to 10 pages, in IEEE style.

Fast Abstracts:
A fast abstract is a lightly reviewed, two-page technical article that requires a short talk at HASE. The goal of a fast abstract is to promote current work, research, practices, opinions, experiences, and issues related to any facet of high assurance systems. A fast abstract is early communication of technical work and does not require the completed results expected of a conference or journal publication. The length is limited to two pages, in IEEE style

All submissions must be written in English and formatted according to the IEEE formatting guidelines for conference papers. All papers and fast abstracts must be submitted through the web-based submission system, in PDF format. Submissions that exceed the page limits specified, are outside the scope of the symposium, or do not follow the formatting guidelines will be rejected without review.

At least one author of each accepted research paper or fast abstract is required to pay the full registration fee to the conference. Each accepted paper or fast abstract must be presented in person by the author or one of the authors.

All accepted papers and fast abstracts will be published in the electronic proceedings by the IEEE Computer Society, indexed through INSPEC and EI Index, and automatically included in the IEEE digital library. Arrangements are being made to publish extended versions of the best research papers in reputable journals.

Panel Proposals:
Proposals for panels are being solicited. Panels should focus on new challenges and emerging technologies related to high assurance systems, to stimulate a lively and thought provoking discussion. Controversial issues that encompass multiple viewpoints are desirable. The goal is to engage the audience with a lively debate that furthers their understanding of the topic. Panel proposals should be submitted by email, to, and should include the panel title and scope, and organizers’ contact information.

Detailed instructions for electronic paper submission, fast abstracts, and panel proposals will be posted at

Important Dates:
July 5, 2010 Abstract registration deadline
July 12, 2010 Full paper submission deadline
July 30, 2010 Fast abstract and panel proposal deadline
August 16, 2010 Author notification
August 30, 2010 Camera-ready submission and author registration deadline

Organizing Committee:
Program Chair: Sahra Sedigh (Missouri Univ. of Science and Technology, USA)
Publicity Co-Chairs: Ayman Faza (Missouri Univ. of Science and Technology, USA)
Jicheng Fu (Univ. of Central Oklahoma, USA)
Proceedings Chair: Jing Lin (Missouri Univ. of Science and Technology, USA)
Program Committee
To be determined

Steering Committee
Raymond A. Paul Department of Defense (Chair)
Taghi M. Khoshgoftaar Florida Atlantic Univ.
Kinji Mori Tokyo Institute of Technology
Wei-Tek Tsai Arizona State Univ.
Victor Winter Univ. of Nebraska at Omaha
I-Ling Yen Univ. of Texas at Dallas