Ericjenn srpwg wg1

safety-related-profile/README.md

@@ -2,9 +2,7 @@
 
 # ONNX Safety-Related Profile Working Group (WG)
 
-This repository is where ONNX Safety-Related Profile WG will capture various artifacts and deliverables. 
-
-The purpose of this WG is to elaborate an ONNX profile dedicated to safety-related systems.
+The purpose of this WG is to elaborate an ONNX profile dedicated to "safety-related" systems.
 
 An ONNX model is the representation of an ML/AI model to be implemented. In other words, it is the specification for the implementation activity. 
 The model may be either interpreted by a tool or translated into some lower level equivalent representation (e.g., some source code) by a tool or a human.  In both cases, to be able to interpret the model according to the intent of its designer, its syntax and semantics must be clear and non-ambiguous. 
@@ -13,29 +11,38 @@ This is for instance the case in the aeronautical domain for which evidences sha
 We consider that the current ONNX standard does not fully satisfy these requirements and that there is a need (i) to clarify the industrial needs in that matter, (ii) to identify and address the weaknesses of the current standard in a systematic manner in order to produce an "safety-related ONNX profile" that would to fulfil these needs.
 We also consider that these needs are specific and that the proposed changes and clarifications of the syntax, semantics, and documentation shall not prevent the use of ONNX in domains where constraints are relaxed. For instance, introducing restrictions on the parameters values for operators of the safety-related profile must not affect the usage of the same operators out of the profile. 
 
-## Working Group Status
+# Contents
+
+The main elements of this repository are:
+- [Slides of the Kick-Off Meeting](./meetings/general/2024-09-25%20-%20KOM/2024-09-25%20-%20SONNX%20KOM.pdf)
+- [Minutes of the WG meetings](./meetings/minutes.md)
+- Deliverables (draft)
+  - [Industrial needs](./deliverables/needs/needs.md) (What are the needs of the industrial partners?)
+  - [Use cases](./deliverables/scope/scope.md) (What are the first models to be implemented using SONNX?)
+  - [Requirements](./deliverables/reqs/reqs.md) (How do the needs translate to constraints on the SONNX profile?)
+  - [Issues](./deliverables/issues/issues.md) (What are the first issues identified for the usage of ONNX in a safety-related system?)
+  - [Informal specification of (a few) operators](./documents/profile_opset/)\
+    Note that we are also working on the formal specification of those operators using the [Why3](https://www.why3.org/) formal language. Our objective is to support the formal verification (or generation) of a reference implementation of those operators.\
+    Minutes of the meeting about this activity can be found [here](./meetings/formal_methods/minutes.md). 
+
+Note that this is a **work in progress**. 
+
+
+# Working Group Status
 **ACTIVE**
 
-# Slack channel
-Please sign up at https://slack.lfai.foundation/ and join [onnx-safety-related-profile-wg](https://app.slack.com/client/TPUCV58TG/CPS6Y3N21) channel.
 
 # WG Lead(s)
 
 * Eric JENN (IRT Saint-Exupery) and Jean SOUYRIS (Airbus) (July 22, 2024 - Current)
 
-# Logistics
-
-* WG leads will drive the meeting.
-* Meeting annoucement will be posted in our Slack channel: https://lfaifoundation.slack.com/archives/C02AANGFBJB
-* Feedbacks and topic request are welcome by all.
-* Documents and artifacts: https://github.com/onnx/working-groups/tree/main/safety-related-profile
 
 # WG Meeting Info
 
-* Meeting (to be defined).
-* TEAMS Meeting link: (to be defined)
-* Meeting ID: (to be defined)
-
-# Meeting notes
+* Working group meetings take place every other Wednesday, 4 p.m. to 6 p.m. (Paris time)
+* To join, please subscribe to the SONNX mailing list (see below); we will come back to you.
+* The meeting notes can be found [here](./meetings/minutes.md). 
 
-The meeting notes can be found [here](https://github.com/onnx/working-groups/tree/main/safety-related-profile/meetings)
+# Mailing list
+* To subscribe to the mailing list, send an email to onnx-sonnx-workgroup+subscribe@lists.lfaidata.foundation
+