Learn More
A proposal is presented for the hybrid modeling and dynamic simulation of automated batch processing plants with dominant discrete-event behavior. The proposal encompasses current techniques for modeling continuous-time/discrete-event processes, synthesizing discrete-event controllers as well as the use of industrial standards for batch control. The result(More)
This work evaluates several software-based hardening techniques for LEON 3 microprocessor in order to test their effectiveness in a detailed way. Hardening techniques are usually evaluated only with respect to SEUs in very limited parts of the microprocessor circuit. In this work very detailed experiments are accomplished by utilizing a complex(More)
  • 1