IDEA4CPS 2nd General Meeting

On 21-23 November 2012, the second General Meeting of the Sino-Danish Basic Research Center IDEA4CPS took place at East China Normal University, 3663 Zhongshan Road (North).

Program:

Wednesday, November 21

9:30~11:00
Registration and Individual Scientific Discussions

11:30~13:00
Lunch

13:00~13:15
Opening and welcome by Kim Larsen and Huibiao Zhu

13:15~14:00
Kim G Larsen: Statistical Refinement and Model Checking of Stochastic Hybrid Automata (prefer 45 min) (Chair: Huibiao Zhu)

14:00~15:30
Validation and Analysis Techniques 1 (Chair: Jian Zhang)
Dehui Du: An Evaluation Framework for Energy Aware Buildings using Statistical Model Checking

Alexandre David: Optimizing Control Strategies using Statistical Model Checking

Yu Zhang: VeriTrace: Towards Automatic Testing and Verification of Concurrent Programs

15:30~16:00
Photo and Coffee Break

16:00~17:30
Specification and Modeling Formalisms 1 (Chair: Ender Yuksel)
Nicola Dragoni: Energy-Harvesting Wireless Sensor Networks

Danny B Poulsen: Modelling Energy Aware Sensor Network in Uppaal (preliminary work)

Xiaofeng Wu: Linking Operational Semantics and Algebraic Semantics for Wireless Networks

18:00
Dinner

Thursday, November 22

8:45~10:00
Specification and Modeling Formalisms 2 (Chair: Kim G Larsen)
Radu Mardare: Approximate reasoning for Markov processes

Huibiao Zhu: Denotational Semantics for a Probabilistic Timed Shared-Variable Language (prefers 45 min)

10:00~10:30
Coffee Break

10:30~12:00
Mini Cases / Protocols 1 (Chair: Arne Skou)
Ender Yuksel: Smart Grid Security: A Smart Meter-Centric Perspective

Hongli Yang: Performance Analysis of Data Gathering Protocol using PRISM

Huixing Fang: Formal Verification and Simulation: Co-Verification for Subway Control Systems

12:00~13:30
Lunch

13:30~14:45
Cross-level Property Preservation (Chair: Radu Mardare)
Guangyuan Li: Translating Metric Temporal Logic $MTL_{0,\infty}$ into Timed Büchi Automata

Wen Su: Formalizing Hybrid Systems with Event-B (prefers 45 min)

14:45~15:00
Coffee Break

15:00~17:00
Board Member Meeting

18:00
Dinner

Friday, November 23

8:45~10:30
Validation and Analysis Techniques 2 (Chair: Alexandre David)
Zhengkui Zhang: Distributed Algorithms for Controller Synthesis (prefers 45 min)

Zheng Wang: Run time verification for Periodic Control Systems

Ting Su: Coverage-driven Testing

10:30~11:00
Coffee Break

11:00~12:00
Specification and Modeling Formalisms 3 (Chair: Nicola Dragoni)
Roberto Vigo: A Calculus for Quality

Geguang Pu: MDM: A Formal Notation for Periodic Control Systems

12:00~13:30
Lunch

13:30~15:30
Tool Prototypes (Chair: Geguang Pu)
Zhiqiang Zhang: Tools for Combinatorial Testing

Mini Cases / Protocols 2
Xi Wu: Modeling and Verifying the Ariadne Protocol Using Process Algebra

Chao Peng: Service Scheduling for Human in the Vehicle

Xiang Wang and Yang Yang: Introduction of IEEE 802 Standards

15:30~16:30
Coffee Break and Individual Scientific Discussions

18:00
Dinner