ACM SIGAda Annual International Conference, Portland, Vereinigte Staaten

Abbrevation

SIGAda

Link

http://www.sigada.org/conf/sigada2008/

City

Portland

Country

United States

Deadline Paper

2008-05-31

Start Date

2008-10-26

End Date

2008-10-30

Abstract

Reliability, safety, and security are among the most critical requirements of contemporary software. The application of software engineering methods, tools, and languages all interrelate to affect how and whether these requirements are met. Such software is in operation in many domains of application. Much has been accomplished in recent years, but much remains to be done. Our tools, methods, and languages must be continually refined; our management process must remain focused on the importance of reliability, safety, and security; our educational institutions must fully integrate these concerns into their curricula. The conference will gather industrial and government experts, educators, software engineers, and researchers interested in developing, analyzing, and certifying reliable, safe, secure software. We are soliciting technical papers and experience reports with a focus on, or comparison with, Ada. We are especially interested in experience in integrating these concepts into the instructional process at all levels. Keywords: * Transitioning to Ada 2005 * Educational challenges for developing reliable, safe, secure software * Ada and SPARK in the classroom and student laboratory * Language selection for a high reliability system * Use of high reliability subsets or profiles such as MISRA C, Ravenscar, SPARK * High reliability standards and their issues * Software process and quality metrics * Analysis, testing, and validation * Use of ASIS for new Ada tool development * Mixed–language development * High–reliability development experience reports * Static analysis of code * Integrating COTS software components * System Architecture & Design * Information Assurance * Ada products certified against Common Criteria / Common Evaluation Methodology