The FTT-CAN Protocol for Flexibility in Safety-Critical Systems.

Joaquim Ferreira Paulo Pedreiras Luís Almeida José Alberto Fonseca

Published in: IEEE Micro (2002)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
nuclear power plant
real time
distributed systems
embedded systems
agent architecture
support systems
decision making
user interface
metamodel
adaptive systems
regulatory requirements