Activity

  • ATMEH.NJIT posted a new topic "Can Verification Cause a Tragedy?"1 week, 2 days ago

    The Therac-25 radiation therapy machine (1985–1987) caused multiple fatal overdoses due to software design flaws and inadequate verification. Engineers reused old code and skipped redundancy testing — clear failures of design controls we take for granted today. This case shaped…   Read more»