CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems

摘要

CPS Specifier is a specification tool for Cyber-Physical Systems. Founded on established theory and realized using general design and integration technologies and principles, e.g. Linked Data, CPS Specifier provides guidance- and feedback-driven support when authoring structured specifications in general, and for specifying and structuring requirements, in particular. The provided support is crucial in order to comply with functional safety standards such as IEC 61508 and ISO 26262 that require particularly stringent requirements engineering.