[Mycolleagues] CFP: IEEE High Assurance Systems Engineering Symposium

11th IEEE High Assurance Systems Engineering Symposium
Nanjing, China
December 3 - 5, 2008

http://cs.nju.edu.cn/hase08/main.html

Call for Papers

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. Technical and experience papers on algorithms,
policies, middleware, tools, and models for high assurance systems
development, verification and validation, and assessment are welcome.

Authors are invited to submit high quality technical papers describing
original and unpublished work in all aspects of high assurance systems
engineering.
Topics of interests 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, specification validation, testing, and model
checking for high assurance systems
* High assurance software architecture 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 web services
* High assurance information/knowledge systems and data grids
* High assurance embedded systems, ubiquitous systems and sensor
networks
* Extending web service specifications for reliability, safety,
security, privacy, trust, and other *QoS properties
* Assurance techniques for service-oriented systems

Important Dates:
June 10, 2008: Paper submission deadline
July 10, 2008: Fast Abstract submission deadline
August 1, 2008: Acceptance/rejection notification
August 29, 2008: Camera-ready version due
December 3-5, 2008: HASE 2008
_______________________________________________
Mycolleagues mailing list
Mycolleagues@grid.lrg.ufsc.br
http://grid.lrg.ufsc.br/mailman/listinfo/mycolleagues