CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems.

Jonas Westman Mattias Nyberg Oscar Thydén

Published in: CyPhy (2016)

Keyphrases

safety critical
formal methods
cyber physical systems
embedded systems
cyber physical
fault tolerant
agent architecture
knowledge base
decision making
user interface
case based reasoning
low cost
physical world
support systems