home.social

#safetycriticalsoftware — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #safetycriticalsoftware, aggregated by home.social.

  1. Hafstorsk Tutiluren Rufsgössen @[email protected] ·

    Anyone out there ever done (semi-) formal verification on a piece of C code? What's your recommendations on tools, process, etc?

    It's "strongly recommended" by ISO 26262 from ASIL-C and upwards, but I have never seen it live.

    #formalVerification #embeddedSoftware #SafetyCriticalSoftware #iso26262

    #iso26262 #safetycriticalsoftware #embeddedsoftware #formalverification
  2. Hafstorsk Tutiluren Rufsgössen @[email protected] ·

    Anyone out there ever done (semi-) formal verification on a piece of C code? What's your recommendations on tools, process, etc?

    It's "strongly recommended" by ISO 26262 from ASIL-C and upwards, but I have never seen it live.

    #formalVerification #embeddedSoftware #SafetyCriticalSoftware #iso26262

    #iso26262 #safetycriticalsoftware #embeddedsoftware #formalverification
  3. Hafstorsk Tutiluren Rufsgössen @[email protected] ·

    Anyone out there ever done (semi-) formal verification on a piece of C code? What's your recommendations on tools, process, etc?

    It's "strongly recommended" by ISO 26262 from ASIL-C and upwards, but I have never seen it live.

    #formalVerification #embeddedSoftware #SafetyCriticalSoftware #iso26262

    #formalverification #embeddedsoftware #safetycriticalsoftware #iso26262