Display mobile
You still can enter 200 words.

Call for Papers

The 2012 International Workshop on

Formal methOds for Real-time Distributed Systems (FORDS’12)

April 11, 2012

Shenzhen, China

in conjunction with ISORC 2012: The 15th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing

Objectives

The 2012 International Workshop of Formal methOds for Real-time Distributed Systems aims to provide a forum for engineers and scientists in academia, industry and government to present their latest research findings in diverse fields related to realtime distributed systems. The workshop solicits original contributions that advance the theories, technologies and applications of formal methods in realtime distributed systems, with special interest in the areas of modeling, validating, testing, monitoring and simulation of large-scale cyber-physical systems.

Scope

Topics of interest include, but are not limited to, the following subjects:

Novel architectures and micro-architectures for cyber-physical systems
Hardware/software and algorithm/architecture co-design
Specification and modeling languages
Performance simulations, measurement, and evaluations
Control algorithms and methods for embedded systems
Specification and analysis of quality of service properties
Model-based and component-based development technologies
Verification and validation (V&V) in cyber-physical systems
Tools for design, analysis, testing and simulation of networked control systems
Parallel and distributed algorithms, and applications
Data intensive applications and Internet-Of-Things
Specific application case studies, e.g. telematics applications, transportation networks, manufacturing and robotics., etc.

Program

The 2012 International Workshop on Formal methods for Real-time Distributed Systems (FORDS’12)

Time: 8:25-17:00

Location: Meeting Room 1

Organizers :

Workshop Website:

Workshop Program

Openning & Keynote
8:25-8:30	Openning
8:30-9:10	Keynote Speech: STeC: A Location-Triggered Specification Language For Real-Time Systems By Yixiang Chen
Session 1: Design and analysis methods for Real-time Systems
9:10-9:30	Functional Safety Analysis Method for CTCS level 3 Based on Hybrid Automata By Jintao Liu, Tao Tang, Lin Zhao
9:30-9:50	Low Power Consumption Data Structure Design for Embedded Applications in Real-time Systems By Linhua Jiang, Chao Peng, Haibin Cai, Yixiang Chen, Xiaodong Chen
9:50-10:10	Measuring Time Lag with Nested Preemptions and Resumptions By Guoqiang Li
10:10-10:30	Coffee Break
Session 2: Cyber-Physical Systems
10:30-10:50	Review of Cyber-Physical System Architecture By Liang Hu, Nannan Xie, Zhejun Kuang, Kuo Zhao
10:50-11:10	Extending the Four-Variable Model for Cyber-Physical Systems By Xiaohong Chen, Mingsong Chen
11:10-11:30	Component Based Design of Fault Tolerant Devices in Cyber Physical System By Tianhua Xu, Zhiming Liu , Tao Tang, Wei Zheng , Lin Zhao
11:35-11:50	RESTful Management for Cyber-Physical Systems By Yue Zhang, Haibin Cai, Minhua Zhu
Session 3: Pervasive Computing and Internet of Things
13:40-14:00	A Novel Self-Adaptive Fault-Tolerant Mechanism and its Application for a Dynamic Pervasive Computing Environment By Haibin Cai, Chao Peng , Linhua Jiang and Yue Zhang
14:00-14:20	Design and Implementation of an Automotive Telematics Gateway based on Virtualization By Zonghua Gu, Zhu Wang, Shijian Li
14:20-14:40	ESF - An Extensive Service Foundation from Internet of Things Perspective By Jianqi Shi, Xin Ye, Liangyu Chen, Pei Zhang, Ningkang Jiang
14:40-15:00	Research of Context Situation Awareness Technology By Dianxi Shi, Zhendong Wu, Bo Ding, Huining Yan
15:00-15:30	Coffee Break
15:30-16:30	Discussion
16:30-17:00	Closing

Important Dates

Paper Submissions: Feb. 10 , 2012
Acceptance Notification: March 10, 2012
Camera-Ready Papers: March 17, 2012
Workshop Dates April 11, 2012

Submission Guidance

Please email your manuscript in PDF to isorc2012@act.buaa.edu.cn with the subject of " FORDS submission - [AuthorName]". All papers submitted should not be published or currently under review elsewhere. Papers should be limited up to 6 pages in IEEE CS format. All papers will be peer reviewed by PC members. Submitting a paper to the workshop means that if the paper is accepted, at least one author is required to register and to present the paper.

Publication

Papers accepted for FORDS’ 12 workshop will be published by the IEEE Computer Society Press. All accepted papers will be included in IEEE Xplore and indexed by EI.

Organization

Program Chair
Chao Peng, East China Normal University, China

Program Co-Chairs
Kokichi FUTATSUGI, Japan Advanced Institute of Science and Technology, Japan
Robert de Simone, INRIA Sophia-Antipolis, France

Program Committee

Haibin Cai, East China Normal University, China

Mingsong Chen, East China Normal University, China

Zhenbang Chen, National University of Defense Technology, China

Liang Gu, Yale University, USA

Zonghua Gu, Zhejiang University, China

Haibin Kan, Fudan University, China

Weiqiang Kong, Fukuoka IST, Japan

Guoqiang Li, Shanghai Jiaotong University, China

Christian Urban, TU Munich, Germany

Linzhang Wang, Nanjing University, China

Mengjun Xie, University of Arkansas, USA

Neal X. Xiong, Georgia State University, USA

Wei Zheng, BeiJing Jiaotong University, China

Fan Zhang, Northwestern Polytechnical University, China

Kuo Zhao, Jilin University, China