1.2 KiB
Executable File
1.2 KiB
Executable File
| creation date | modification date | tags | |
|---|---|---|---|
| 2024-08-14 | Wednesday 14th August 2024 08:48:52 |
|
Yesterday | Tomorrow
<< 2024-08-13 | 2024-08-15 >>
This Week's Weekly Note
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
- Introduction ✅ 2024-08-14
- Background
- PLC and ICS ✅ 2024-08-14
- 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
- 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
- Ask Dan about Qualifying Exam Support Group ✅ 2024-08-15
- Qualifying Exam Notes