Lecture
Timing and Performance Analysis: Model Checking
Related lectures (31)
Stochastic Hybrid Systems
Explores time-determinator model checking, U-Pool scheduling, worst-case execution time analysis, and statistical model checking for cyber-physical systems.
Automated Reasoning: Formal Verification with LISA
Explores formal verification using the LISA proof assistant and the OCBSL Equivalence Checker.
On-Board Computers: Microprocessors and Microcontrollers
Covers spacecraft avionics systems, architectures, and processors, focusing on on-board computers and microprocessors.
On Board Buses and Networks
Covers the architecture and protocols of on-board buses and networks in spacecraft avionics systems.
Designing Provably Performant Networked Systems
Explores the design of networked systems for robust performance, emphasizing real-time applications and formal verification.
Efficient Safety-Critical Systems
Delves into building efficient safety-critical systems, emphasizing the importance of worst-case execution times and the challenges of integrating efficiency considerations into design processes.
Radiation Hard Microelectronics
Explores radiation-hard microelectronics design, rad-hard ASIC libraries, and mitigation techniques for single-event effects.
Spacecraft Systems: Subsystems Overview
Covers the taxonomy of spacecraft systems, focusing on subsystems such as power supply, data processing, communication, attitude control, and payload.
Formally Correct Intermittent Systems
Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.
MicroC/OS-II: Real-Time Kernel Overview
Provides an overview of MicroC/OS-II, a real-time kernel with multitasking capabilities and deterministic functions, covering topics such as task management, kernel, and intertask communication.