Abstract | ||
---|---|---|
Modern software systems are composed of software components supplied by a software supply chain, and it has become difficult to maintain the dependability of the software supply chain. To address this problem, we introduce assurance carrying code, a framework in which every software component in a software supply chain has its own assurance case. When integrating a software component into a supply chain, the stakeholders check (manually or automatically) the assurance case to determine whether or not the software component is dependable for the supply chain. We introduce a pattern language for Goal Structuring Notation (GSN) formalized by
<tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$\lambda$</tex>
-calculus, which is used in a theory of functional programming languages theory. |
Year | DOI | Venue |
---|---|---|
2021 | 10.1109/ISSREW53611.2021.00077 | 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) |
Keywords | DocType | ISBN |
assurance cases,proof carrying code,formal languages,$\lambda$ -calculus | Conference | 978-1-6654-2604-6 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yutaka Matsuno | 1 | 79 | 17.87 |
Yoriyuki Yamagata | 2 | 0 | 0.34 |
Hideaki Nishihara | 3 | 10 | 2.37 |
Yuichiro Hosokawa | 4 | 0 | 0.34 |