SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Avionics Systems Requirements: A Comparison of RSML and SCR
 by Dr. Bruno Dutertre & Victoria Stavridou.

Abstract
This paper discusses and compares RSML and SCR, two approaches for the rigorous specification of control systems requirements. We give examples of RSML and SCR specifications for parts of a generic store management system. We discuss the merits and limitations of the two methods and examine how safety verification can be supported in both cases.
Files
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy