The 2nd ISCAS/USC/UMass Joint Workshop on Trustworthy Software Systems
Date:2009-05-30
The 2nd ISCAS/USC/UMass Joint Workshop on Trustworthy Software Systems
ISCAS, Beijing, June 3- 4, 2009
To promote cooperation and exchanges in the field of research on trustworthy software systems, the second ISCAS/US/UMass Joint Workshop is going to be held in June 3-4, 2009, in ISCAS Beijing.
The theme of the Joint Workshop is “Trustworthy Software Systems”, focuses on the development, service and evolution of trustworthy software. The workshop is sponsored by ISCAS-iTechs. Members of the joint laboratory, Professor Barry Boehm from USC-CSSE, Leon. Osterweil and Lori Clarke from UMass-LASER, will give keynote addresses at the workshop. Research faculty and students at iTechs will also present their latest progresses. In addition, 6 researchers from Tsinghua Univ., Wuhan University, Beihang University, etc are also invited to give talks and participate in the workshop.
Two years ago, the first ISCAS-USC-UMASS Joint Workshop began cooperation and exchanges of the three laboratories. We believe the coming seminar will be more successful.
Program
|
Session I: Welcome and Introduction | |
|
9:00-9:10 |
Welcome
Mingshu Li (Director, ISCAS) |
|
9:10-9:30 |
Introduction to iTechs and Joint Labs
Qing Wang (Director, iTechs) |
|
Session II: Keynote 1 (Chair: Ye Yang) | |
|
9:30-11:00 |
Precise Process Definition
Lee Osterweil (UMass-Laser) |
|
11:00-11:15 |
Break |
|
Session III: Requirement Engineering (Chair by Juan Li) | |
|
11:15-11:45 |
RGPS MF(Meta Framework) for Interoperability among Cloud and
Client ( ---On-demand Cloud Selection)
Rong Peng (Wuhan Univ.) |
|
11:45-12:15 |
Using wiki and shaper in rapid interdisciplinary requirements negotiation
Di Wu (USC-CSSE) |
|
12:15-14:00 |
Lunch |
|
Session IV: Keynote 2 (Chair: Wen Zhang) | |
|
14:00-15:30 |
Analysis-driven process improvement
Lori Clarke (UMass-Laser) |
|
15:30-15:45 |
Break |
|
Session V: Verification and Data Mining (Chair: Fengdi Shu) | |
|
15:45-16:15 |
Verification
Juanzi Li (Tsinghua Univ.) |
|
16:15-16:45 |
Mining software bug data repository
Ying Liu (Graduate University, CAS) |
|
16:45-17:15 |
Mining scientific trends of MSR
Wen Zhang (ISCAS-iTechs) |
|
17:15-17:45 |
Automated Test Program Generation for an Industrial Optimizing Compiler
Yunzhi Xue (ISCAS-iTechs) |
|
Session I: Keynote 3 (Chair: Da Yang) | |
|
9:00-10:30 |
The Economics of Software Quality
Barry Boehm (USC-CSSE) |
|
10:30-10:45 |
Break |
|
Session II: Trustworthy Software Environment and Tools (Chair: Mei He) | |
|
10:45-11:15 |
Automating Software FMEA via Formal Analysis of Dependence Relations
Xiaoguang Mao (NUDT) |
|
11:15-11:45 |
Formal Method is Working: The Formal Development of VMK
- An Operating System Kernel
Mingyuan Zhu (CoreTek Systems) |
|
11:45-12:15 |
A Classification Model for Software Trustworthiness
Bo Lang (BUAA) |
|
12:15-14:00 |
Lunch |
|
Session III: Trustworthy Software Methodology (Chair: Di Wu) | |
|
14:00-14:45 |
Towards Software Trustworthiness Assurance: a Process-Oriented Management Framework
Ye Yang (ISCAS-iTechs) |
|
14:45-15:30 |
Trustworthy Software Process Modeling Methods and Key Technologies
Dapeng Liu (ISCAS-iTechs) |
|
15:30-15:45 |
Break |
|
Session IV: Empirical Studies (Chair: Dapeng Liu) | |
|
15:45-16:30 |
Requirements Evolution Traceability and Measurement
Juan Li (ISCAS-iTechs) |
|
16:30-17:15 |
Empirically Based Improvement of Software Cost Estimation
Da Yang (ISCAS-iTechs) |
|
17:15-17:30 |
Wrap-up and closing |
|
18:00 |
Speaker dinner at XiangLinTianXia. |