---
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
 - [ ]  Get a first draft done of [[ARCADE Implementation at the University of Pittsburgh]]. This is going to be fun!
	 - [ ] Abstract
	 - [x] Introduction ✅ 2024-08-14
	 - [ ] Background
		 - [x] PLC and ICS ✅ 2024-08-14
		 - [x] HiL Simulation ✅ 2024-08-15
		 - [ ] Formally Verified Firmware
	- [ ] Research Approach
		- [ ] ARCADE
		- [ ] kOS
		- [ ] Embedded Controllers
	- [ ] Challenges and Limitations
		- [ ] Education of SBD
		- [ ] Protection Domains
		- [ ] Upgrade Costs
	- [ ] Broader Impact
		- [ ] Cybersecurity of ICS
		- [ ] Lower formal methods barrier
	- [ ] Conclusion
### Medium Tasks
- [x] [[Weekly Note 2024-08-14]] ✅ 2024-08-15
- [ ] Read papers for [[Hardware In The Loop Papers]]
- [ ] 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]]
- [ ] 
- [ ] 
- [ ] 
