Design Accompanying Analysis of Component-Based Embedded Software

@inproceedings{Maydl2004DesignAA,
  title={Design Accompanying Analysis of Component-Based Embedded Software},
  author={Walter Maydl},
  booktitle={CBSE},
  year={2004}
}
Design accompanying analysis techniques for component-based embedded systems based on the dataflow paradigm are presented. The underlying signal model covers not only the value range and the time domain but also attributes of the signal data transport. Components are modelled as functions on streams of signal data. This allows to describe the behavior of dataflow components precisely by constraints. Static constraints, e.g., equality of sampling periods, may be as complex as multivariate… CONTINUE READING