Assurance Case Driven Design for Internet of Things

Authors: ,

Abstract: Assurance (Security and Safety) Case is a proven-in-use methodology to demonstrate a system compliance with security and safety critical requirements. An advanced approach to improve Assurance Case is proposed in a view of Assurance Case Driven Design (AC DD). A practical using of AC DD lays in cost-effectiveness improvement of certification and licensing processes. We analyze basic mathematical models and methods to improve a known formal notation at the top level. As a result we develop Claim-Argument-Evidence-Criteria (CAEC) notation as well as Development-Verification&Validation-Assurance Case (DVA) notation for AC DD implementation. This approach is implemented for the Internet of Things (IoT). Low-energy informed assessment has to be added to the IoT Assurance Case. Assurance Case concept for the IoT safety critical applications is developed and demonstrated.

WSEAS Transactions on Computer Research, ISSN / E-ISSN: 1991-8755 / 2415-1521, Volume 4, 2016, Art. #19

PDF
XML
Cite
×
Citation Tools
WSEAS AMA
Vladimir Sklyar, Vyacheslav Kharchenko, "Assurance Case Driven Design for Internet of Things," WSEAS Transactions on Computer Research, vol. 4, pp. 173-182, 2016, DOI:
Vladimir Sklyar, Vyacheslav Kharchenko. Assurance Case Driven Design for Internet of Things. WSEAS Transactions on Computer Research. 2016;4:173-182.
Copy to Clipboard
Citation copied to Clipboard

Certification

---