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.
HASE 2016 will be held in Orlando, Florida, one of the most visited tourist destinations in the United States. Located in Central Florida, Orlando is nicknamed the "The City Beautiful" and is also known as "The Theme Park Capital of the World," with world known theme parks such as Disney World Resort, Universal Studios Florida, SeaWorld Orlando, Gatorland, LegoLand, and others. According to VisitOrlando, last year, more than 62 million people experienced all that Orlando has to offer, which made Orlando the most visited destination in the United States in 2014. There are countless of dining and entertainment options featured within the city limits with downtown area and International Drive capturing a large selection of different cuisines and year-round events.
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
01月07日
2016
02月06日
2016
初稿截稿日期
注册截止日期
2019年01月03日 中国
2019 IEEE 19th International Symposium on High Assurance Systems Engineering2017年01月12日 新加坡 Singapore
The 18th IEEE International Symposium on High Assurance Systems Engineering2015年01月08日 美国
2015年第16届IEEE国际高可靠性系统工程研讨会
留言