Login / Signup
Safety Critical Robot Programming and Testing for Operations in Industrial Co-Production.
Linn Gustavsson Christiernin
Svante Augustsson
Stefan Christiernin
Published in:
ISSRE Workshops (2014)
Keyphrases
</>
safety critical
robot programming
formal methods
fault tolerant
safety analysis
nuclear power plant
human robot interaction
agent architecture
embedded systems
support systems
regulatory requirements
information systems
software engineering
expert systems
real time
data model
fault model
cooperative