Links

BIP Design Studio 
Source Code: https://github.com/anmavrid/DesignBIP

Wiki: https://cps-vo.org/group/BIP/wiki

Overview: https://cps-vo.org/group/BIP/overview

Slides: 

• Rigorous System Design with BIP
• Architecture-based Design with BIP

Video Tutorial: https://cps-vo.org/group/BIP/video

Publication: DesignBIP: A Design Studio for Modeling and Generating Systems with BIP

Contact: Anastasia Mavridou

Contributors:
 Janos Sztipanovits (Vanderbilt University), Joseph Sifakis (Verimag), Hoang-Dung Tran (Vanderbilt University), Venkataramana Nagarajan (Vanderbilt University)

Acknowledgements:
 This research is supported by the National Science Foundation award #CNS-1521617.