[SystemSafety] Does "reliable" mean "safe" and or "secure" or neither?

Andy Ashworth andy at the-ashworths.org
Sun Apr 24 19:53:03 CEST 2016


While the external inputs may be the same, the internal state of the software will be different. While the inputs to the system are not changed the full set of software inputs are different.  From the user perspective it may appear to be doing different things for the same input values, however for a specific state of the software machine, which includes external inputs and internal state variables, the software will always do the same thing.

Andy

Sent from my iPhone

> On Apr 24, 2016, at 13:33, Gergely Buday <gbuday at gmail.com> wrote:
> 
> It  computes different values when e.g. the  timing of concurrent processes are different, but the input is the same.
> 
>> On Sunday, 24 April 2016, Michael J. Pont <M.Pont at safetty.net> wrote:
>> Gergely wrote:
>> 
>>  
>> 
>> “That's an  ideal sw that gives the same output on the same input, but that is not always the case.”
>> 
>>  
>> 
>> Can you share an example of this?
>> 
>>  
>> 
>> Michael.
>> 
>>  
>> 
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20160424/df637442/attachment-0001.html>
-------------- next part --------------
_______________________________________________
The System Safety Mailing List
systemsafety at TechFak.Uni-Bielefeld.DE


More information about the systemsafety mailing list