ICSE 2003 workshop on software engineering for high assurance systems: synergies between process, product, and profiling (SEHAS 2003)

A critical issue in software engineering is how to construct high assurance software systems, i.e., software Systems where compelling evidence is required that the system delivers its services in a manner satisfying critical properties, such as safety and security. This two-day XSE workshop, the third in a series of workshops on high assurance systems, will provide a forum for researchers and practitioners to exchange ideas and experiences relevant to the development of software for aerospace systems, medical systems, systems controlling nuclear power plants, and other critical systems. Participants of the SEHAS 2003 workshop will explore the opportunities for, and benefits of, synergies between three important themes-product, process, and profiling-each theme reflecting an important aspect of software development for high assurance systems.

[1]  Gregg Rothermel,et al.  An empirical study of regression test selection techniques , 1998, Proceedings of the 20th International Conference on Software Engineering.

[2]  Myla Archer,et al.  Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications , 1998, IEEE Trans. Software Eng..

[3]  Norman F. Schneidewind,et al.  Engineering Information abstract (Part II)Software metrics model for integrating quality control and prediction , 1999 .

[4]  Hany H. Ammar,et al.  A Methodology for Architecture-Level Reliability Risk Analysis , 2002, IEEE Trans. Software Eng..

[5]  Martin S. Feather,et al.  Incorporating cost-benefit analyses into software assurance planning , 2001, Proceedings 26th Annual NASA Goddard Software Engineering Workshop.

[6]  Andrew P. Moore,et al.  Attack Modeling for Information Security and Survivability , 2001 .

[7]  Stefan Biffl,et al.  Investigating the cost-effectiveness of reinspections in software development , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[8]  Constance L. Heitmeyer,et al.  Automated consistency checking of requirements specifications , 1996, TSEM.

[9]  Swapna S. Gokhale,et al.  Reliability prediction and sensitivity analysis based on software architecture , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..

[10]  Norman F. Schneidewind,et al.  Investigation of the risk to software reliability and maintainability of requirements changes , 2001, Proceedings IEEE International Conference on Software Maintenance. ICSM 2001.

[11]  John McLean,et al.  High Assurance Computer Systems: A Research Agenda , 1995 .

[12]  Frank E. McGarry,et al.  Measuring the impacts individual process maturity attributes have on software products , 1998, Proceedings Fifth International Software Metrics Symposium. Metrics (Cat. No.98TB100262).

[13]  John McHugh,et al.  Life-Cycle Models for Survivable Systems , 2002 .

[14]  Robyn R. Lutz,et al.  Requirements analysis using forward and backward search , 1997, Ann. Softw. Eng..

[15]  David R. Barstow,et al.  Proceedings of the 25th International Conference on Software Engineering , 1978, ICSE.

[16]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .

[17]  John C. Munson,et al.  Determining fault insertion rates for evolving software systems , 1998, Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257).