2017년 3월 8일 수요일

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