posted by organizer: HASE2016 || 6137 views || tracked by 10 users: [display]

HASE 2016 : The 17th IEEE International Symposium on High Assurance Systems Engineering

FacebookTwitterLinkedInGoogle


Conference Series : High-Assurance Systems Engineering
 
Link: http://conf.laas.fr/HASE2016
 
When Jan 7, 2016 - Jan 9, 2016
Where Orlando, FL
Submission Deadline Sep 15, 2015
Notification Due Oct 12, 2015
Final Version Due Nov 10, 2015
 

Call For Papers

The 17th IEEE International Symposium on High Assurance Systems Engineering (HASE 2016)
Conference Theme: Mission Resilience with High Assurance Systems Engineering
January 7 - 9, 2016, Orlando, Florida, USA
Symposium Venue: Sheraton Lake Buena Vista Resort, Orlando, FL

http://conf.laas.fr/HASE2016


CALL FOR PAPERS

The 17th 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. The strength of the evidence supporting the assurance case is of central importance to 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 include, but are not limited to, the following:

Platforms and Architectures
- Cyber-Physical Systems
- Cloud Computing and Internet of Things
- Distributed Networks and Systems
- Embedded, Mobile and Real-Time Systems
- SCADA Systems and other Critical Infrastructures

System Operation and Behavior
- Emergent Behavior and Adaptability
- Safety, Vulnerability, and Fault Tolerance
- Reliability, Robustness, and Resilience
- Modeling and Simulation

Security and Privacy
- Big Data Security and Privacy
- Healthcare Systems Security and Privacy
- Software Security Assessment
- Cybersecurity Issues

Development and Understanding
- Agile Development Methods
- Model-based Systems Engineering
- Requirements and Formal Methods
- Domain Specific Languages
- System Verification and Validation
- Software Analysis and Visualization
- Assured Systems Development

Case Studies and Experiments
- Autonomous Systems
- Large-scale Systems Integration
- Space and Communication Systems
- Energy Management and Power Grids
- Human-Systems Integration


TYPES OF CONTRIBUTIONS

Full Research Papers (up to eight pages) that solicit original, unpublished research reports, empirical studies and reports on engineering advances. They will be reviewed for topicality, novelty, and potential to spark useful discussions in the symposium.

Fast Abstract Papers (up to two pages) that describe new ideas, or recent experiences to promote current work, research, practices, opinions, and issues related to any facet of high assurance systems. A fast abstract is early communication of technical work and does not require completed results as expected in a conference or journal publication.

Panel Proposals are being solicited. Panels should focus on new challenges and emerging technologies related to high assurance systems, to stimulate a lively and thought provoking discussion. Controversial issues that encompass multiple viewpoints are desirable. The goal is to engage the audience with a lively debate that furthers their understanding of the topic. Panel proposals of at most two pages should be submitted by email to the panel chairs and program chairs, and should include the panel title and scope, and the organizers' contact information.

Extended versions of the best accepted papers will be invited for publication in a special issue of an International Journal or an Edited Book (TBD).


IMPORTANT DATES

September 15, 2015: Paper submission
October 12, 2015: Author notification
November 10, 2015: Camera-ready & author registration


SUBMISSION

All submissions must be written in English and formatted according to the IEEE formatting guidelines for conference papers (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). All papers and fast abstracts must be submitted through the web-based submission system, in PDF format. Submissions that exceed the specified page limits (eight for research papers and two for fast abstracts), outside the scope of the symposium, or do not follow the formatting guidelines may be rejected without review. At least one author of each accepted research paper or fast abstract is required to pay the full registration fee to the conference. Each accepted paper or fast abstract must be presented in person by the author or one of the co-authors. All accepted papers and fast abstracts will be published in the electronic proceedings by the IEEE Computer Society, indexed through INSPEC and EI Index, and automatically included in the IEEE digital library.


CONFERENCE ORGANIZERS

General Chairs
Raymond A. Paul, Department of Defense, USA
Bojan Cukic, University of North Carolina at Charlotte, USA
Jie Xu, University of Leeds, UK

Program Chairs
Radu Babiceanu, Embry-Riddle Aeronautical University, USA
Helene Waeselynck, LAAS-CNRS, Toulouse, France

Finance Chair
Victor Winter, University of Nebraska at Omaha, USA

Local Arrangements Chairs
Kelly Neville, Naval Air Warfare Center, Orlando, FL, USA
Remzi Seker, Embry-Riddle Aeronautical University, USA

Proceedings Chair
Jiang Bian, University of Florida, USA
William C. Barott, Embry-Riddle Aeronautical University, USA

Panel Chairs
Kenji Yoshigoe, University of Arkansas at Little Rock, USA
Zoltan Micskei, Budapest University of Technology and Economics, Hungary

Publicity Chairs
Thomas Yang, Embry-Riddle Aeronautical University, USA
Atif Mashkoor, Software Competence Center, Hagenberg, Austria

Related Resources

HiPC 2024   31st IEEE International Conference on High Performance Computing, Data, and Analytics
UCC 2024   The IEEE/ACM International Conference on Utility and Cloud Computing
IEEE ICCR 2024   IEEE--2024 6th International Conference on Control and Robotics (ICCR 2024)
WSIS - 2024   XV WORKSHOP ON INFORMATION SYSTEMS (WSIS)
RAAI 2024   IEEE--2024 4th International Conference on Robotics, Automation, and Artificial Intelligence (RAAI 2024)
Vibroengineering Ukraine 2024   Vibroengineering Conference on Vibration Processes and Systems in Engineering
ICMERR--EI 2025   2025 the 9th International Conference on Mechanical Engineering and Robotics Research (ICMERR 2025)
CMAME 2024   Springer--2024 the 11th International Conference on Mechanical, Automotive and Materials Engineering (CMAME 2024)
PMAE 2024   2024 The 6th International Conference on Progress in Mechanical and Aerospace Engineering (PMAE 2024)
CRC 2024   IEEE--2024 9th International Conference on Control, Robotics and Cybernetics (CRC 2024)