---
creation date: 2024-08-15
modification date: Thursday 15th August 2024 08:09:13
tags:
  - DailyNote
---
#### Yesterday | Tomorrow
 << [[2024-08-14]] | [[2024-08-16]] >>
#### This Week's Weekly Note
[[Weekly Note 2024-08-07]]

## 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] Tune up presentation for diffusion ✅ 2024-08-15
- [x] Present Diffusion presentation ✅ 2024-08-15
- [ ] Make figures for [[ARCADE Implementation at the University of Pittsburgh]]
### Small Tasks
- [x] Meet and catch up with Patrick ✅ 2024-08-16

- [ ] 
- [ ] 
- [ ]