[SystemSafety] Putting Agile into a longer perspective

[Grazebrook, Alvery AN]

> D. Mentré: In an idealistic world, which formalism(s) would you use for "formalism set A" and "formalism set B"?
[Grazebrook, Alvery AN] 
I think this discussion is missing a point - the real-world interfaces to systems are not just across software boundaries. So for software as an implementation technique, you probably can select a single "formalism set B", maybe an extension from Lustre or Event B or SPARK or something more data-oriented if you are implementing a database-oriented system. 

"formalism set A" is much harder to pin down, because it needs to address a wide variety of topics, not just the data & logic. It may also need to represent geometry and loads, energy transfer, radio transmit/receive etc. I'm not aware of anything that even comes close. (And before anyone else mentions it, I don't think SysML comes close; neither in scope nor formalism)

Cheers,
	Alvery

** These opinions are my own, not necessarily those of my employer.
This email and its attachments may contain confidential and/or privileged information.  If you have received them in error you must not use, copy or disclose their content to any person.  Please notify the sender immediately and then delete this email from your system.  This e-mail has been scanned for viruses, but it is the responsibility of the recipient to conduct their own security measures. Airbus Operations Limited is not liable for any loss or damage arising from the receipt or use of this e-mail.

Airbus Operations Limited, a company registered in England and Wales, registration number, 3468788.  Registered office:  Pegasus House, Aerospace Avenue, Filton, Bristol, BS34 7PA, UK.