Jan Ringert, Chair of Computer Science 3
|Title||An Overview of Modeling and Specification of Interactive Distributed Systems|
|Where||Lecture Room Informatik 11|
|Abstract||The specification and verification of large and safety critical hard- and software systems is an ongoing challenge in computer science and software/hardware systems engineering. A way to handle
the growing complexity is
modeling distributed interactive systems as hierarchically decomposable components of dataflow networks using a functional system model of stream processing functions.
The composition of components in dataflow networks can be modeled using the architectural description language MontiArc while behavior of components can be specified using I/O^\omega automata. I will introduce these modeling languages and give an outlook on current work of how to define their semantics in terms of our functional system model implementation based
- Subscribe to the ics feed.
- No Events