Abstract
Verteilte Prozeßrechneranwendungen steilen hohe Anforderungen an das Computerkontrollsystem sowohl in bezug auf die Einhaltung von zeitlichen Schranken als auch in bezug auf Zuverlässigkeit und Fehlertoleranz. Das MARS-Entwurfssystem berücksichtigt diese Anforderungen und unterscheidet zwischen dem kreativen Entwerfen (Entwurfsphase) und der Bewertung eines Entwurfes (Bewertungsphase). Beide Phasen werden durch entsprechende Tools mit graphischer Benutzerschnittsteile unterstützt. Die Entwurfsphase führt durch alternierendes Definieren und Verfeinern von Objekten von der Definition der Anforderungen über System-, Cluster- und Komponentendesign bis zur Implementierung von Tasks und Nachrichten. Die Bewertungsphase überprüft, ob der Entwurf eines Systems unter den gegebenen zeitlichen Bedingungen (Antwortzeiten auf externe und interne Stimuli, etc.) realisierbar ist und führt eine Zuverlässigkeitsanalyse (Berechnung von Verfügbarkeit, Zuverlässigkeit, mittlere Zeit bis zum Ausfall, etc.) durch.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverweise
H. Kopetz and W. Merker, “The Architecture of MARS,” 15th Fhult-Tolerant Computing Symposium, pp. 274–279, Anna Arbor, Michigan, (June 1985).
M. Pflügl, A. Damm, and W. Schwabl, “Interprocess Communication in MARS,” Research Report 8/88, Institut für Technische Informatik, Technische Universität Wien, Vienna, Austria (June 1988).
H. Kopetz and W. Ochsenreiter, “Clock Synchronization in Distributed Real-Time Systems,” IEEE Transactions on Computers, vol. 36, no. 8. pp. 933–940, (Aug. 1987).
AMI, “Clock Synchronization Unit (CSU),” Austria Microsystems International, Preliminary, S65C60-Datenblatt (June 1986).
D. A. Anderson and G. Metze, “Design of Totally Self-Checking Check Circuits for m-out-of-n Codes,” IEEE Transactions on Computers, vol. C-22, pp. 263–269, (Mar. 1973).
H. Kopetz, “Design Principles for Fault-Tolerant Real-Time Systems,” 19th Hawaii Conference, vol. II, pp. 53–62, (1986).
D. Parnas, “On the Criteria to be Used in Decomposing Systems into Modules,” Communications of the ACM, vol. 15, no. 12, pp. 1053–1058, (Dec. 1972).
M. Alford, “SREM at the Age of Eight: The Distributed Computing Design System,” IEEE Computer, vol. 18, no. 4, pp. 36–46, (Apr. 1985).
C. Senft, “REMODEL — a Realtimesystem Methodology on Design and Early Evaluation.” Proc. of the IFIP Conf. on Distributed Processing, pp. 305–321, Amsterdam, Netherlands. (Oct. 1987).
C. L. Liu and J. W. Layland, “Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment,” Journal of the ACM, vol. 20, no. 1, pp. 46–61, (Jan. 1973).
D. W. Leinbaugh and M.-R. Yamini, “Guaranteed Response Times in a Distributed Hard-Real-Time Environment,” IEEE Transactions on Software Engineering, vol. 6, no. 1, pp. 1139–1144, (Dec. 1986).
W. Zhao, K. Ramamritham, and J. A. Stankovic, “Preemptive Scheduling Under Time and Resource Constraints,” IEEE Transactions on Computers, vol. 36, no. 8, pp. 949–960, (Aug. 1987).
M. Mulazzani, “Generation of Dependability Models from Design Specifications of Distributed Real-Time Systems,” Ph.D. Dissertation, Technisch Naturwissenschaftliche Fakultät, Technische Universität Wien, Vienna, Austria (April 1988).
M. Mulazzani, “An Open Layered Architecture for Dependability Analysis and its Application,” 18th Fault-Tolerant Computing Symposium, Tokyo, Japan, (June 1988).
R. Sahner and K. S. Trivedi, “Performance and Reliability Analysis Using Directed Acyclic Graphs,” IEEE Transactions on Software Engineering, vol. 13, no. 10, pp. 1105–1114, (Oct. 1987).
R. A. Sahner and K. S. Trivedi, “Reliability Modeling using SHARPE,” IEEE Transactions on Reliability, vol. 36, no. 2, pp. 186–193, (June 1987).
C. Senft, “A Computer-Aided Design Environment for Distributed Realtime Systems,” IEEE Compeuro 86, System Design: Concepts, Methods and Tools, pp. 288–297, Brussels, Belgium, (Apr. 1988).
M. Agnew and R. Ward, “The DB+4-Relational Database Management System,” EUUG Conference Proceedings, pp. 1–15, Florence, Italy, (Apr. 1986).
M. Dowson, “Integrated Project Support with IStar,” IEEE Software, vol. 4, no. 6, pp. 6–15, (Nov. 1987).
R. Zainlinger, “GRAINT — Ein graphisches Interface für das MARS Design System,” Diplomarbeit, Institut für Technische Informatik, Technische Universität Wien, Vienna, Austria (1988).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kopetz, H. et al. (1988). Entwurf und Bewertung fehlertoleranter, verteilter Echtzeitsysteme am Beispiel MARS. In: Valk, R. (eds) GI — 18. Jahrestagung II. Informatik-Fachberichte, vol 188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74135-7_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-74135-7_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50360-6
Online ISBN: 978-3-642-74135-7
eBook Packages: Springer Book Archive