<P>The IEEE International Symposium on High Assurance Systems Engineering is a forum for discussion of systems and software engineering issues to achieve high assurance systems. The focus is on integrated approaches for assuring reliability, availability, integrity, privacy, confidentiality, safety, and real–time of complex systems and the methods for assessing the assurance levels of the systems to a high degree of confidence. </P> <P><B>Keywords:</B> * Design and development of highly reliable, survivable, secure, safe, and time–assured systems <BR>* Integrated system reliability, availability, security, safety, and timing analysis and evaluation methods <BR>* Policies for reliability, safety, security, integrity, privacy, and confidentiality of high assurance systems <BR>* Formal specification, specification validation, testing, and model checking for high assurance systems <BR>* High assurance software architecture and design <BR>* Transformation–based and evolutionary–based system development <BR>* Reconfigurable system design for evolving high assurance requirements <BR>* Dynamic monitoring and adaptation for run–time assurance <BR>* High assurance web services <BR>* High assurance information/knowledge systems and data grids <BR>* High assurance embedded systems, ubiquitous systems and sensor networks <BR>* Extending web service specifications for reliability, safety, security, privacy, trust, and other QoS properties <BR>* Assurance techniques for service–oriented systems </P>
Abbrevation
HASE
City
Nanjing
Country
China
Deadline Paper
Start Date
End Date
Abstract