Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the IECON 2021, 2021
Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021
The AMPERE Project: : A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing, 2020