Towards component-based (max,+) algebraic throughput analysis of hierarchical synchronous data flow models
| Autor: | Skelin, M., Geilen, M.C.W., Tonetta, S., Schoitsch, E., Bitsch, F. |
|---|---|
| Přispěvatelé: | Electronic Systems, Cyber-Physical Systems Center Eindhoven, CompSOC Lab- Predictable & Composable Embedded Systems |
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
010302 applied physics
(max +) algebra Correctness Theoretical computer science Computer science Dataflow Distributed computing Performance analysis Data_CODINGANDINFORMATIONTHEORY 02 engineering and technology (max +) algebra 01 natural sciences 020202 computer hardware & architecture Domain (software engineering) Synchronous Data Flow Hierarchy Component (UML) 0103 physical sciences Metric (mathematics) 0202 electrical engineering electronic engineering information engineering Key (cryptography) Throughput (business) |
| Zdroj: | Computer Safety, Reliability, and Security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings, 462-476 STARTPAGE=462;ENDPAGE=476;TITLE=Computer Safety, Reliability, and Security Lecture Notes in Computer Science ISBN: 9783319662831 SAFECOMP Workshops |
| Popis: | Synchronous (or static) dataflow (SDF) is deemed the most stable and mature model to represent streaming systems. It is useful, not only to reason about functional behavior and correctness of such systems, but also about non-functional aspects, in particular timing and performance constraints. When talking about performance, throughput is a key metric. Within the SDF domain, hierarchical SDF models are of special interest as they enable compositional modeling, which is a necessity in the design of large systems. Techniques exist to analyze throughput of synchronous dataflow models. If the model is hierarchical, it first needs to be flattened before these techniques can be applied (for exact analysis at least). Furthermore, all of these techniques are adversely affected by the increase in the graph’s repetition vector entries. In this paper, for a loosely defined class of hierarchical synchronous dataflow models, we argue that these dependence issues can be mitigated by taking advantage of the hierarchical structure rather than by flattening the graph. We propose a hierarchical extension to an existing technique that is based on the (max,+) algebraic semantics of SDF |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|