David Tremaine

  • Citations Per Year
Learn More
A critical step towards certifying safety-critical systems is to check their conformance to hard realtime requirements. A promising way to achieve this is by building the systems from pre-verified components and verifying their correctness in a compositional manner. We previously reported a formal approach to verifying function blocks (FBs) using tabular(More)
The trip computers for the two reactor shutdown systems of the Ontario Power Generation (OPG) Darlington Nuclear Power Generating Station are being refurbished due to hardware obsolescence. For one of the systems, the general purpose computer originally used is being replaced by a programmable logic controller (PLC). The trip computer application software(More)
In order to minimize total execution time of parallel algorithms for coarse-grained parallel computers or networks of workstations, the costs of local computation and communication costs must be balanced. In some cases minimizing the total number of global communication operations may not be the best way to achieve this. There have been several recent(More)
  • 1