Rune Winther

Learn More
Concerned with serious problems regarding security as a safety issue, a HAZOP specifically suited for identifying security threats has been developed. Unfortunately, the emphasis placed on security issues when developing safety critical systems is to often inadequate, possibly due to the lack of " safety-compliant " security methods. Having had the(More)
I Abstract Critical programmable systems must be verified for safety in operation, this implying a need for a simple and low-complexity source code as possible. The need to develop simple and verifiable source code considerably reduces the possibility of using sophisticated and adaptable algorithms, e.g. artificial neural networks (ANNs) in a critical(More)
Structure Preserving Algorithms for Differential Equations are discrete computational methods coined at exactly preserving important geometric or analytic properties of the continuous physical system. Over the last decade the importance of exact structure preservation has been understood in a variety of application areas. There are a number of computational(More)
Dangerous diseases have many kinds of effects on people. The risk of being taken ill or dying is obviously the primary concern for most patients. Challenges of adhering to longitudinal cures, which may require a disciplined regime of living or acceptance of physical discomfort, are lesser-known secondary aspects. If they lead to non-adherence to the cures,(More)
  • 1