Sean D. Sandys

Learn More
Increased automation in complex systems has led to changes in the human controller's role and to new types of technology-induced human error. Attempts to mitigate these errors have primarily involved giving more authority to the automation, enhancing operator training, or changing the interface. While these responses may be reasonable under many(More)
This paper describes an integrated approach to safety analysis of software requirements and demonstrates the feasibility and utility of applying the individual techniques and the integrated approach on the requirements specification of a guidance system for a high-speed civil transport being developed at NASA Ames. Each analysis found different types of(More)
For the past 17 years, Professor Leveson and her graduate students have been developing a theoretical foundation for safety in complex systems and building a methodology upon that foundation. The methodology (as described in her book Safeware 2]) includes special management structures and procedures, system hazard analyses, software hazard analysis,(More)
Distributed communications are an essential part of many current and proposed real-time systems. However, no existing requirements speciication language provides explicit and general support for distributed real-time communications (DRTC), most likely because of its diversity and complexity. Through examples, we rst justify the need for handling DRTC at the(More)
  • 1