Goal-Oriented RE(Requirement Engineering) for Safety and Security CPS

Requirements Specification Qualities 

• Completeness: descriptions of all required services and constraints should be included.
• « Requirements ∧ Assumptions ∧ Domain properties => Objectives » 

• Consistency: there should be no conflicts or contradictions in the descriptions. 
• « Requirements ∧ Assumtions  ∧ Domain properties ≠ false » (satisfiable) 
• … 

Goal-Oriented RE for Safety and Security CPS 

Combining Safety and Security 


출처: Goal-Oriented Co-engineering of Security and Safety Requirements in Cyber-Physical Systems by Philippe Massonet