Then, we model the extracted patterns as SysML activity diagrams and we develop a specification algorithm in order to automatically generate security requirements relevant to a system under test. In ...

System-Theoretic Process Analysis (STPA) is a technique, based on System-Theoretic Accident Model and Process (STAMP), to identify hazardous control actions, loss scenarios, and safety requirements.

Design and architecture documentation for SmartPay, covering Functional Requirements, Non-functional Requirements, use cases, activity flows, system diagrams, and deployment architecture.