Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Applied Bounded Model Checking for Interlocking System Designs
Twenty-Five Years of Formal Methods and Railways: What Next?
Verification of Solid State Interlocking Programs
Verification of Scheme Plans Using CSP||B
Validation of Railway Interlocking Systems by Formal Verification, A Case Study
2010-01-0671 Use of AUTOSAR Framework to Assist Software Field Programming
2010-01-0668 Improving OEM/Supplier Relationships by Efficient Use of Model-Based Techniques
2010-01-0673 Signal Processing for Rough Road Detection
2010-01-0686 Domain Control Units - the Solution for Future E/E Architectures?
2010-01-0687 In-Vehicle Networking Technology for 2010 and Beyond
2009-01-0122 Modelling of Network Communications Stack Software ROM and RAM Requirements
2009-01-0271 A Verification and Validation Workflow for IEC 61508 Applications
2009-01-0265 Software Optimization Techniques in Automotive Applications
2009-01-0266 Integration of Hardware Specific Features of Microcontroller into the AUTOSAR Standard