High-Assurance Distributed, Adaptive Software for Dynamic Systems.
Kurt RohloffJoseph P. LoyallPartha P. PalRichard E. SchantzPublished in: HASE (2007)
Keyphrases
- dynamic systems
- high assurance
- distributed systems
- fault tolerant
- software systems
- complex systems
- operating system
- consistency based diagnosis
- qualitative reasoning
- discrete event
- access control
- dynamical systems
- state variables
- software development
- peer to peer
- model based diagnosis
- qualitative models
- mobile agents
- linear time invariant
- open systems
- load balancing
- computer systems
- source code
- software engineering
- particle filter
- state estimation
- ordinary differential equations
- databases
- scheduling problem
- cooperative
- real world