Date Added: Jul 2009
Modern cyber-physical systems are found in important domains such as automobiles, medical devices, building automation, avionics, etc. Hence, they are increasingly prone to security violations. Often such vulnerabilities occur as a result of contradictory requirements between the safety/real-time properties and the security needs of the system. In this paper the authors propose a formal framework that assists designers in detecting such conflicts early, thus increasing both, the safety and the security of the overall system.