Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Dependable Architectures and Software

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Finite State Machines (FSMs)Log in to Mediaspace to watch this video

Explores Finite State Machines (FSMs) in digital system design, covering Mealy and Moore FSMs, state diagrams, VHDL implementation, and state encoding.

Designing Provably Performant Networked Systems Log in to Mediaspace to watch this video

Explores the design of networked systems for robust performance, emphasizing real-time applications and formal verification.

Encoder and Decoder for Prefix-Free Codes Log in to Mediaspace to watch this video

Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.

Software Engineering: Best Practices Log in to Mediaspace to watch this video

Covers tools and best practices for software writing, debugging, testing, and managing code.

Dependability Evaluation in Industrial Automation Log in to Mediaspace to watch this video

Explores dependability evaluation, preventive maintenance, reliability, Markov models, FMEA, FTA, and software safety integrity in industrial automation.

Channel Coding and BICM (LLRs)Log in to Mediaspace to watch this video

Explores channel coding, BICM, and LLRs in wireless communication systems, emphasizing the importance of error detection and correction.

Separation is all you need: Foundations for Modular Verification Log in to Mediaspace to watch this video

Explores the foundations of modular verification using Separation Logic for realistic concurrent programs and discusses the challenges of shared mutable state in concurrency.

Protein Design: Enzyme and Biosensor Engineering Log in to Mediaspace to watch this video

Explores novel enzyme and biosensor design for catalysis and ligand detection.

Parallel Databases Log in to Mediaspace to watch this video

Explores parallel and distributed databases, covering architectures, query optimization, data storage, and distributed transactions.

Real-Time Control Systems: Determinism and Automation Log in to Mediaspace to watch this video

Explores real-time control systems, determinism, and automation in critical systems, emphasizing the significance of meeting time constraints for safety and efficiency.

Page 2 of 2