… The DesCert continuous certification workflow … , a certified build system and a secure
platform can guarantee the provenance and fidelity of the software that is executed. In Descert, we …

… In assurance cases, argumentation is designed for human execution and hence can …
certification of CPS—we propose the use of an argument-driven development where a certification …

… several tools and methodologies for Certification Evidence Generation and, … Certification
Evidence Generation workflow in our case study follows the Design for Certification (DesCert…

… requirements and to be certified and confirm safety integrity … features of FPICS SIL-certification
techniques are discussed. … of FIT for hardware (FPGA design) and software (VHDL code…

… desert to describe the project. This chapter explores the intellectual origins of Masdar City as
an urban-scale test bed whose design … bounded area in the desert, often conceptualized as …

… certification for a building: CALENER VYP and CALENER GT. CALENER VYP is designed
for certifying the … CALENER GT is designed for certifying medium and large tertiary buildings. …

… Certain nationally-developed certification systems are used globally without being … in the
Leadership in Energy and Environmental Design (LEED) certification system, which is a US-…

… The tool provides links to other DOORS® objects, but the plans dictate traceability to design
items … Similarly, SRI’s DesCert team created an extensive ontology extension Footnote 6 to …

… By incorporating passive solar design and unique desert architectural … designed a master
plan to ensure energy efficiency that they hope will score the complex LEED Gold certification. …

… desert environment of the Southwest is unknown. The objectives of this study were to determine
1) design … one of ten $25-dollar gift certificates to local businesses. Survey booklets were …