BIP Design Studio

The Behavior Interaction Priority (BIP) framework, rooted in rigorous semantics, allows modeling heterogeneous component-based systems. This group presents the various features provided by the Bip Design Studio including the modeling language, design guidance services, code generators and integration with the BIP tool-set.

BIP Design Studio

IMPORTANT!

Before running the studio, you must first be logged into CPS-VO. If you have no account, you can create one here.

Demo Launch

Links

Rigorous System Design with BIP: http://amavridou.com/presentations/mavridouGeneralBIP.pdf
Architecture-based Design with BIP: http://amavridou.com/presentations/mavridouArchitectureCompositionBIP.pdf
BIP Wiki: /node/97793
BIP Video: /node/39339
BIP Overview: /node/39482

Contacts

Anastasia Mavridou

Contributors

Janos Stipanovitz
Joseph Sifakis
Hoang-Dung Tran
Venkataramana Nagarajan