Sean D. Sandys

Learn 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 speciication of a guidance system for a high-speed civil transport being developed at NASA Ames. Each analysis found diierent types of(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