活动简介

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.

征稿信息

重要日期

2015-09-15
初稿截稿日期

征稿范围

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

  • 09月15日 2015

    初稿截稿日期

  • 02月06日 2016

    注册截止日期

主办单位
IEEE Computer Society
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询