Enforcing trust in embedded systems using models
Christophe Jouvray, Michel Sall, Antonio Kung · 2010
Embedded systems are intensely used in many domains such as automotive, aerospace, home control, and telecommunication systems. Generally, embedded systems are viewed as time and resource constrained systems.