• Overview
• Main Research Subjects
• Model-based Requirements Engineering
• Code-Generation in Safety-Critical Applications
• Model-Based Testing
• Integrated Method for Model-Based System Development
• Project Partners
• Internal Project Area
• Papers
• 2004
• Model-based testing of embedded automotive software using MTest
• Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
• Integration of the Code Generation Approach in the Model-based Development Process by Means of Tool Certification
• Testfallerzeugung aus Use-Case-Beschreibungen
• Modell-basierter Test eingebetteter Software im Automobil - Auswahl und Beschreibung von Testszenarien
• Systematic Testing of Embedded Automotive Software: The Classification-Tree Method for Embedded Systems (CTM/ES)
• Integration of Requirements into Model-based Development
• Softwarebasierte Produktlinien – Szenarien für Automobilhersteller und Zulieferer
• Automatische Testauswertung für Steuergerätesoftware
• Systematic Model-based Testing of Embedded Conrol Software - The MB3T Approach
• A Systematic Approach to Testing Automotive Control Software
• Modellbasierte Steuergeräte-Software-Entwicklung für den Automobilbereich
• Modellbasierte Entwicklung eingebetteter Fahrzeug-Software bei DaimlerChrysler
• Code Generator Testing in Practice
• IMMOS – Eine integrierte Methodik zur modellbasierten Steuergeräte-Entwicklung
• Code Generator Certification: A Testsuite-Oriented Approach
• Formal Refinement and Model Checking of an Echo Cancellation Unit
• 2005
• Von Use Cases zu Test Cases: Eine systematische Vorgehensweise
• Systematic Model-Based Testing of Embedded Automotive Software
• Werkzeuggestützte interaktive Formalisierung textueller Anwendungsfallbeschreibungen für den Systemtest
• Verfahren zur Aufstellung formaler Metamodelle
• eGuidelines -­ A Tool for Managing Modeling Guidelines
• Modell-basierter Test von Simulink/Stateflow-Modellen
• Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente
• Modelchecking von Klassifikationsbaum-Testsequenzen
• Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente
• Automatic Evaluation of ECU Software Tests
• Einsatz automatischer Testvektorgenerierung im modellbasierten Test
• How to Use Automatic Test Vector Generation for Model Coverage
• Kopplung der Werkzeuge DOORS und CTE XL für einen effizienten Entwicklungsprozess durch systematisches Testen
• 2006
• Interaktive Aufbereitung von Anforderungen für den modellbasierten Test
• TestML – A Test Exchange Language for Model-based Testing of Embedded Software
• A Formal Behavioral Semantics for TestML
• Evaluation von Transformationsmaschinen in der modellbasierten Qualitätssicherung
• An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events
• Classification Trees for Random Tests and Functional Coverage
• UML as a Next Generation Language for SoC Design
• UML for ESL Design − Basic Principles, Tools, and Applications
• Automatisierte Strukturtests in der modellbasierten Entwicklung
• Modellbasierte Testauswertung in herkömmlicher Steuergeräte-Entwicklung
• Tools
• e-Guidelines
• TestML
• Links