| Computer Science Laboratory | |
| Contact | |
 | People at CSL |
| Projects at CSL |
| Research Programs |
| Division Home | |
 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
©
2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy