Towards Interactive Timing Analysis for Designing Reactive Systems

Fuhrmann, Insa; Broman, David; Smyth, Steven; Hanxleden, Reinhard von

doi:10.21236/ada605312

Cited by 7 publications

(3 citation statements)

References 39 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There exists also work where WCET analysis is part of the compiler tool chain [60], with the purpose of optimizing and minimizing the WCET instead of average case execution time. Few attempts have so far been made to make WCET analysis interactive [61], meaning that the designer is iteratively improving the WCET by updating the design of the program or model. 3.4.1.2 Critical research issues-predictable execution: With such proofs-of-concept in hand, the key remaining challenge will be to motivate adoption of these concepts for time-predictability into mainstream processors.…”

Section: Predictable Execution In Time-aware Systemsmentioning

confidence: 99%

Time-Aware Applications, Computers, and Communication Systems (TAACCS)

Weiss

Eidson²,

Barry³

et al. 2015

Self Cite

View full text Add to dashboard Cite

A new economy built on the massive growth of endpoints on the internet will require precise and verifiable timing in ways that current systems do not support. Applications, computers, and communications systems have been developed with modules and layers that optimize data processing but degrade accurate timing. State-of-the-art systems now use timing only as a performance metric. Correctness of timing as a metric cannot currently be designed into systems independent of hardware and/or software implementations. To enable the massive growth predicted, accurate timing needs cross-disciplinary research to be integrated into these existing systems. This paper reviews the state of the art in six crucial areas central to the use of timing signals in these systems. Each area is shown to have critical issues requiring accuracy or integrity levels of timing, that need research contributions from a range of disciplines to solve.

show abstract

Section: Predictable Execution In Time-aware Systemsmentioning

confidence: 99%

Time-Aware Applications, Computers, and Communication Systems (TAACCS)

Weiss

Eidson²,

Barry³

et al. 2015

Self Cite

View full text Add to dashboard Cite

show abstract

“…Section 6.10.1 contains the basic interface definition adapted from the publications [FBS+14a;FBS+14b;FBH+16], which are presented in more detail in the introduction. In Section 6.10.2, I suggest an expansion of the interface definition to accommodate general ITAG structures, i.e.…”

Section: Interactive Timing Interfacementioning

confidence: 99%

Time for Reactive System Modeling

Fuhrmann¹

View full text Add to dashboard Cite

Reactive systems interact with their environment by reading inputs and computing and feeding back outputs in reactive cycles that are also called ticks. Often they are safety critical systems and are increasingly modeled with highlevel modeling tools. The concepts of the corresponding modeling languages are typically aimed to facilitate formal reasoning about program constructiveness to guarantee deterministic output and are explicitly abstracted from execution time aspects. Nevertheless, the worst-case execution time of a tick can be a crucial value, as it decides the frequency in which the system can interact with its surroundings. An excessive tick Worst Case Execution Time (WCET) can lead to lost inputs or tardy reaction to critical events. Thus, the modeler has to make sure that the timing behaviour of the system under development meets the specifications. This thesis proposes a general approach to interactive timing analysis, which enables the feedback of detailed timing values directly in the model representation to support timing aware modeling. The concept is based on a generic timing interface that enables the exchangeability of the modeling as well as the timing analysis tool for the flexible implementation of varying tool chains. This aims at enhancing the comparability of tools and facilitates the sharing of benchmark model suites. The introduced approach is applicable not only to dataflow-based systems, but also to state-based systems. The latter is enabled by a concept for communicating analysis requests and responses for arbitrary code parts instead of a restriction to function granularity. The proposed timing analysis approach includes visual highlighting and modeling pragmatics features to guide the user to WCET hotspots for timing related model revisions. The approach is practically evaluated with an open-source Eclipse-based example implementation for the modeling language SCCharts, which includes a user study.

show abstract

“…Ź Enriching the diagram with additional information. The compilation chain can be used by the IDE to add signal dependency [RSM+16] or execution time information [FBH15] to the diagram. Using these can help fix scheduling or performance problems.…”

Section: Three Visual Languagesmentioning

confidence: 99%

Text in Diagrams

Hanxleden¹

View full text Add to dashboard Cite

Visual programming languages based on node-link diagrams are supposedly easy to use and to understand. This is only true, however, if the diagram elements are properly placed - a tedious and time-consuming process if done manually. Automatic graph layout algorithms alleviate users from that burden. Since even visual languages usually cannot make do without text, it follows that layout algorithms need to properly support textual labels. That is what this work is all about. We start by examining how enough space can be reserved for textual labels to be properly placed without overlaps. We then look at how users place comments in diagrams to establish relations to diagram elements. Our aim is to infer those, in order to take them into account during layout. We finally look at the negative implications of too much text: large diagrams and too much information. Different label management strategies dynamically change the text of labels, thus changing their size and, optionally, the amount of text displayed. All of the techniques are evaluated according to aesthetic criteria, and most are also validated through user studies.

show abstract

Towards Interactive Timing Analysis for Designing Reactive Systems

Cited by 7 publications

References 39 publications

Time-Aware Applications, Computers, and Communication Systems (TAACCS)

Time-Aware Applications, Computers, and Communication Systems (TAACCS)

Time for Reactive System Modeling

Text in Diagrams

Contact Info

Product

Resources

About