Essays about: "Building Code"

Showing result 16 - 20 of 188 essays containing the words Building Code.

1. 16. Automation of Non-code Documentation in a DevOps Environment

   University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Author : David Söderberg; [2022]
   Keywords : software; documentation; automation; non-code; devops;

   Abstract : In today's industry the DevOps work-style is adopted in more and more companies. Following the work-style often leads to companies being more efficient at delivering new feature and high quality software at higher speeds.However, one thing that the DevOps work-style fail to address is the process of writing good and reliable non-code documentation. READ MORE

3. 17. Barriers and Enablers to Financing Decentralized Solar Energy Systems in Southeast Asia

   University essay from Blekinge Tekniska Högskola/Institutionen för strategisk hållbar utveckling

   Author : Lukasz Abraszek; Lorenzo Gubbini; Alexander Henn; Jian Wang; [2022]
   Keywords : Decentralized Renewable Energy Systems; Solar Energy; Financing; Barriers; Enablers; Southeast Asia;

   Abstract : A global transition to renewable energy is required to address the sustainability challenge and mitigate the socio-ecological consequences of climate change. This thesis explores what factors contribute to slowing down the transition to renewable energy in Southeast Asia. READ MORE

4. 18. Consequences of using Quantitative Risk Assessment as a verification tool

   University essay from Lunds universitet/Avdelningen för Brandteknik

   Author : Joey Öström; [2022]
   Keywords : Quantitative Risk Assessment; QRA; performance-based design; verification tool; performance solution; performance requirements; fire risk assessment; residential building; Technology and Engineering;

   Abstract : What are the consequences of using Quantitative risk assessment (QRA) as a verification tool? Performance-based building codes differ from prescriptive-based codes in that they define specific objectives to be met, enabling the building designer to choose which solution to use so long it meets the objectives. This master’s thesis explores the consequences of using QRA as a verification tool in comparison to existing verification methods currently in use in Australia. READ MORE

5. 19. RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution

   University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Author : Mark Håkansson; [2022]
   Keywords : RTIC; symbolic execution; embedded systems; software verification; software analysis; schedulability;

   Abstract : In this thesis, the proof-of-concept tool RAUK for automatically analyzing RTIC applications for schedulability using symbolic execution is presented. The RTIC framework provides a declarative executable model for building embedded applications, which behavior is based on established formal methods and policies. READ MORE

6. 20. Fuzzy States : State Discovery with AFL

   University essay from Malmö universitet/Fakulteten för teknik och samhälle (TS)

   Author : Jim Andersson; Fredrik Jeppsson; [2022]
   Keywords : American fuzzy lop; afl; fuzzing; finite state machine; fuzz test; ijon;

   Abstract : Fuzzing is a test method used to automatically generate test case inputs and to executea system under test (SUT) with those inputs. The method is traditionally used to discovercrash-inducing bugs in software. Fuzzing can generate thousands of inputs per secondand many implementations use smart techniques to reach deeply into the code. READ MORE