---
creation date: 2024-08-14
modification date: Wednesday 14th August 2024 08:48:52
tags: []
---
#### Yesterday | Tomorrow
 << [[2024-08-13]] | [[2024-08-15]] >>
#### This Week's Weekly Note
[[Weekly Note 2024-08-14]]

## Tasks for today
### Big Task
 - [x] Get a first draft done of [[ARCADE Implementation at the University of Pittsburgh]]. This is going to be fun! ✅ 2024-09-13
	 - [x] Abstract ✅ 2024-09-13
	 - [x] Introduction ✅ 2024-08-14
	 - [x] Background ✅ 2024-09-13
		 - [x] PLC and ICS ✅ 2024-08-14
		 - [x] HiL Simulation ✅ 2024-08-15
		 - [x] Formally Verified Firmware ✅ 2024-09-13
	- [x] Research Approach ✅ 2024-09-13
		- [x] ARCADE ✅ 2024-09-13
		- [x] kOS ✅ 2024-09-13
		- [x] Embedded Controllers ✅ 2024-09-13
	- [x] Challenges and Limitations ✅ 2024-09-13
		- [x] Education of SBD ✅ 2024-09-13
		- [x] Protection Domains ✅ 2024-09-13
		- [x] Upgrade Costs ✅ 2024-09-13
	- [x] Broader Impact ✅ 2024-09-13
		- [x] Cybersecurity of ICS ✅ 2024-09-13
		- [x] Lower formal methods barrier ✅ 2024-09-13
	- [x] Conclusion ✅ 2024-09-13
### Medium Tasks
- [x] [[Weekly Note 2024-08-14]] ✅ 2024-08-15
- [x] Read papers for [[Hardware In The Loop Papers]] ✅ 2024-09-13
- [-] Figures for [[ARCADE Implementation at the University of Pittsburgh]]
### Small Tasks
- [x] Ask Dan about Qualifying Exam Support Group ✅ 2024-08-15
- [ ] [[Qualifying Exam Notes]]