42 lines
1.1 KiB
Markdown
Executable File
42 lines
1.1 KiB
Markdown
Executable File
---
|
|
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]]
|
|
- [ ]
|
|
- [ ]
|
|
- [ ]
|