System hardware and software reliability analysis
Controlling large cyclic avionics software systems written in Ada
Approaches and implementation of software test and development system for embedded computer systems
The use of JSD on the Spearfish system (heavyweight torpedo)
Multilevel analysis of complex embedded computer systems
A verifiable, autonomous satellite control system
Real-time, Ada-based, avionics processing
Security audit for embedded avionics systems
Real-time software development in multiprocessor, multifunction systems
Modular embedded computer software for advanced avionics systems
Laboratory concepts in avionics software
Digital map integration in advanced tactical cockpits
A high performance, multi-application single card signal processor
Ada on reduced instruction set computers, for real-time embedded systems
An Integrated Tool Set For Developing Embedded Control System Software
High Assurance Systems Engineering
Software Life-Cycle Costs and Solutions
Automated Safety Critical Software Development for Distributed Control Systems: A COTS Approach
AJACS : applying Java to automotive control systems
2002-01-1171 Automating FNOS Vehicle Network System-Level and Module-Level Testing
2002-01-0878 Extensible and Upgradeable Vehicle Electrical, Electronic, and Software Architectures
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-0876 Practical Application of Model-Based Software Design for Automotive
2002-01-0872 The Embedded Cake: A Layers Model of Embedded Systems
2002-01-0873 Robust Embedded Software Begins with High-Quality Requirements
2002-01-0875 Automotive Software Development: A Model Based Approach
Robot soccer: integrated framework for Multidisciplinary hi-tech education
Model-Based Embedded Control System Development Using HIL
Fault-Tolerant Clock Synchronization for Safety-Critical Applications
Visual User Interfaces for Telematics
A Modeling Framework for Automotive Embedded Control Systems
An Aggregate Framework for Vehicle-Electronic Architecture Requirements Development
Power Tools in System Engineer's Toolbox - Using TRIZ to Resolve Conflicts
Cost Efficient Integration for Decentralized Automotive ECU
A Sampling Period Decision for Robust Control of Distributed Control System using In-Vehicle Network
Distributed Safety Architecture for OSEK Control Units
Automatic Model Based Partitioning of Distributed Automotive Electric Systems
Meeting the Challenges in a Collaborative OEM-Supplier Development of Distributed Embedded Systems
Impact of Fault Tolerance Mechanisms on X-by-Wire System Dependability
An Architecture for a Safety-Critical Steer-by-Wire System
AMI-C Content-Based Human Machine Interface (HMI)