Rick Covington

Learn More
This paper describes three cases studies in the lightweight application of formal methods to requirements modelling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process, to validate the evolving(More)
During the recent years the study of new parallel architectures has intensified. The design of a new architecture entails the study of a variety of configuration parameters. During the design of an architecture it is expensive and non-flexible to build an actual prototype and thereof to evaluate the performance of a new architecture the most used method is(More)
  • 1