AXS: An ADA Coprocessor-Based Real-Time Kernel
How to Reduce the Cost of Onboard Software
Application of the Asynchronous Operating System ASTRES-1750 in Space Projects
An Efficient Approach to Software Validation
Software Architectures for Deeply Embedded Systems: The OMI Approach
Development of Flight Software for Minisat-01 Attitude Determination and Control Subsystem
An Alternative Lifecycle Based on Problem-Oriented Strategies
Verification of the Behaviour of Reactive Software with CFFD-Semantics and ARA Tools
Conformance Testing on Complex Systems Using Lotos
ADA Coding Rules for ATAC Instrumentation of Application Software
OX: ADA Cyclic Executive for Embedded Applications
Sciamachy ICU: An Application of Preemptive Scheduling with ADA on a 31750
Test Methods and Tools for Soho Mass Memory Unit Software
Design & Testing of Software Components in Meris Signal Digital Processing Unit
Lessons Learnt Using ESA Standards & Methods for Onboard Real-Time Application Software
Development of Embedded Systems Using Hood and ADA - Ariane-5
Using VDM + + in the Development of a Large Industrial Application
Improving Quality Over Price Ratio - A Fight Over a Lifecycle
Impacts and Evaluations of a Software Reuse Methodology for Onboard Component Development
Industrialisation of Tools for Hard Real-Time Software Development
Automotive Software Development Evaluation
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
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
IS0 9001: Making the Right Mistakes
Basic Introduction to OSEK Communication - COM
Introduction to CAN Calibration Protocol
Software Quality and European Law
Software Development for Multiple OEMs Using Tool Configured Middleware for CAN Communication
Metrics in Software Development
Software Lessons Learned the Hard Way
A Case Study in Applying a Product Line Approach for Car Periphery Supervision Systems