(Back to Session Schedule)

The 18th Asia and South Pacific Design Automation Conference

Session 5B  Analysis and Verification of Reliable Systems
Time: 13:40 - 15:40 Thursday, January 24, 2013
Chairs: Sri Parameswaran (Univ. of New South Wales, Australia), Ittetsu Taniguchi (Ritsumeikan Univ., Japan)

5B-1 (Time: 13:40 - 14:10)
TitleVerifying Distributed Controllers using Time-Stamped ECAs
Author*Matthias Kauer, Sebastian Steinhorst, Martin Lukasiewycz (TUM CREATE, Singapore), Dip Goswami, Reinhard Schneider, Samarjit Chakraborty (TU Munich, Germany)
Pagepp. 411 - 416
Detailed information (abstract, keywords, etc)

5B-2 (Time: 14:10 - 14:40)
TitleReliability Assessment of Safety-Relevant Automotive Systems in a Model-Based Design Flow
Author*Sebastian Reiter, Michael Pressler, Alexander Viehl (FZI Forschungszentrum Informatik, Germany), Oliver Bringmann, Wolfgang Rosenstiel (Univ. Tuebingen, Germany)
Pagepp. 417 - 422
Detailed information (abstract, keywords, etc)

5B-3 (Time: 14:40 - 15:10)
TitleSequential Dependency and Reliability Analysis of Embedded System
AuthorHehua Zhang, *Yu Jiang (Tsinghua Univ., China), William N.N Hung (Synopsys, Inc., U.S.A.), Xiaoyu Song (Portland State Univ., U.S.A.), Jiaguang Sun (Tsinghua Univ., China)
Pagepp. 423 - 428
Detailed information (abstract, keywords, etc)

5B-4 (Time: 15:10 - 15:40)
TitleProcessor and DRAM Integration by TSV-Based 3-D Stacking for Power-Aware SOCs
AuthorShin-Shiun Chen, Chun-Kai Hsu, *Hsiu-Chuan Shih (National Tsing Hua Univ., Taiwan), Jen-Chieh Yeh (ITRI, Taiwan), Cheng-Wen Wu (National Tsing Hua Univ., Taiwan)
Pagepp. 429 - 434
Detailed information (abstract, keywords, etc)