A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Synthesis of FBD-based PLC design from NuSCR formal specification
2005
Reliability Engineering & System Safety
NuSCR is a formal specification language to document requirements for real-time embedded software with nuclear engineering applications in mind. Domain experts actively participated in selecting how to best represent various aspects. It uses tabular notations to specify required computations and automata to document state-or time-dependent behavior. As programmable logic controllers (PLCs) are widely used to implement real-time embedded software, synthesis of PLC code from a formal
doi:10.1016/j.ress.2004.05.005
fatcat:pfbnrt2cd5fzneeuhjtmubum7i