logo

(Back to old version)

baner

C.O.D.E.(Prof. Shangping Ren's Lab)

 

(Coordination in Open Dynamic Environment)

research Area

We focus on real-time system , resource allocation and verturalization issues on cloud system and fault-tolerance issues on multi coure system.

Read more ...

Software Download

Y2U: A Tool for Transforming Yakindu Statecharts to UPPAAL Timed Automata.

 

ARC: Actor-Role-Coordinator Model

Publications

We have tons of publications focus on hot research issues such as real-time system, arc-model, cloud computing and multi-core computing.

Read more...

Founded Project

1. Achieving Adaptation in Open Distributed Time Critical Systems (Funding Agent: ERIF, IIT) .

    2. Low-power Sensing  with Bluetooth and RFID components for Moblie Platforms (Funding Agent: Motorola Mobility)

3........

(And more)

Read more...

PhD Position 2016

we have FUNDED PHD POSITIONS

open for students who are interested in formal verification, real-time scheduling and cloud computing. Please contact us for more information. (Updated in July 2016)

Course Resource

CS-536

CS-552

CS-556

We are interested in...

Real-time System; Cloud Computing; Multi-Core system

  • picture“Cloud Computing Environment.”
  • picture“Formal Verfication“
  • picture“Real-time System scheduling.”

Contact Us

Address: 10 W. 31th St, Chicago, IL 60616

Room: SB-013C

Tel: 312-567-3993

Email: ren@iit.edu