[SystemSafety] CALL FOR PRESENTATIONS - 6th Scandinavian Conference System and Software Safety

Fri Sep 15 10:48:44 CEST 2017

Hello Bernard,

Hope you can include this in your newsletter.
You can also mention that you will give a key note if you like.
If you would like to organize a workshop day two, please feel free to
put in a proposal for that. I think there are many interesting themes
that you take up here in your mail list, and I'm impressed by your depth
and breadth of knowledge :-)
Looking forward to meet you in Stockholm.

Thanks
even

CALL FOR PRESENTATIONS 
6th Scandinavian Conference System and Software Safety
Stockholm, May 21-22, 2018

We would like to invite you to submit presentations for the 6th Scandinavian Conference on System and Software Safety. 
The conference is as usual organized by Addalot, KTH and ICES and has become the central meeting place for Scandinavian 
safety experts from different industries. It is an opportunity to share experiences and make new contacts. 
There will be an overview day followed by a day of parallel sessions with in-depth presentations and discussions about 
different challenges, techniques, standards and methods.  
We aim for a good mix of participants and presentations from different industries and researchers. 

We want to invite you to share your expertise and experiences.
Please submit your presentation proposals at call for presentations as soon as possible, 
but at the latest October 25, 2017, and please reserve May 21-22 2018 in your calendar.

For more information see the conference website.
http://safety.addalot.se/2018 

Best Regards
Even-André Karlsson
Addalot Consulting AB
Mobile: +46 706 800 521
www.addalot.se

-----Original Message-----
From: systemsafety [mailto:systemsafety-bounces at lists.techfak.uni-bielefeld.de] On Behalf Of systemsafety-request at lists.techfak.uni-bielefeld.de
Sent: den 14 september 2017 21:03
To: systemsafety at lists.techfak.uni-bielefeld.de
Subject: systemsafety Digest, Vol 62, Issue 6

Send systemsafety mailing list submissions to
	systemsafety at lists.techfak.uni-bielefeld.de

To subscribe or unsubscribe via the World Wide Web, visit
	https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety
or, via email, send a message with subject or body 'help' to
	systemsafety-request at lists.techfak.uni-bielefeld.de

You can reach the person managing the list at
	systemsafety-owner at lists.techfak.uni-bielefeld.de

When replying, please edit your Subject line so it is more specific than "Re: Contents of systemsafety digest..."

Today's Topics:

   1. Re: List of standards related to Cyber-security /
      Safety-Security mix? (????)
   2. Re: List of standards related to Cyber-security /
      Safety-Security mix? (Peter Bernard Ladkin)
   3. Re: List of standards related to Cyber-security /
      Safety-Security mix? (David MENTR?)
   4. Special Issue on Verification and Validation of
      Cyber-Physical Systems (Jose Luis de la Vara)

----------------------------------------------------------------------

Message: 1
Date: Thu, 14 Sep 2017 12:06:43 +0000
From: ???? <kenji.taguchi at aist.go.jp>
To: Peter Bernard Ladkin <ladkin at causalis.com>,
	"systemsafety at lists.techfak.uni-bielefeld.de"
	<systemsafety at lists.techfak.uni-bielefeld.de>
Subject: Re: [SystemSafety] List of standards related to
	Cyber-security / Safety-Security mix?
Message-ID:
	<OS2PR01MB1180AA97EFF5722CC5044D78CF6F0 at OS2PR01MB1180.jpnprd01.prod.outlook.com>

Content-Type: text/plain; charset="utf-8"

Hi, everyone,

I'd like to draw your attention to the following two standardization activities on safety and security at IEC:

TC65/WG 20: Industrial-process measurement, control and automation ? Framework to bridge the requirements for safety and security

This WG aims to bridge IEC 61508 and IEC 62443.

Another one is this.

TC44/WG15: SECURITY ASPECTS RELATED TO FUNCTIONAL SAFETY OF SAFETY-RELATED CONTROL SYSTEMS

Hope this is of some help.

Kenji

------------------------------------
Kenji Taguchi Ph.D (Computer Science)

Invited Senior Researcher

Co-chair of OMG SysA PTF

Software Analytics Research Group
Information Technology Research Institute National Institute of Advanced Industrial Science and Technology (AIST)

1-8-31 Midorigaoka Ikeda, Osak 563-8577 Japan
Tel: +81-6-6494-8051 Fax: +81-72-751-9949
URL: http://staff.aist.go.jp/kenji.taguchi/index.html

________________________________
???: systemsafety <systemsafety-bounces at lists.techfak.uni-bielefeld.de> ? Peter Bernard Ladkin <ladkin at causalis.com> ??????
????: 2017?9?14? 18:12:21
??: systemsafety at lists.techfak.uni-bielefeld.de
??: Re: [SystemSafety] List of standards related to Cyber-security / Safety-Security mix?

On 2017-09-14 09:28 , David MENTR? wrote:
> Does anybody maintain a list of standards or standardization work on 
> Safety-Security mix and Cyber-security with impact on Safety?
At present, in the ICS area, I am slowly comparing

Draft IEC 63069 (I don't consider it a good document. The draft is confidential to participants in the IEC standardisation process, including national-committee commentators) German VDE-AR-E 2802-10-1 (in German; I made an English translation which is semi-official)
ISA-TR84.00.09-2017
UK HSE Operational Guidance document 86
IEC 62443 series (pure Cybersec for ICS) US NIST SP 800-82r2

A superficial comparison highlights an obvious need for harmonisation, which is what IEC 63069 should nominally do. But at present it looks very much as if this document will end up as a no-op.
My attempts to comment through the usual channels have been deliberately rendered fruitless, so there are obviously some political issues lurking in the background.

PBL

Prof. Peter Bernard Ladkin, Bielefeld, Germany MoreInCommon Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs-bi.de<http://www.rvs-bi.de>

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

------------------------------

Message: 2
Date: Thu, 14 Sep 2017 14:13:35 +0200
From: Peter Bernard Ladkin <ladkin at rvs.uni-bielefeld.de>
To: systemsafety at lists.techfak.uni-bielefeld.de
Subject: Re: [SystemSafety] List of standards related to
	Cyber-security / Safety-Security mix?
Message-ID:
	<96c93307-ef12-8c98-38b6-d27631227358 at rvs.uni-bielefeld.de>
Content-Type: text/plain; charset="utf-8"

On 2017-09-14 14:06 , ???? wrote:
> I'd like to draw your attention to the following?two?standardization 
> activities on safety and security?at IEC:
> 
> ?
> 
> TC65/WG 20:?Industrial-process measurement, control and automation?? 
> Framework to bridge the requirements for safety and security
> 
> This WG aims to bridge IEC 61508 and IEC 62443.

This is the activity resulting in IEC 63069 on which I commented (Bertrand has also commented previously. As it stands, and as I said, it won't achieve this aim if it continues as it has so far.

> Another one is this.
> 
> TC44/WG15:?SECURITY ASPECTS RELATED TO FUNCTIONAL SAFETY OF 
> SAFETY-RELATED CONTROL SYSTEMS
This is a new work item, convened by Patrick Gehlen of Germany, concerning safety+security of machinery (TC 44 is Safety of Machinery - electrotechnical aspects). We considered a draft proposal for this work item in my committee, in which Patrick is also a member, in Summer of 2016 and commented; I understand the final document was modified according to our commentary. Again, the work being performed is confidential to committee members and members of the related national committees.

PBL

Prof. Peter Bernard Ladkin, Bielefeld, Germany MoreInCommon Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs-bi.de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 455 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20170914/cb29f9d5/attachment-0001.sig>

------------------------------

Message: 3
Date: Thu, 14 Sep 2017 17:32:00 +0200
From: David MENTR? <dmentre at linux-france.org>
To: systemsafety at lists.techfak.uni-bielefeld.de
Subject: Re: [SystemSafety] List of standards related to
	Cyber-security / Safety-Security mix?
Message-ID: <9c73df6f-70f5-7f49-31f8-4e4a74608b32 at linux-france.org>
Content-Type: text/plain; charset=utf-8; format=flowed

Hello,

Thanks to all that have replied, I think I now have more than enough.

Thanks again!

Sincerely yours,
D. Mentr?

------------------------------

Message: 4
Date: Thu, 14 Sep 2017 20:59:13 +0200
From: "Jose Luis de la Vara" <jvara at inf.uc3m.es>
To: "Jose Luis de la Vara" <jvara at inf.uc3m.es>
Subject: [SystemSafety] Special Issue on Verification and Validation
	of Cyber-Physical Systems
Message-ID: <010b01d32d8b$8f110e00$ad332a00$@inf.uc3m.es>
Content-Type: text/plain; charset="iso-8859-1"

(Apologies for multiple postings)

IET Cyber-Physical Systems: Theory & Applications

Special Issue on Verification and Validation of Cyber-Physical Systems

SCOPE

Applications of Cyber-Physical Systems (CPS) are rising in our day-to-day lives, as well as in both critical and non-critical industries.

Irrespective of their application domains and associated criticality levels, it is crucial to make sure that CPS are behaving safely and reliably in every conceivable situation. Verification and Validation (V&V) activities offer the necessary means to establish the confidence that CPS will operate in a predictable, safe and reliable manner. Special characteristics of CPS such as complexity, heterogeneity, close interaction with their physical environment, use of information networks for communication, and high demands on extra-functional properties present new challenges for V&V of CPS. This special issue solicits latest research results on the V&V of Cyber-Physical Systems. The topics of interest include, but are not limited to:

- V&V of requirements, architectures, and designs

- Model checking of CPS

- Formal verification of CPS

- Semi-automated testing of CPS

- Testing under Uncertainty

- Extra-Functional Testing including, but not limited to Performance, Security or Safety Testing

- Model-Based Testing

- Search-Based Testing

- Test Optimization including single and multi-objective test optimization

- Assurance and Certification of CPS

- Empirical Evaluations

- Industrial Applications

- V&V of CPS in diverse domains including, but not limited to automotive, smart grids, smart factories, healthcare, oil & gas, robotics, and maritime

SUBMISSION INSTRUCTIONS

We seek manuscripts reporting original research that are not submitted elsewhere for publication. Manuscripts must adhere to the IET Journal submission guidelines available at http://digital-library.theiet.org/journals/author-guide and must be submitted through the online manuscript portal system available at http://digital-library.theiet.org/content/journals/iet-cps. Each manuscript will be evaluated based on the IET standard review process. Details of the special issue can also be found here:
http://digital-library.theiet.org/files/IET_CFP_CPS_Verification.pdf

IMPORTANT DATES

Deadline for paper submissions: February 1, 2018

1st Notification: April 15, 2018

Revised Submission Due: June 15, 2018

Final Notification: September 30, 2018

Tentative Publication Date: December 1, 2018

Lead Guest Editor

Dr. Shaukat Ali ? Simula Research Laboratory ?  shaukat at simula.no

Guest Editors

Dr. Tao Yue ? Simula Research Laboratory, Norway ? tao at simula.no

Dr. Jose Luis de la Vara ? Carlos III University of Madrid, Spain ?
jvara at inf.uc3m.es

Prof. Dr. Manuel Wimmer ? TU Wien, Austria ? wimmer at big.tuwien.ac.at

Dr. Javier C?mara ? Carnegie Mellon University, USA ? jcmoreno at cs.cmu.edu

Prof. Dr. Michael Felderer ? University of Innsbruck, Austria ?
michael.felderer at uibk.ac.at

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20170914/0eadaa9c/attachment.html>

------------------------------

Subject: Digest Footer

_______________________________________________
systemsafety mailing list
systemsafety at lists.techfak.uni-bielefeld.de
https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety

------------------------------

End of systemsafety Digest, Vol 62, Issue 6
*******************************************