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.
|