Techniken zur effizienten Verifikation von Echtzeitsystemen durch Model-Checking (Deutsch)
- Neue Suche nach: Witsch, Daniel
- Neue Suche nach: Vogel-Heuser, Birgit
- Neue Suche nach: Witsch, Daniel
- Neue Suche nach: Vogel-Heuser, Birgit
In:
Beschreibungsmittel, Methoden und Werkzeuge für Entwurf und Zuverlässigkeit von Anwendungen in Automatisierung und Verkehr, EKA, Entwurf komplexer Automatisierungssysteme, 9
;
117-129
;
2006
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Techniken zur effizienten Verifikation von Echtzeitsystemen durch Model-Checking
-
Weitere Titelangaben:Efficient verification technique of on-line-systems by aid of Model-Checking
-
Beteiligte:Witsch, Daniel ( Autor:in ) / Vogel-Heuser, Birgit ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: TU Braunschweig
-
Erscheinungsort:Braunschweig
-
Erscheinungsdatum:2006
-
Format / Umfang:13 Seiten, 5 Bilder, 1 Tabelle, 13 Quellen
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Deutsch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 35
-
The petri net markup language and ISO/IEC 15909-2: concepts, status, and future directionsKindler, Ekkart et al. | 2006
- 57
-
Regelbasierte Verfeinerung von Petrinetz-Modulen: Am Beispiel ProduktionszellePadberg, Julia et al. | 2006
- 67
-
Simulationsmodellbasierte Entwicklung und Realisierung von RobotersteuerungenMaletzki, G. / Pawletta, T. / Dünow, P. / Pawletta, S. / Kremp, M. / Lampe, B. et al. | 2006
- 79
-
Konsistentes Verschalten Petri-Netz-basierter Komponenten beim Entwurf verteilter Steuerungen in CNetHagge, Nils / Wagner, Bernardo et al. | 2006
- 91
-
Ereignisgesteuerte Prozessdiagnose durch eine modellbasierte SystemüberwachungJörn, Jürgen et al. | 2006
- 117
-
Techniken zur effizienten Verifikation von Echtzeitsystemen durch Model-CheckingWitsch, Daniel / Vogel-Heuser, Birgit et al. | 2006
- 131
-
Analyse des Antwortverhaltens vernetzter Automatisierungssysteme mittels Probabilistic Model CheckingGreifeneder, Jürgen / Frey, Georg et al. | 2006
- 153
-
Ein Ansatz zur Vereinheitlichung der Betriebsarten und Sicherheitsziele nach IEC 61508Braband, Jens et al. | 2006
- 175
-
IT-Sicherheit auf der Feldebene von AutomatisierungssystemenGutbrodt, Felix / Göhner, Peter et al. | 2006
- 193
-
Ein allgemeiner, semi-quantitativer Ansatz für Risikoanalysen am Beispiel der MaschinensicherheitGriebel, Stephan et al. | 2006
- 209
-
Integrierte modellgestützte Risikoanalyse komplexer AutomatisierungssystemeWedel, Michael / Göhner, Peter / Jäger, Patrick / Bertsche, Bernd et al. | 2006
- 251
-
Real-time detection of pathological traffic situations via AISPagnoni, Anastasia / Visconti, Andrea et al. | 2006
- 259
-
Entwurf komplexer Automatisierungssysteme am Beispiel eines Überwachungsautomaten für Überholvorgänge von KraftfahrzeugenAhle, Elmar / Söffker, Dirk et al. | 2006
- 271
-
Sicherstellung der Diagnosequalität im Automobilbereich durch modellbasierte EntwicklungFlorentz, Bastian / Harms, Mirko / Breuer, Andreas et al. | 2006
- 283
-
Eine quantitative Untersuchung des European Train Control System mit UML State MachinesZimmermann, Armin / Trowitzsch, Jan et al. | 2006