posted by user: hase2011 || 3506 views || tracked by 6 users: [display]

HASE 2011 : High Assurance Systems Engineering


Conference Series : High-Assurance Systems Engineering
When Nov 10, 2011 - Nov 12, 2011
Where Boca Raton, FL, USA
Submission Deadline Jul 5, 2011
Notification Due Aug 15, 2011
Final Version Due Aug 31, 2011
Categories    development   verification and validation   assessment

Call For Papers

The IEEE International Symposium on High Assurance Systems Engineering is a forum for discussion of systems and software engineering approaches to achieving high assurance systems. The focus is on integrated approaches for assuring reliability, availability, integrity, privacy, confidentiality, safety, and real-time performance of complex systems; and methods for assessing assurance levels of these 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.

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

Related Resources

ICMSR--ACM, Ei and Scopus 2019   ACM--2019 2nd International Conference on Mechatronic Systems and Robots (ICMSR 2019)--Ei Compendex and Scopus
EJSD Journal 2018   European Journal of Sustainable Development
ACM--ICMSR--Ei and Scopus 2019   ACM--2019 2nd International Conference on Mechatronic Systems and Robots (ICMSR 2019)--Ei Compendex and Scopus
Sustainable Development Rome, Italy 2018   6th International Conference on Sustainable Development,12 - 13 September ICSD 2018
ICMRA--IEEE, EI and Scopus 2019   IEEE--2019 The 2nd International Conference on Mechatronics, Robotics and Automation (ICMRA 2019)--EI Compendex and Scopus
LICE 2018   London International Conference on Education 2018
ICMAI--EI Compendex and Scopus 2019   2019 the 2nd International Conference on Mathematics and Artificial Intelligence (ICMAI 2019)--EI Compendex and Scopus
IJSSE 2018   International Journal of Secure Software Engineering (IJSSE) Special Issue On Secure Software Engineering in DevOps and Agile Development
HPCA 2019   The 25th International Symposium on High-Performance Computer Architecture
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence