Towards an Integrated Model for Safety and Security Requirements of Cyber-Physical Systems
Title | Towards an Integrated Model for Safety and Security Requirements of Cyber-Physical Systems |
Publication Type | Conference Paper |
Year of Publication | 2017 |
Authors | Brunner, M., Huber, M., Sauerwein, C., Breu, R. |
Conference Name | 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) |
Keywords | certification, compliance assurance, composability, Context modeling, Cyber-physical systems, Documentation, formal verification, integrated computational-physical capabilities, pubcrawl, requirements engineering, Safety, safety assurance, Safety management, safety requirements, safety-critical software, safety-critical systems, Scalability, security, Security Assurance, security management, security of data, security requirements, security-critical systems, software assurance, Standards, Unified modeling language |
Abstract | Increasing interest in cyber-physical systems with integrated computational and physical capabilities that can interact with humans can be identified in research and practice. Since these systems can be classified as safety- and security-critical systems the need for safety and security assurance and certification will grow. Moreover, these systems are typically characterized by fragmentation, interconnectedness, heterogeneity, short release cycles, cross organizational nature and high interference between safety and security requirements. These properties combined with the assurance of compliance to multiple standards, carrying out certification and re-certification, and the lack of an approach to model, document and integrate safety and security requirements represent a major challenge. In order to address this gap we developed a domain agnostic approach to model security and safety requirements in an integrated view to support certification processes during design and run-time phases of cyber-physical systems. |
URL | http://ieeexplore.ieee.org/document/8004340/ |
DOI | 10.1109/QRS-C.2017.63 |
Citation Key | brunner_towards_2017 |
- safety requirements
- Unified modeling language
- standards
- software assurance
- security-critical systems
- security requirements
- security of data
- security management
- Security Assurance
- security
- Scalability
- Safety-Critical Systems
- safety-critical software
- certification
- Safety management
- safety assurance
- Safety
- requirements engineering
- pubcrawl
- integrated computational-physical capabilities
- formal verification
- documentation
- cyber-physical systems
- Context modeling
- composability
- compliance assurance