Modellbasierte Testfallgenerierung am Beispiel einer RBC-Funktion

Futher articles in this issue:

• Model-based test case generation using the example of an RBC function
• 4th S+D-Lifetime-Achievement-Award
• 4. S+D-Lifetime-Achievement-Award geht an Karl-Heinz Suwe
• Rundum-Springlicht für Überwege an Stadtbahnstrecken
• All-round warning lights at crossings on light rail lines
• Rail research – doing the right things right
• Schienenverkehrsforschung – Die richtigen Dinge richtig tun
• Große Visionen und die praktische Umsetzung – Wo steht die LST?
• Great visions and practical implementation – What is the position with the LST?
• Liebe Leserinnen und Leser,
• Dear readers,
• Performance monitoring for level crossing protection systems
• Performance Monitoring für Bahnübergangssicherungsanlagen
• Safety qualification tests and ETCS approval on the Wuppertal “Schwebebahn”
• Sicherheitserprobung und Zulassung von ETCS bei der Wuppertaler Schwebebahn
• Moderne Zugsicherung – Anforderungen und Grenzen
• State-of-the-art train safety control – requirements and limits
• Die digitale LST-Planung (PlanPro) als Wegbereiter der Digitalen Schiene
• Digital CCS engineering (PlanPro) paves the way for the “Digital Rail” program

More articles from this author/s:

• Menschliche Zuverlässigkeit im Bahnbereich – Einflussfaktoren und Bewertungsmethoden
• Model-based test case generation using the example of an RBC function
• Validation and verification of EULYNX specifications supported by test case generation
• Testfallgenerierungsgestützte Validierung und Verifikation von EULYNX-Spezifikationen
• Modellbasiertes Testen zeitbezogener LST-Anforderungen unter Berücksichtigung der RCA
• Eine vielseitige Testkomponente auf Grundlage des EULYNX-Teilsystems Weiche
• A versatile test component based on the EULYNX Subsystem Point
• Entwicklung von Referenzmodellen von LST-Komponenten am Beispiel der Streckenzentrale (Daniel Schwencke,Hardi Hungar)
• Efficient testing of modularised and standardised interlocking components (Mirko Caspar, Daniel Schwencke, Hardi Hungar)