Reasoning About Safety-Critical Information Flow Between Pilot and Computer.
Seth AhrenbachPublished in: CoRR (2018)
Keyphrases
- information flow
- safety critical
- fault tolerant
- formal methods
- social networks
- safety analysis
- agent architecture
- embedded systems
- information flows
- regulatory requirements
- flow graph
- communication networks
- computer systems
- support systems
- supply chain
- information security
- database
- real time
- peer to peer
- adaptive systems
- knowledge discovery
- case study
- information systems