[SystemSafety] Research topics

[GRAZEBROOK, Alvery N]

A bit late to the conversation ...

Extending Andy's suggestion on the Electricity Grid, it seems to me that

a)     quite a lot of work has been done on software correctness, and many people continue it

b)    as has been observed before, it's rarely the software that is dangerous - it's the things that the software controls.
Therefore I would be interested to see more work on the modelling of the physical system, and how to derive usable properties from it that the software correctness people can work with to prove. Ideally, this should link the intellectual effort that people usually already spend on the physical system producing physical simulation models to the formal properties to prove on the software. By physical simulation models, I mean models in tools such as Modelica, Simulink, ADAMS, LMS that represent the physical system your software is trying to control.

An interesting piece of the larger puzzle?

Cheers,
            Alvery

* these opinions are my own, not necessarily those of my employer. *

From: systemsafety-bounces at techfak.uni-bielefeld.de [mailto:systemsafety-bounces at techfak.uni-bielefeld.de] On Behalf Of René Senden
Sent: 15 July 2013 2:54 PM
To: systemsafety at techfak.uni-bielefeld.de
Subject: Re: [SystemSafety] Research topics

Contribution from Andy Loebl...

From: Loebl, Andy [mailto:loeblas at ornl.gov]
Sent: maandag 15 juli 2013 14:40
To: René Senden
Subject: RE: [SystemSafety] Research topics

1-Waste, Fraud and Abuse in U.S. Public Healthcare claims data.
2-Physics based Electricity Grid modeling in the U.S. for understanding demand-side system faults causing outages.
3-extending STAMP to understand U.S. security systems vulnerabilities to terrorism

From: systemsafety-bounces at techfak.uni-bielefeld.de<mailto:systemsafety-bounces at techfak.uni-bielefeld.de> [mailto:systemsafety-bounces at techfak.uni-bielefeld.de] On Behalf Of René Senden
Sent: Sunday, July 14, 2013 6:13 AM
To: systemsafety at techfak.uni-bielefeld.de<mailto:systemsafety at techfak.uni-bielefeld.de>
Subject: [SystemSafety] Research topics

Suppose you were to prioritize, say, 3 research topics. Which would you select?

The information in this e-mail is confidential. The contents may not be disclosed or used by anyone other than the addressee. Access to this e-mail by anyone else is unauthorised.
If you are not the intended recipient, please notify Airbus immediately and delete this e-mail.
Airbus cannot accept any responsibility for the accuracy or completeness of this e-mail as it has been sent over public networks. If you have any concerns over the content of this message or its Accuracy or Integrity, please contact Airbus immediately.
All outgoing e-mails from Airbus are checked using regularly updated virus scanning software but you should take whatever measures you deem to be appropriate to ensure that this message and any attachments are virus free.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20130726/9b70e6de/attachment-0001.html>