Re: [SystemSafety] Research topics

From: GRAZEBROOK, Alvery N < >
Date: Fri, 26 Jul 2013 11:06:45 +0200

A bit late to the conversation ...

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

  1. quite a lot of work has been done on software correctness, and many people continue it
  2. 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?



From: systemsafety-bounces_at_xxxxxx Sent: 15 July 2013 2:54 PM
To: systemsafety_at_xxxxxx Subject: Re: [SystemSafety] Research topics

Contribution from Andy Loebl...

From: Loebl, Andy [mailto:loeblas_at_xxxxxx 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

Sent: Sunday, July 14, 2013 6:13 AM
To: systemsafety_at_xxxxxx 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.

The System Safety Mailing List
systemsafety_at_xxxxxx Received on Fri Jul 26 2013 - 11:07:01 CEST

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:05 CEST