Episodes
Design for Availability
Published 12/12/11
Software Architecture
Published 12/06/11
Software Patterns
Published 12/06/11
Toolkits and Frameworks
Published 12/06/11
Design Dependable Embedded Systems
Published 12/06/11
Techniques for Fault Tolerance
Published 12/06/11
Recovery Blocks
Published 12/06/11
Analysis
Published 12/05/11
Introduction
Published 12/05/11
Object Structuring
Published 12/05/11
Parametric Constraint Diagram
Published 12/05/11
Activity Diagrams
Published 12/05/11
Design
Published 12/05/11
Toolkits and Features
Published 11/21/11
Controller Design
Published 11/21/11
Speed Idle Control
Published 11/21/11
Tool-Support
Published 11/21/11
SIL Implecations
Published 11/15/11
Process & Software Requirements
Published 11/15/11
Completeness
Published 11/15/11
Software Reliability and Availability
Published 11/15/11
Reliability Metrics
Published 11/15/11
Limitations of Specification Validation
Published 11/15/11
Discussion & Summary
Published 11/15/11
Example
Published 11/14/11
