ARMET: Behavior-based secure and resilient industrial control systems
MT Khan, D Serpanos, H Shrobe - Proceedings of the IEEE, 2017 - ieeexplore.ieee.org
In this paper, we introduce a design methodology to develop reliable and secure industrial
control systems (ICSs) based on the behavior of their computational resources (ie …
control systems (ICSs) based on the behavior of their computational resources (ie …
Computer-aided design for safe autonomous vehicles
This paper details the design of an autonomous vehicle CAD toolchain, which captures
formal descriptions of driving scenarios in order to develop a safety case for an autonomous …
formal descriptions of driving scenarios in order to develop a safety case for an autonomous …
Riotnet: Reactive iot control network
V Eswara, G Srivastava… - 2017 IEEE International …, 2017 - ieeexplore.ieee.org
We introduce RIOTNet, A centrally managed, scalable, multitenant, reactive IOT platform that
can trigger responses in real-time to incoming stimuli. RIOTNet's composable, re-usable …
can trigger responses in real-time to incoming stimuli. RIOTNet's composable, re-usable …