Tool support for agent-based systems in ptolemy
Gianina Homoceanu, Michaela Huhn · 2011
This paper reports on an extension of the Ptolemy II tool to support the design and verification of resource constrained embedded systems. Our extension allows for modeling the functional and dependability requirements separately. The functional model is described in terms of labeled interface automata, an action-oriented approach that considers not only the control flow, but also the information flow (input/output actions). Safety and security constraints are specified using controlling automata. We apply model checking techniques in order to automatically generate a compliant model that will satisfy the dependability requirements.