The 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. Of central importance, is the strength of the evidence supporting the assurance case – 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 for the symposium include, but are not limited to:<br>Platforms and Architectures<br>Cloud Computing<br>Cyber–physical Systems<br>Distributed systems<br>Embedded systems<br>SCADA systems and other critical infrastructures<br>Web Services<br>Behavior<br>Emergent behavior<br>Fault Tolerance<br>Monitoring<br>Simulation<br>Development and Understanding<br>Domain–specific Languages<br>Evolution and Change<br>Formal Methods<br>Model–driven Engineering<br>Security<br>Software Analysis and Visualization<br>Synthesis<br>Tools<br>Transformation–based Development<br>Verification and validation<br>Case Studies and Experiments<br>
Abbrevation
HASE
City
OmahaNE
Country
United States
Deadline Paper
Start Date
End Date
Abstract