Call for Papers

For a pdf or text version of this information, click on one of the following links:
   • PDF Version
   • Text Version

NEW: Extended versions of the best accepted papers will be invited for publication in the
         Springer Software Quality Journal.

The 15th IEEE International Symposium on High Assurance Systems Engineering (HASE) is a forum on tools and techniques used to design and construct systems that, in addition to meeting their functional objectives, are safe, secure, and reliable. The strength of the evidence supporting the assurance case is of central importance to the argument that a system satisfies its safety and security policies. Supporting evidence can be obtained from a number of sources including: testing, verification, design methodologies, simulation, and analysis tools.

The topics of the symposium include, but are not restricted to:

Platforms and Architectures		Development and Understanding
• Cyber-physical Systems    • Cloud Computing    • Distributed Systems    • Web Services    • Embedded Systems    • SCADA Systems and other Critical Behavior    • Fault Tolerance    • Simulation    • Emergent Behavior    • Monitoring		• Model-driven Engineering    • Synthesis    • Formal Methods    • Domain Specific Languages    • Evolution and Change    • Verification and Validation    • Software Analysis and Visualization    • Transformation-based Development    • Security, Reliability and Safety    • Tools for High Assurance Systems Case Studies and Experiments

Types of Contributions

Full/Research Papers (up to eight pages) that solicit original, unpublished research reports, empirical studies and reports on engineering advances. They will be reviewed for topicality, novelty, and potential to spark useful discussions in the symposium.

Fast Abstract Papers (up to two pages) that describe new ideas, or recent experiences to promote current work, research, practices, opinions, and issues related to any facet of high assurance systems. A fast abstract is early communication of technical work and does not require completed results as expected in a conference or journal publication.

Panel Proposals 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 of at most two pages should be submitted by email to the panel chair, and should include the panel title and scope, and the organizers contact information.