Specifications and Modeling [chapter]

Peter Marwedel
<span title="">2021</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jchr2ocdj5hfhk4vv3g3huukfi" style="color: black;">Embedded Systems</a> </i> &nbsp;
AbstractHow can we describe the system which we would like to design, and how can we represent intermediate design information? Models and description techniques for initial specifications as well as for intermediate design information will be shown in this chapter. First of all, we will capture requirements for modeling techniques. Next, we will provide an overview of models of computation. This will be followed by a presentation of popular models of computations, in combination with examples
more &raquo; ... f the corresponding languages. The presentation includes models for early design phases, automata-based models, data flow, Petri nets, discrete event models, von Neumann languages, and abstraction levels for hardware modeling. Finally, we will compare different models of computation and present exercises.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-60910-8_2">doi:10.1007/978-3-030-60910-8_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gxmydpjzjvfk7ni2rj62j365zi">fatcat:gxmydpjzjvfk7ni2rj62j365zi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210429094255/https://link.springer.com/content/pdf/10.1007%2F978-3-030-60910-8_2.pdf?error=cookies_not_supported&amp;code=89bfe2ff-a3b6-46eb-8225-5e408a3f4474" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7a/e3/7ae399479a082a7c20b81a321a8e5722837acdcb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-030-60910-8_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>