HILT 2012 - ACM SIGAda’s Annual International Conference on High Integrity Language Technology

High integrity software must not only meet correctness and performance criteria but also satisfy stringent safety and/or security demands, typically entailing certification against a relevant standard. A significant factor affecting whether and how such requirements are met is the chosen language technology and its supporting tools: not just the programming language(s) but also languages for expressing specifications, program properties, domain models, and other attributes of the software or overall system.
HILT 2012 will provide a forum for experts from academia/research, industry, and government to present the latest findings in designing, implementing, and using language technology for high integrity software. To this end we are soliciting technical papers, experience reports (including experience in teaching), and tutorial proposals on a broad range of relevant topics.
POSSIBLE TOPICS INCLUDE BUT ARE NOT LIMITED TO:
? New developments in formal methods
? Multicore and high integrity systems
? Object-Oriented Programming in high integrity systems
? High-integrity languages (e.g., SPARK)
? Use of high reliability profiles such as Ravenscar
? Use of language subsets (e.g., MISRA C, MISRA C++)
? Software safety standards (e.g., DO-178B and DO-178C)
? Typed/Proof-Carrying Intermediate Languages
? Contract-based programming (e.g., Ada 2012)
? Model-based development for critical systems
? Specification languages (e.g., Z)
? Annotation languages (e.g., JML)
? Teaching high integrity development
? Case studies of high integrity systems
? Real-time networking/quality of service guarantees
? Analysis, testing, and validation
? Static and dynamic analysis of code
? System Architecture and Design including
? Service-Oriented Architecture and Agile Development
? Information Assurance
? Security and the Common Criteria /
? Common Evaluation Methodology
? Architecture design languages (e.g., AADL)
? Fault tolerance and recovery