SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous system

Abstract

System-on-Chip and other complex distributed hardware/software systems contain heterogeneous components. High-level modeling of such systems require frameworks that provide designers with the ability to express concepts of models of computation (MoC)s as modeling constructs. Many system-level modeling frameworks and corresponding modeling notations such as Ptolemy II and SystemC-H facilitate multi-MoC modeling but are based on imperative programming languages (C++, Java, etc). In such frameworks, the computation and communication aspects between the components of models get intertwined thereby hindering its amenability to formal analysis. In this work, we illustrate functionbased semantic definitions of MoCs, which are formulated in a functional framework called SML-Sys. We illustrate through a number of examples how to create system models using this functional programming paradigm.

A Kleene Algebra of Tagged System Actors for Reasoning about Heterogeneous Embedded Systems

“…Subsequently, the actor atp takes as input the triple tr 1 and may choose to modify the acceleration value, i.e., apply full brake or leave it unchanged thereby producing the triple tr 2 . The actor spd nondeterministically ascertains tr 1 :a from the range ½Àb; A if tr:v m:v. 9 The actor atp assigns tr 2 :a as tr 1 :a if m:d À tr:p > SB and assigns tr 2 :a ¼ Àb otherwise. Hence, for any choice of acceleration by actor spd, the actor atp either preserves the value or changes it to "-b" and we may write ðspd Å atpÞððIÞ; ðOÞÞj tr2:a ¼ ½Àb; A [ ½Àb ¼ ½Àb; A for a behavior ðOÞ in which the inequality tr:v m:v holds.…”

“…Various frameworks for modeling such heterogeneous components along with their communication and coordination have been reported in the literature. Examples of such frameworks include Ptolemy [3], [4], MoBIEs [5], Metropolis [6], [7], ForSyDe [8], SML-Sys [9], and so on.…”

Domain-specific discrete event modelling and simulation using graph transformation

“…Our work also relates to the models of computations proposed by the embedded systems and systemson-chip communities [29]. However, although we follow the discrete-time model of computation, our approach is not based on modules (processes) and communication channels.…”

System-level co-simulation of integrated avionics using polychrony

“…It has been widely studied in the Ptolemy project [12], MoBIES project [9], SML-Sys modeling frameworks [17], ForSyDe modeling frameworks [19], etc. In these projects, certain common formalisms or agent-based methods are proposed to model or express heterogeneous components, which generally rely on different models of computation.…”