Foundations for Rapid Embedded Development
Transition Methodology from Specifications to a Network of ECUs Exemplarily with ASCET-SD and VCC
Software Requirements: Is This the Magic Bullet?
Automotive Software Engineering Using the MISRA Guidelines
Software Engineering as Engineering
High Performance Code Generation for Audo, an Automotive mController from Infineon Technologies
IS0 9001: Making the Right Mistakes
Basic Introduction to OSEK Communication - COM
ASAM: Standards in Measurement and Automation Technology
The OSEK/VDX Standard for Automotive Applications - Current Status
The Significance of a Reference Architecture in the Automotive Industry
Requirements Management for Automotive Systems Development
Introduction to OSEK Network Management
Embedded Real Time Operating Systems and The OSEK Standard
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
A Software and System Modeling Facility for Vehicle Environment Interactions
Customer Requirements and Requirements Analysis Example
An Instrumentation-Based Approach to Controller Model Validation
Introduction to CAN Calibration Protocol
Verification of Solid State Interlocking Programs
Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Verification of Scheme Plans Using CSP||B
2007-01-1778 Development of Telematics Software Platform using WIPI for Service-based Applications
2007-01-1645 Large Scale Modeling and Simulation of Propulsion Systems
2007-01-1624 A Three-Pillar Framework for Model-Based Engine Control System Development
2007-01-1777 An Engine Start/Stop System for Improved Fuel Economy
2007-01-1644 Design of a Digital Dash-Panel using a TFT LCD Panel and Blackfin Processor
2007-01-0512 The Challenges of Next Generation Automotive Benchmarks
2002-01-0873 Robust Embedded Software Begins with High-Quality Requirements
Applied Bounded Model Checking for Interlocking System Designs
Twenty-Five Years of Formal Methods and Railways: What Next?
2007-01-0503 Model-Based Automated Validation Techniques for Automotive Embedded Systems
2002-01-0875 Automotive Software Development: A Model Based Approach
2002-01-0872 The Embedded Cake: A Layers Model of Embedded Systems
2002-01-0876 Practical Application of Model-Based Software Design for Automotive
2002-01-1170 Rapid Application Development for Embedded Systems Using CAN Calibration Protocol
2002-01-1169 Embracing the Systems Approach to Automotive Diagnostics
2002-01-0878 Extensible and Upgradeable Vehicle Electrical, Electronic, and Software Architectures
RELIASEP - A Technique for Safe Design
Domain Engineering - An Enabling Technology for Product Assurance
Developing a Successful Metrics Programme