Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec.

Ludovic Apvrille Yves Roudier

Published in: MODELSWARD (Revised Selected Papers) (2015)

Keyphrases

cyber physical systems
embedded systems
cyber physical
physical world
cyber security
formal methods
high speed
social networks
low cost
lightweight
real time
information systems
multi agent systems
critical infrastructure