Trustworthy and High Assurance Cyber-Physical Systems - A Research Agenda.
Markus TauberChristian WagnerAndreas MauthePublished in: ERCIM News (2015)
Keyphrases
- high assurance
- cyber physical systems
- cyber physical
- software systems
- operating system
- fault tolerant
- physical world
- access control
- cyber security
- distributed systems
- embedded systems
- critical infrastructure
- social networks
- computer systems
- intrusion detection
- real time
- artificial intelligence
- machine learning
- source code
- power system
- information systems
- data mining