Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditions.

Jonas Westman Mattias Nyberg

Published in: Requir. Eng. (2019)

Keyphrases

safety critical
tool support
formal methods
safety analysis
embedded systems
fault tolerant
nuclear power plant
support systems
knowledge based systems
agent architecture
management system
distributed systems
design principles
database
knowledge management
adaptive systems
expert systems
real time