Trace Queries for Safety Requirements in High Assurance Systems.
Jane Cleland-HuangMats Per Erik HeimdahlJane Huffman HayesRobyn R. LutzPatrick MaederPublished in: REFSQ (2012)
Keyphrases
- high assurance
- retrieval systems
- distributed systems
- query processing
- software systems
- access control
- fault tolerant
- database
- web search engines
- expert systems
- operating system
- high level
- data management systems
- artificial intelligence
- information retrieval systems
- intelligent systems
- response time
- management system
- database queries
- safety critical