Wyniki wyszukiwania:

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especially for safety relevant systems - the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations. Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus...

Der Band liefert erstmals eine methodische Darstellung zur Verkehrssicherheit in einem begriffs- und systemtheoretischen Ansatz, der sozial- wie technikwissenschaftliche Perspektiven integriert. Vorgestellt werden Methoden fur die Erforschung und Gestaltung von Verkehrssystemen hinsichtlich der Verkehrssicherheit. Ausgehend von der begrifflichen Analyse stellt der Band Ansatze zur Definition von Verkehrssicherheit vor, erklart anhand dieser Modelle die historische Entwicklung und leitet Prognosen fur die weitere Entwicklung der Verkehrssicherung ab.

"

Der Schlussel zur Automatisierung sind geeignete Beschreibungsmittel, Methoden und Werkzeuge. In diesem Buch werden die modernen Methoden fur Ingenieure in Studium und Beruf dargestellt. Besonderer Wert wird dabei auf die praxisgerechte Auswahl anwendbarer wissenschaftlicher Methoden, speziell mit Petrinetzen und ihre durchgangige Darstellung mit durchgehenden Beispielen gelegt.

"Wir glauben, dass es ein sehr wichtiges Buch ist, dass dem Interessenten einen Uberblick von erheblicher Tiefe vermittelt." (TUV Rheinland, September 1999)

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools. Formal techniques provide next to correctness and integrity checkups - especially for safety relevant systems - the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations. Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus...

-Verkehr ohne Leittechnik ist wie Laufen im Dunkeln-, so der Autor. Verkehrsleittechnik soll die komplexen Verkehrsstrome der Straen- und Schienenverkehrsnetze zuverlassig steuern und regeln. Damit Personen und Guter sicher und zugig am Ziel ankommen, darf Leittechnik nichts dem Zufall uberlassen. Das Buch bietet die solide Grundlage zur adaquaten, nachhaltigen Modellierung von Verkehrssystemen und ihren technischen Einrichtungen.

Au tomatisch gesteuerte technische Prozesse haben erhebliche volkswirtschaftliche Be deutung. Spannen sich dabei die Anwendungen tiber Industrie, Verkehr und Versorgung, so ist das Medium der Steuerung weitgehend die digitale Datenverarbeitung mit den in Programmen formulierten Steuerungsaufgaben. Das gilt umsomehr, als durch zunehmende Funktion und sinkende Kosten mikroelektronischer Informationstechnik bestehende An wendungen noch wirtschaftlicher und immer weitere erschlossen werden. Wahrend die technisch-wissenschaftliche Datenverarbeitung durch den Yom Benutzer zeit lich entkoppelten und...

Automatisch gesteuerte technische Prozesse haben erhebliche volkswirtschaftliche Bedeutung. Spannen sich dabei die immer komplexeren Anwendungen uber Industrie, Energie, Verkehr und Versorgung bzw. Entsorgung, so ist das Medium der Steuerung weitgehend die digitale Datenverarbeitung mit ihren in Programmen formulierten Steuerungsaufgaben. Das gilt um so mehr, als nach wie vor durch zunehmende Funktionalitat und sinkende Kosten mikroelek- tronischer Informationstechnik, durch leistungsfahige Kommunikationssysteme sowie wach- sende Standardisierung bestehende Anwendungen noch wirtschaftlicher...