Title :
The Need for a Confidence View of CPS Support Environments (Fast Abstract)
Author :
Asplund, Fredrik ; Torngren, Martin ; Hawkins, Richard ; McDermid, John A.
Author_Institution :
KTH R. Inst. of Technol., Stockholm, Sweden
Abstract :
Multi-View Modelling Integration Frameworks (MVMIFs) may help mitigate complexity associated with the development of CPS, but may also have implications on safety. Safety-related standards do not provide guidance to mitigate this problem. We therefore suggest that MVMIFs are extended with a confidence view to support the creation of an assurance case that covers issues related to risks in the support environment.
Keywords :
formal specification; ubiquitous computing; CPS support environment; MVMIF; confidence view; cyber-physical system; multiview modelling integration framework; safety-related standard; Automation; Complexity theory; Computational modeling; Reliability; Safety; Standards;
Conference_Titel :
High Assurance Systems Engineering (HASE), 2015 IEEE 16th International Symposium on
Conference_Location :
Daytona Beach Shores, FL
Print_ISBN :
978-1-4799-8110-6
DOI :
10.1109/HASE.2015.14
