A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems.
Binoy RavindranGérard Le LannJinggang WangPeng LiPublished in: ISORC (2003)
Keyphrases
- distributed systems
- systems engineering
- real time
- real time systems
- distributed environment
- software engineering
- fault tolerant
- systems development
- load balancing
- geographically distributed
- knowledge extraction
- industrial applications
- fault tolerance
- requirements engineering
- agent based systems
- distributed computing
- security policies
- mobile agents
- concurrent systems
- deadlock detection
- distributed database systems
- software architecture
- data replication
- replicated data