SSIRI 2011: Jeju Island, Korea - Companion Volume
Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume. IEEE 2011 ISBN 978-0-7695-4454-0
Fast Abstract
- Dan Yu, Shilong Ma: A Method of Analysis and Verification for Safety-Critical Software Based on Modelling and Testing. 3-4
- Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno: Synthesizing SRN Models from System Operations with SysML Diagrams for Availability Analysis. 5-6
- Xin Chen, Nan Ye, Peng Jiang, Lei Bu, Xuandong Li: Feedback-Directed Test Case Generation Based on UML Activity Diagrams. 9-10
DSDSD Workshop - I
- Si Liu, Xiaofeng Wu, Qin Li, Huibiao Zhu, Qian Wang: Formal Approaches to Wireless Sensor Networks. 11-18
- DongSeok Cho, Doo-Hwan Bae: Case Study on Installing a Porting Process for Embedded Operating System in a Small Team. 19-25
Student Doctoral Program
- Guo Xie, Akira Asano, Sei Takahashi, Hideo Nakamura: Study on Formal Specification of Automatic Train Protection and Block System for Local Line. 35-40
- Chen Zhang, Zhenhua Duan: Specification and Verification of UML2.0 Sequence Diagrams Using Event Deterministic Finite Automata. 41-46
SSCPS Workshop - I
- Rui Chen, Xiangying Guo, Yonghao Duan, Bin Gu, Mengfei Yang: Static Data Race Detection for Interrupt-Driven Embedded Software. 47-52
- Haiyu Pan, Min Zhang, Yixiang Chen: Approximate Simulation for Metric Hybrid Input/Output Automata. 53-59
- Huajie Chen, Tian Zhang, Lei Bu, Xuandong Li: An Instrumentation Tool for Program Dynamic Analysis in Java. 60-67
DSDSD Workshop - II
- Sanghyun Yoon, Jae Yeon Jo, Junbeom Yoo: A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems. 68-75
- H. Kim, H. Yoon, Y. Cho, S. Park, Vijayan Sugumaran: Multi-layered Adaptive Monitoring in Service Robots. 76-83
Invited Session
SSCPS Workshop - II
- Yufeng Zhu, Yunwei Dong, Chunyan Ma, Fan Zhang: A Methodology of Model-Based Testing for AADL Flow Latency in CPS. 99-105
- Kenneth K. Fletcher, Xiaoqing (Frank) Liu: Security Requirements Analysis, Specification, Prioritization and Policy Development in Cyber-Physical Systems. 106-113
MVV Workshop - I
- M. F. van Amstel, M. G. J. van den Brand, Luc J. P. Engelen: Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification. 120-127
- Ralf Mitsching, Carsten Weise, Dominik Franke, Thomas Gerlitz, Stefan Kowalewski: Coping with Complexity of Testing Models for Real-Time Embedded Systems. 128-135
- Yan Cao, Qiuzi Lu, Tianhua Xu, Tao Tang, Haifeng Wang, Yongcheng Xu: Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems. 136-143
MBDA Workshop - I
- Daeeui Hong, Taewan Gu, Jongmoon Baik: A UML Model Based White Box Reliability Prediction to Identify Unreliable Components. 152-159
SSCPS Workshop - III
- Lei Qiao, Mengfei Yang, Bin Gu, Hua Yang, Bo Liu: An Embedded Operating System Design for the Lunar Exploration Rover. 160-165
- Nan Ye, Xin Chen, Peng Jiang, Wenxu Ding, Xuandong Li: Automatic Regression Test Selection Based on Activity Diagrams. 166-171
MVV Workshop - II
- Steffen Herbold, Jens Grabowski, Stephan Waack: A Model for Usage-Based Testing of Event-Driven Software. 172-178
- Alexander Bolotov: Handling Periodic Properties: Deductive Verification for Quantified Temporal Logic Specifications. 179-186
MBDA Workshop - II
- Takafumi Komoto, Kenji Taguchi, Haralambos Mouratidis, Nobukazu Yoshioka, Kokichi Futatsugi: A Modelling Framework to Support Internal Control. 187-193
- Yanbin Liu, Ye Yang, Qiusong Yang, Mingshu Li: DRiVeR: Diagnosing Runtime Property Violations Based on Dependency Rules. 194-201
- Chih-Hung Chang, Chih-Wei Lu, Kuo-Fong Kao, William C. Chu, Chao-Tung Yang, Nien-Lin Hsueh, Pao-Ann Hsiung, Chorng-Shiuh Koong: A SysML-Based Requirement Supporting Tool for Embedded Software. 202-206
Software Safety in Practice: Industry Reports - Workshop
- David Garlan: Invited Talk - Engineering Self-Healing and Self-Improving Systems. 207
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team