Forgot your password?
typodupeerror

Comment: Related: NERC/MILS (Score 1) 227

by Holger Blasum (#34149532) Attached to: Evaluating Or Testing Utility SCADA Security?

On the regulatory side, for networks the NERC Reliability Standards for the Bulk Electric Systems of North America address similar concerns (including cyber security) in electrical grids. For highly integrated systems MILS kernels are an engineering solution e.g. to keep actuators and monitoring subsystems apart.

Comment: C not CO in Verisoft XT (Re:Similiar Projects) (Score 1) 517

by Holger Blasum (#29062875) Attached to: World's First Formally-Proven OS Kernel
Actually in Verisoft XT the successor of Verisoft now real C code is verified, including e.g. PikeOS with PowerPC assembly in a system developed to DO-178B airplane verification. In that project an important tool for C code verification is VCC developed by Microsoft Research, source included at that site.

In these matters the only certainty is that there is nothing certain. -- Pliny the Elder

Working...