[SystemSafety] Machine-checkable Assurance Case RFI

[田口研治]

Dear all,

Machine-checkable Assurance Case Language (MACL) RFI was issued at OMG this
September:

http://www.omg.org/cgi-bin/doc?sysa/2012-9-4

The response due for this RFI is Feb 17, 2013.

The review of RFI responses is scheduled on March 18, 2013.

If you have any questions on this RFI, please send them to me.

Best regards,

Kenji

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

Invited Senior Researcher

Program co-chair of ICFEM 2012

Co-chair of OMG SysA PTF

System Life-Cycle Research Group
Research Institute for Secure Systems (RISEC)
National Institute of Advanced Industrial Science and Technology (AIST)

Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan
Tel:  +81-6-6494-8051       Fax: +81-6-6494-8073
URL: http://staff.aist.go.jp/kenji.taguchi/index.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20121102/fe463cc4/attachment.htm>