Projects per year
Abstract
Dataflow programming has received much recent attention within the signal processing domain as an efficient paradigm for exploiting parallelism. In dataflow programming, systems are modelled as a static network of actors connected through asynchronous order-preserving channels. In this paper we present an approach to contract-based specification and automated verification of dynamic dataflow networks. The verification technique is based on encoding the dataflow networks and contracts in the guarded command language Boogie.
| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Proceedings |
| Editors | Alessandro Cimatti, Marjan Sirjani |
| Publisher | Springer |
| Pages | 136–151 |
| ISBN (Electronic) | 978-3-319-66197-1 |
| ISBN (Print) | 978-3-319-66196-4 |
| DOIs | |
| Publication status | Published - 2017 |
| MoE publication type | A4 Article in a conference publication |
| Event | International Conference on Software Engineering and Formal Methods (SEFM) - 15th International Conference on Software Engineering and Formal Methods. SEFM 2017 Duration: 4 Sept 2017 → 8 Sept 2017 |
Conference
| Conference | International Conference on Software Engineering and Formal Methods (SEFM) |
|---|---|
| Period | 04/09/17 → 08/09/17 |
Projects
- 1 Finished
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Principal Investigator), Olszewska, M. (Co-Investigator), Edmunds, A. (Co-Investigator), Ostroumov, S. (Co-Investigator), Petre, L. (Co-Investigator), Boström, P. (Co-Investigator) & Neovius, M. (Co-Investigator)
01/09/13 → 31/08/17
Project: Research Council of Finland/Other Research Councils