活动简介

The 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 and secure. Of central importance, is the strength of the evidence supporting the assurance case - 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 2015 will be held in Daytona Beach, Florida. Located on the east coast of Central Florida, and anchored by 23 miles of clean, hard-packed white sand, Daytona Beach is known as the World's Most Famous Beach and also internationally famous for its racing roots, hosting some of the largest motorsports events in the world including the Daytona 500, commonly recognized as the "Great American Race." The city is also attractive to college students searching for first-class education, with four institutions of higher learning located in Daytona Beach, including Embry-Riddle Aeronautical University, the world's largest, fully accredited university specializing in aviation and aerospace. We invite you to join us at this international symposium, and to help shape the future of high assurance systems engineering! See you in Daytona Beach in January 2015!

征稿信息

征稿范围

Topics of interest include, but are not limited to, the following: Platforms and Architectures Cyber-physical systems Cloud Computing Distributed Systems Web Services Embedded Systems SCADA Systems and other Critical Infrastructures Behavior Emergent Behavior Fault Tolerance Simulation Monitoring Development and Understanding Mode-driven Engineering Synthesis Formal Methods Domain Specific Languages Evolution and Change Verification and Validation Software Analysis and Visualization Transformation-based Development Security, Reliability and Safety Tools for High Assurance Systems Case Studies and Experiments
留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 会议日期

    01月08日

    2015

    01月10日

    2015

  • 01月10日 2015

    注册截止日期

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