A discrete-time UML semantics for concurrency and communication in safety-critical applications.
Werner DammBernhard JoskoAmir PnueliAnjelika VotintsevaPublished in: Sci. Comput. Program. (2005)
Keyphrases
- safety critical
- formal methods
- nuclear power plant
- fault tolerant
- embedded systems
- uml class diagrams
- specification language
- safety analysis
- software systems
- formal specification
- software engineering
- support systems
- agent architecture
- model checking
- regulatory requirements
- artificial intelligence
- modeling language
- software development
- database systems
- real time
- decision makers
- object oriented
- adaptive systems
- cooperative
- decision making