JacquesCarette / Drasil

Generate all the things (focusing on research software)
https://jacquescarette.github.io/Drasil
BSD 2-Clause "Simplified" License
141 stars 26 forks source link

Safety-Related TMs should be refined by the IMs in GlassBR #3604

Open samm82 opened 1 year ago

samm82 commented 1 year ago

As mentioned on #3583, "the TMs aren't actually used anywhere. We don't have any consistency checks..., but if we did they would notice that the TMs aren't actually used for anything. The TMs are generic statements about safety. The corresponding IMs should refer to these TMs. The IMs take the generic safety TMs and refine them into specific safety requirements for GlassBR. The safety-related IMs should refer to their corresponding TMs." source

daijingz commented 8 months ago

Let me read the long introduction first.