UC14_TC_2

* Pre-conditions: Replication of embedded systems (CardioWheel and CardioGW) and implement code base using formal framework MARS.; System is running, requesting identification tasks when ECG is detected and monitoring its related cognitive state. * Inputs: Simulated/real-time ECG. * Expected outcome: Model representations and stored features are cryptographically secured. Data received and produced at transmission endpoints is encrypted and so impossible to interpret by third parties.
UC14_TC_2
Safety
CardioWheel, CardioGW Firmware/Software
VALU3S Framework
In-the-lab environment
Analytical - Semi-Formal
Software
Unit testing
Thinking, Acting
Non-Functional - Security, Non-Functional - Privacy
SCP criteria
Contents

There are currently no items in this folder.