An object based algebra for specifying a fault tolerant software architecture.
Nicola DragoniMauro GaspariPublished in: J. Log. Algebraic Methods Program. (2005)
Keyphrases
- software architecture
- fault tolerant
- distributed systems
- fault tolerance
- description language
- architectural design
- embedded software
- data model
- query language
- software systems
- reference model
- functional requirements
- message passing
- state machine
- load balancing
- software engineering
- software evolution
- safety critical
- software development
- low cost
- response time
- interconnection networks
- digital libraries
- commercial off the shelf