On the Pragmatics of Model-Based Design

Fuhrmann, Hauke; Hanxleden, Reinhard von

doi:10.1007/978-3-642-12566-9_7

Cited by 14 publications

(9 citation statements)

References 32 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The work about pragmatics for model-based design by Furhmann and von Hanxleden [24] is without question the closest related work. In their paper, and following up work on the KIELER project 5 , they emphasize the role of the MVC pattern, and how the intersection applies to the pragmatics of graphical model-based design.…”

Section: Related Workmentioning

confidence: 99%

“…The proposed approach has several new elements, but the ideas are also based on various previous approaches. The three closest related works are (i) the approach of pragmatics in the KIELER project [24], (ii) the concept of live programming in the programming language community [38,58], and (iii) earlier ideas of illustrative programming [22]. A more detailed comparison can be found in the related work section (Section 6).…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Interactive Programmatic Modeling

Broman

2021

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

Modeling and computational analyses are fundamental activities within science and engineering. Analysis activities can take various forms, such as simulation of executable models, formal verification of model properties, or inference of hidden model variables. Traditionally, tools for modeling and analysis have similar workflows: (i) a user designs a textual or graphical model or the model is inferred from data, (ii) a tool performs computational analyses on the model, and (iii) a visualization tool displays the resulting data. This article identifies three inherent problems with the traditional approach: the recomputation problem, the variable inspection problem, and the model expressiveness problem. As a solution, we propose a conceptual framework called Interactive Programmatic Modeling. We formalize the interface of the framework and illustrate how it can be used in two different domains: equation-based modeling and probabilistic programming.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Interactive Programmatic Modeling

Broman

2021

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

show abstract

“…The SCCharts language has been designed with modeling pragmatics in mind [11], i. e., modelers should be able to work productively with complex SCCharts. Specifically, the visual syntax is defined such that it lends itself to fully automatic layout.…”

Section: Sccharts Pragmaticsmentioning

confidence: 99%

SCCharts: sequentially constructive statecharts for safety-critical applications

Hanxleden

Duderstadt

Motika

et al. 2014

Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation

Self Cite

View full text Add to dashboard Cite

We present a new visual language, SCCharts, designed for specifying safety-critical reactive systems. SCCharts use a statechart notation and provide determinate concurrency based on a synchronous model of computation (MoC), without restrictions common to previous synchronous MoCs. Specifically, we lift earlier limitations on sequential accesses to shared variables, by leveraging the sequentially constructive MoC. The semantics and key features of SCCharts are defined by a very small set of elements, the Core SCCharts, consisting of state machines plus fork/join concurrency. We also present a compilation chain that allows efficient synthesis of software and hardware.

show abstract

“…According to this, the research work of the KIELER project comprises two main investigation areas. First, the project is concerned with improving the pragmatics of graphical modeling work [FH09c;Fuh11]. A key feature of this component is the graphical layout, which is a continuous research topic of the project since the introduction of the first own layout algorithm implementation of the project, which was developed by Spönemann [Spö09] and adapted for dataflow graphs with ports by Schulze et al [SSH14;Sch11b].…”

Section: Aim and Scope Of The Kieler Projectmentioning

confidence: 99%

“…Automatic layout is not only used to enhance the readability of diagrams, but also to enable a number of approaches for the improvement of model design and maintenance. It unburdens the modeler from editing graphical model representations by hand, and allows for lightweight graphical display for textual notations, as detailed by Schneider et al [SSH13] with the possibility to coordinate different views of the model, directed by meta layout and view management, introduced by Fuhrmann et al [FH09c]. As stated by the 7.1.…”

Section: Aim and Scope Of The Kieler Projectmentioning

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

On the Pragmatics of Model-Based Design

Cited by 14 publications

References 32 publications

Interactive Programmatic Modeling

Interactive Programmatic Modeling

SCCharts: sequentially constructive statecharts for safety-critical applications

Time for Reactive System Modeling

Contact Info

Product

Resources

About