Visible to the public Biblio

Found 1750 results

Anastasia Mavridou, Tamas Kecskes, Qishen Zhang, Janos Sztipanovits.  Submitted.  A Common Integrated Framework for Heterogeneous Modeling Services.

Under submission at 6th International Workshop on the Globalization of Modeling Language (GEMOC)

Saroj Biswas.  2017.  Control and Stabilization of Discrete Time Networked Control Systems under Denial of Service Attacks. 15th EUROPT Workshop on Advances in Continuous Optimization.

Montreal, Canada

Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits.  2017.  A Design Studio for Architecture-based Design with BIP.

The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows modeling heterogeneous component-based systems. BIP is supported by a textual modeling language, as well as a tool-set including run-time platforms and verification tools. We present a web-based design studio that allows specifying BIP behavior and interaction models in a purely graphical way and generating the equivalent textual specifications. To facilitate scaling and reusability of BIP models, we have extended architecture diagrams, a graphical language for modeling architecture styles, to define parameterized BIP models. We present the various services provided by the design studio, including model repositories, design guidance mechanisms, code generators, and integration with the BIP tool-set.