HASE 2005, 9th IEEE Int’l Symp. on High-Assurance Systems Eng.
The HASE Symposium represents the premier forum for discussion of systems issues specifically relating to service critical, high assurance systems. Examples include complex vehicular systems, military command and control, nuclear reactors, telecommunication and e-commerce applications.
In the past, experts from industry and government R&D labs represented close to half of the attendees, while academicians represented the other half. Our goal is to maintain and improve this interaction between government, industry, and academia through a high-quality program of research papers, panel discussions, demonstrations, focused workgroups, presentations of case studies and experiences in systems engineering for high assurance embedded systems.
Topics of interest include, but are not limited to:
- High Assurance Robust System/Software Designs: Specification, Analysis, V&V
- Critical Infrastructure Design and Assurance – Principles and Experiences
- Real-Time Systems & Services: Specification, Analysis, Design
- Composable and Evolutionary Design of Systems & Services
- Software Issues for Dependable Embedded Systems
- Hardware/Software Co-Design: Performance, Robustness, Power, Security
- Safety Analysis, Reliability Evaluation and Enhancement Techniques
- Quantitative, Qualitative, Experimental and Model Based Assurance Evaluation
- Formal Techniques, Validation of Specifications, Model Checking, Testing, System V&V
- High Assurance and Security