4 ms·
As the article says: > Beyond the automotive, Ferrocene can also be used in electronic programmable systems in the industrial sector. Here the focus is on deve
by twic 3y ago
As the article says:
> Beyond the automotive, Ferrocene can also be used in electronic programmable systems in the industrial sector. Here the focus is on developing products or applications that carry out safety functions. Like the automotive certification, we’ve also gone for the highest level of risk reduction and qualified it at SIL4.
Apparently [1] the SIL standard is used in at least the process control, nuclear, mechanical, and railway industries. Not sure about medical or aerospace.
[1] https://en.wikipedia.org/wiki/Safety_integrity_level#Standards https://en.wikipedia.org/wiki/Safety_integrity_level#Standar...
- Xylakant 3y agoAerospace would be DO-178, which is on the roadmap, but will take some effort (a year or two, give or take). Medical is closer: While there are dedicated certifications for medical, they are relatively close to the IEC 61508 industrial standards and so IEC certifications are often used as a stand-in for the equivalent medical certification.
- kejaed 3y agoKeeping an eye on this in the aero, uh, space. Very interesting progress, keep up the good work.
- twoWhlsGud 3y agoIsn't AdaCore handling the DO-178 side? Or does Ferrocene intend to have an offering here, also?
- Xylakant 3y agoThe joint venture with AdaCore is no longer, so yes, we're doing this seperately.
- galangalalgol 3y agoPlease beat them to market... Their notion of advertising "curated language features" as a positive instead of "weird frankencompiler that doesn't match any version, work with any 3rd party crates, and has complete vendor-lock" will sell well to people that already use them, unless they aren't an option.
- sheepshear 3y agoI didn't think they made any language extensions for rust? Thought it was just for Ada.
- thesuperbigfrog 3y agoAda does not have any formalized FFI with Rust at this time; just C, COBOL, and Fortran: http://ada-auth.org/standards/22rm/html/RM-B.html http://ada-auth.org/standards/22rm/html/RM-B.html AdaCore has a Rust toolchain: https://www.adacore.com/gnatpro-rust https://www.adacore.com/gnatpro-rust
- sheepshear 3y agoI know, thank you, but I'm asking about the "curated" language features gp is criticizing. AdaCore does make Ada language extensions (who else would push the language forward these days?), but I didn't think they had any for rust, which is why I'm asking.
- galangalalgol 3y ago> GNAT Pro for Rust offers yearly updates that incorporate selected, recent enhancements from the upstream development. We make sure the result is a stable, tested Rust toolchain that’s ready to be used and supported for years to come. https://www.adacore.com/gnatpro-rust https://www.adacore.com/gnatpro-rust Edit: not so worried about the extensions, more worried they will keep re-releasing 1.68 forever with features added only as people clamor for them. And security fixes wedged into old code. That is in effect forking the language.
- ska 3y agoThe medical certifications are mostly about design & risk control, there isn't really (currently) the same set of toolchain certs you see in e.g. aerospace. Some places do use them as a shorthand for "our documentation & testing here is minimal, because we use X certified tools and/or standards" but it isn't required for CFR21 or 13485.
- bigger_cheese 3y agoSIL is used in my industry (Industrial manufacturing and Refining). It covers more than software though. Mostly system integration - for example things like interlocks and whether a valve will fail open/closed etc. In one instance we wanted to use a FLIR camera to measure temperature as part of a control loop - had to provide guarantees about the cameras reliability (i.e. mean time between failure), have redundancy and fallbacks in place etc. In order to satisfy the SIL process.