TOWARDS REQUIREMENTS REPRESENTATIONUSING AN EXTENSIVE ECA FORMALISM INCYBER-PHYSICAL SYSTEMS
Hua Wang, Jian Yu · Journal of Research in Engineering and Applied Sciences · 2019
Requirement engineering has a critical role to play in the machinery for self-adaptation in Cyber-physical systems.Unfortunately, properties in the definition of requirements vanish as requirements are implemented and refined as a design artifact Synchronization the running systems and requirement models is implicit in current literatures as being short of introspection between different trade-offs implied in different architectural configurations.That is, keeping synchronization between requirements and software architecture is particularly significant in CPS systems.This tendency calls for revisiting the current requirement engineering by emphasizing on the understandability of the requirements to enhance the monitoring and measurement of requirements across the lifecycle.Current proposals suffer from the implementation of specific algorithmic solutions or applying in specific components and services.All in all then, the development of CPSs is being challenged with requirement-awareness across the whole lifecycle.To address the predicament, an ECARE formalism with the property value is proposed as a lightweight engineering tool for requirement elicitation and representation as a first step towards the requirement-aware development of CPSs.