A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
The usage of stochastic processes in embedded system specifications
2001
Proceedings of the ninth international symposium on Hardware/software codesign - CODES '01
Preserved Fulltext
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purpose is used in speci cations to constrain implementations. For the speci cation of embedded systems we suggest a stochastic process instead of nondeterminism. It serves mostly the descriptive purpose but can also be used to constrain the system. We carefully distinguish di erent i n terpretations of these concepts by
doi:10.1145/371636.371646
dblp:conf/codes/JantschSW01
fatcat:aklfsw3nbzg5zm2m4serp26fmy