HASE 2014: 15th IEEE International Symposium on High Assurance Systems
Engineering, January 9 - 11, 2014 (Submissions due 01 August 2013)

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.

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

* Platforms and Architectures
 - Cyber-physical Systems
 - Cloud Computing
 - Distributed Systems
 - Web Services
 - Embedded Systems
 - SCADA Systems and other Critical Infrastructures

* Behavior
 - Emergent Behavior
 - Fault Tolerance
 - Simulation
 - Monitoring

* Development and Understanding
 - 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

For more information, please see http://hase2014.cis.fiu.edu/