The 12th IEEE International High Assurance Systems Engineering Symposium (HASE 2010)
November 1-4, 2010
San Jose, CA, USA
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
