A language and a pattern system for temporal property specification: advanced metering infrastructure case study

摘要

Ensuring the satisfaction of security requirements is one of the most vital needs in developing different types of systems. Therefore, it is necessary to apply a method to accurately define security requirements and then, verify them in the design phase before starting system development. One of the key information security requirements is availability of system functionalities for authorized users. This type of requirement is especially important in real-time embedded systems (RTESs) because they are associated with hard temporal needs and deadlines, and if they are not satisfied the main functionality of the system will be interrupted. To make sure that the availability properties are correctly considered in the design of a system, a language is needed to specify different temporal constraints. This language should be applicable for system designers who do not have sufficient formal and mathematical knowledge. OCL is a high-level constraint specification language (based on UML modeling language) which is widely used by system designer teams, and therefore, it is appropriate for this purpose. However, OCL does not support specification of temporal properties. In this paper, using a hybrid logic-based and pattern-based approach, a language grammar based on OCL, named RTSL has been proposed. RTSL is able to specify different real-time temporal properties. To achieve this goal, we developed a comprehensive property specification pattern system which considers all qualitative, quantitative and probabilistic property patterns that is used as a guideline for property specification and language development.