Abstract
While constructing a bus interface, mainly two problems arise: On the one hand, the protocols of both sides of the interface have to be described, on the other hand, the transformation between these protocols has to be done. To cope with the first problem, a graph-based representation of Timing Diagrams has been developed, the Trigger-Graph. For the second problem, the partial protocols of a bus are considered by their meaning and are represented as a Simple Operation (SIOP) The SIOPs are independent of their realisation and can be transformed into each other by formal means.
Preview
Unable to display preview. Download preview PDF.
References
Ajmone Marsan, M.; Balbo, G.; Conte, G.: Performance Models of Multiprocessor Systems. The MIT Press: Cambridge (Mass.), 1986
Brauer, W.: Automatentheorie. Teubner: Stuttgart 1984 (in German)
Intel: Multibus I Architecture Reference Book. Santa Clara (CA) 1983
Leszak, M.; Eggert, H.: Petri-Netz-Methoden und-Werkzeuge. Informatik-Fachberichte 197. Springer-Verlag: Berlin 1988 (in German)
Reisig, W.: Petrinetze. Eine Einführung. Springer-Verlag: Berlin 2 1986 (in German)
Sifakis, J.: Use of Petri Nets for Performance Evaluation. Third Int. Workshop on Modeling and Performance Evaluation of Computer Systems. Amsterdam, 1977
Thurner, E.M.; Simon, F.: Verfahren zur Umsetzung von Zeitdiagrammen in zeitbehaftete Petri-Netze. In: Kropf, Th.; Kumar, R.; Schmid, D.: GI/ITG-Workshop ”Formale Methoden zum Entwurf korrekter Systeme”, Bad Herrenalb, Interner Bericht Nr. 10/93 Universität Karlsruhe, Fakultät für Informatik, 1993, S. 61–68 (in German)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thurner, E.M. (1994). Formal description of bus interfaces using methods of system theory. In: Pichler, F., Moreno Díaz, R. (eds) Computer Aided Systems Theory — EUROCAST '93. EUROCAST 1993. Lecture Notes in Computer Science, vol 763. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57601-0_50
Download citation
DOI: https://doi.org/10.1007/3-540-57601-0_50
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57601-3
Online ISBN: 978-3-540-48286-4
eBook Packages: Springer Book Archive