The aim of this thesis was to develop a methodology to systematically investigate the effect of different procurement options on the outcome of a construction project. This methodology combined the qualitative analysis based on experts' performance assessment of each procurement option with quantitative analyses of generic process models for each option, in order to perform a comprehensive analysis of different procurement alternatives. This methodology was further applied to the specific problem of this research which was to assess the performance of Commissioning Delivery Systems (CDS). The goal was to use the findings from the study to provide a comparison between CDS, and assist Construction Owners in identifying the appropriate commissioning delivery option for their project. The process of each CDS was modeled, and systematic differences between different options were analyzed. Five major internal performance aspects of the commissioning process were identified based on literature: PAi1: Communication; PAi2: Validation; PAi3: Collaboration; PAi4: Integration; and PAi5: Integrity. These performance aspects were used as a basis for a Delphi study to obtain commissioning experts assessment of each CDS. Fourteen experts, representing different disciplines in the construction industry, participated in three phases of the Delphi study. A statistical measure was used to validate the expert performance assessments by measuring their level of consensus. Experts did not show any agreement on two performance aspects of Communication and Integration. These aspects were further investigated through quantitative analyses of process models. The developed methodology proved to be a valuable technique in analyzing the effect of procurement options on the outcome of a construction project. Based on the findings of the study, Owner-led Commissioning presented a higher performance rating than Designer-led Commissioning in four out of five performance aspects. Hence, Owner-led Commissioning is identified as a better alternative for procuring commissioning services on construction projects. Designer-led Commissioning presented a higher Communication performance than Owner-led Commissioning. At the same time, the Communication performance of both delivery options was very poor, which further indicates communication difficulties in current commissioning practices. Therefore, this study suggests a more-thorough investigation of the Communication aspect of commissioning process as a follow-up investigation.

Quality assurance of dependable embedded systems is becoming increasingly difficult, as developers are required to build more complex systems on tighter budgets. As systems become more complex, system architects must make increasingly complex architecture design decisions. The process of making the architecture design decisions of an intended system is the very first, and the most significant, step of ensuring that the developed system will meet its requirements, including requirements on its ability to tolerate faults. Since the decisions play a key role in the design of a dependable embedded system, they have a comprehensive effect on the development process and the largest impact on the developed system. Any faulty architecture design decision will, consequently, propagate throughout the development process, and is likely to lead to a system not meeting the requirements, an unacceptable level of dependability and costly corrections. Architecture design decisions are in turn critical with respect to quality and dependability of a system, and the cost of the development process. It is therefore crucial to prevent faulty architecture design decisions and, as early as practicable, detect and remove faulty decisions that have not successfully been prevented. The use of Architecture Description Languages (ADLs) helps developers to cope with the increasing complexity by formal and standardized means of communication and understanding. Furthermore, the availability of a formal description enables automated and formal analysis of the architecture design. The contribution of this licentiate thesis is an architecture quality assurance framework for safety-critical, performance-critical and mission-critical embedded systems specified by the Architecture Analysis and Design Language (AADL). The framework is developed through the adaption of formal methods, in particular traditional model checking and model-based testing techniques, to AADL, by defining formal verification criteria for AADL, and a formal AADL-semantics. Model checking of AADL models provides evidence of the completeness, consistency and correctness of the model, and allows for automated avoidance of faulty architecture design decisions, costly corrections and threats to quality and dependability. In addition, the framework can automatically generate test suites from AADL models to test a developed system with respect to the architecture design decisions. A successful test suite execution provides evidence that the architecture design has been implemented correctly. Methods for selective regression verification are included in the framework to cost-efficiently re-verify a modified architecture design, such as after a correction of a faulty design decision. / Kvalitetssäkring av tillförlitliga inbyggda system är en ständigt växande utmaning då utvecklare av sådana system är tvungna att bygga allt mer komplexa system inom allt mer begränsade budgetar. Då komplexiteten av systemen ökar måste systemarkitekter göra allt mera komplicerade beslut om systemens arkitekturdesign. Processen att besluta arkitekturdesignen av ett tilltänkt system är det allra första, och det mest signifikanta, steget att försäkra att det utvecklade systemet kommer uppnå dess krav, inklusive krav på dess möjlighet att tolerera defekter. Då dessa designbeslut dessutom har en nyckelroll i designen av ett tillförlitligt inbyggt system har de en omfattande effekt på utvecklingsprocessen samt den största påverkan på det utvecklade systemet. På grund av detta kommer ett felaktigt beslut om arkitekturdesignen propagera igenom hela utvecklingsprocessen och sannolikt resultera i ett system som inte uppnår kraven, får en oacceptabel tillförlitlighetsnivå, och kostsamma korrigeringar. De är därmed kritiska med hänsyn till kvaliteten och tillförlitligheten av ett inbyggt system, och kostnaden av utvecklingsprocessen. Således är det kritiskt att förhindra felaktiga beslut om arkitekturdesign och, så tidigt som möjligt, detektera och avlägsna felaktiga beslut som inte har lyckats att förhindras. Användningen av språk för arkitekturbeskrivning hjälper utvecklare att hantera den ökande komplexiteten genom standardiserade kommunikationsmedel och förståelsemedel. Dessutom möjliggör en formell beskrivning automatiserad och formell analys av arkitekturdesignen. Bidraget av denna licentiatavhandling är ett formellt kvalitetssäkringsramverk för säkerhetskritiska, prestandakritiska och uppdragskritiska inbyggda system specificerade i arkitekturbeskrivningsspråket ”Architecture Analysis and Design Language” (AADL). Ramverket är utvecklat genom adaptionen av formella metoder, i synnerhet traditionella modellkontrolltekniker och modellbaserad testningstekniker, till AADL, med hjälp av att definiera formella verifikationskriterier för AADL och en formell AADL-semantik. Modellkontroll av AADL-modeller analyserar modellens fullständighet, konsistens och korrekthet och möjliggör automatisk undvikande av felaktiga arkitekturdesignbeslut, kostsamma korrigeringar och hot mot kvalitet och tillförlitlighet. Därutöver kan ramverket automatiskt generera testsviter från AADL-modeller för att testa ett utvecklat system mot den bestämda arkitekturdesignen. En lyckad testsvitexekvering garanterar att arkitekturdesignen är korrekt implementerad. Metoder för selektiv regressionsverifiering är inkluderade i ramverket för att på ett kostnadseffektivt tillvägagångssätt verifiera en, tidigare verifierad, arkitekturdesign som har blivit modifierad, såsom efter en korrigering av ett felaktigt designbeslut.

Städer och samhällen har under det senaste seklet utvecklats och exploaterats längre norrut men med en avsaknad av ett tydligt arkitektoniskt formspråk anpassat för ett arktiskt och subarktiskt klimat. Somliga forskare hävdar att städer och byggnader i dessa klimat till stor del baseras på universella arkitektoniska och urbana principer, som egentligen är bättre lämpade i tempererade klimat. Syftet med detta ar-bete är att undersöka, identifiera, sammanställa ochvisualisera relevant forskning, kunskap och praktisk kännedom gällande arkitektonisk gestaltning i ett arktiskt och subarktiskt klimat. Att identifiera bidragandefaktorer till komfortabla och attraktiva bostäder och stadsrum med kvalitéer som reducerar uppkomsten av väderrelaterade obehag. För att således, genom ett konceptuellt gestaltningsförslag, kunna visualisera och belysa det arkitektoniska formspråket som är bäst lämpat för det arktiska och subarktiska klimatet. Inledningsvis genomförs en litteraturstudie där till- gänglig forskning studeras med avseende att tydlig-göra vad som definierar arktisk och subarktisk arki- tektur samt klimatanpassat bostadsbyggande. Vidareidentifieras avgörande klimatfaktorer och arkitekto- niska kvaliteter som kan främja ett tydligt formspråk och komfortabla miljöer i dessa krävande klimat. Efter litteraturstudien upprättas en syntes som tillsammans med metoder ur Problem Seeking och Design: pro- cess och metod sammanställer de identifierade kvali- teterna till konkreta principer och strategier. Syntesen resulterade i följande tre klimatfaktorer att ta hänsyn till: Sol, Vind och Snö. Vidare resulterade syntes i följande nio byggnadsrelaterade faktorer: Volymer, Tak, Fasad, Entré, Markplan, Innergårdar samt mer urbana delar som: Gator, Vegetation och Aktiviteter. För att applicera dessa identifierade principer ochstrategier valdes ett tillämpningsområde med klimat- förutsättningar likt de som studerats. Tillämpningsområdet blev två kvarter i Kirunas nya stadsdel, nordväst om nya centrum. En platsanalys genomfördes med hjälp av välkända analysmetoder där information tillhandahållits genom Kirunas utvecklingsplan, fördjupande översiktsplan samt det vinnande täv- lingsbidraget för den nya stadsdelen, Kiruna 4-ever. Det konceptuella gestaltningsförslaget, som är arbetets resultat, baseras på den upprättade synte- sen tillsammans med resultatet av de analyser som genomförts med avseende på tillämpningsområdet. Gestaltningsförslaget utgör två bostadskvarter i linjer med Kirunas utvecklingsplan gällande utformning ochfunktion samt det identifierade arkitektoniska principerna. En höggradig funktionsblandning, levande och inbjudande gatumiljöer, attraktiva stråk, torg och parker samt en tydlig närhet till naturen är några av de kvaliteter som framgår i förslaget. Tillsammans med de väl avvägda och anpassade kombinationerna av designprinciper för arktisk och subarktisk arkitektur. Då gestaltningsförslaget är utformat på en övergripande konceptuell nivå, där fokus legat på attapplicera de identifierade principerna, anses detinte vara en fullständig produkt. Fortsatt arbete med och utveckling av det termiska klimatet samt interiöra faktorerna föreslås, som inte nödvändigtvis bör påverka den förslagna exteriöra utformningen. Det sammanställda och identifierade principernapresenteras på sida 47 i rapporten. Medan gestaltningsförslaget i sin helhet presenteras på sida 85. / Cities and communities have moved and developed further north over the last century, but with a lack of a clear architectural design adapted to the arctic and sub-arctic climate. Some researchers argue that cities and buildings in these climates are largely based on universal architectural and urban principles, which are actually better suited in temperate climates. The purpose of this work is to investigate, identify, compile and visualize relevant research, knowledge and practical knowledge regarding architectural design in an arctic and sub-arctic climate. To identify contributing factors to comfortable and attractive homes and urban spaces with qualities that reduce the occurrence of weatherrelated discomfort. In order to, through a conceptual design proposal, be able to visualize and illuminate the architectural design that is best suited to the arctic and sub-arctic climate. Initially, a literature study is conducted in which available research is studied with regard to clarifywhat defines arctic and sub-arctic architecture and climateadapted housing construction. Furthermore, crucial climate factors and architectural qualities are identified that can promote a clear design languageand comfortable environments in these demanding climates. After the literature study, a synthesis is established which together with methods like Problem Seeking and Design: process and method compilethe identified qualities to concrete principles and strategies. The synthesis resulted in the following three climate factors to take into account: Sun, Wind and Snow. Furthermore, synthesis resulted in the fol- lowing nine building-related factors: Volumes, Roofs, Facade, Entrance, Ground plan, courtyards and urban factors such as: Streets, Vegetation and Activities. In order to apply these identified principles andstrategies, an application area with climate conditions similar to those studied was chosen. The application area became two blocks in Kiruna's new city plan, northwest of new center. A site ana- lysis was carried out using well known analysis methods where the necessary information was provided through Kiruna's development plan, indepth overview plan and the winning competition contribution for the new city plan, Kiruna 4-ever. The conceptual design proposal, which is the result of the work, is based on the established synthesis together with the result of the analyzes carried outwith respect to the field of application. The designproposal constitutes two residential blocks in lines with Kiruna's development plan regarding design andfunction and the identified architectural principles. A high quality functional mix, vibrant and inviting street environments, attractive streets, squares and parks as well as a clear connection to nature are some of the qualities that appear in the proposal. Along with the well-balanced and adapted combinations of design principles for arctic and sub-arctic architecture. Since the design proposal is designed on an overall conceptual level, where the focus has beenon applying the identified principles, it is not considered a complete product. Continued work on and development of the thermal climate and interior factors is proposed, which should not ne- cessarily affect the proposed exterior design.The crucial and identified principles are presented on page 47 of the report. While the design proposal as a whole is presented on page 85.