TetaSARTS: a tool for modular timing analysis of safety critical Java systems.

Kasper Søe Luckow Thomas Bøgholm Bent Thomsen Kim Guldstrand Larsen

Published in: JTRES (2013)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
fault tolerant
nuclear power plant
distributed systems
agent architecture
support systems
adaptive systems
management system
software engineering
programming language
real time
learning systems
low cost
expert systems
multi agent
knowledge base
databases