The topic of this master thesis is Formal verification of RISC-V processor with Questa PropCheck using SystemVerilog assertions. The theoretical part writes about the RISC-V architecture, furthermore, selected components of Codix Berkelium 5 processor used for formal verification are described, communication protocol AHB-lite, formal verification and its methods and tools are also studied. Experimental part consists of verification planning of selected components, subsequent formal verification, analysing of results and evaluating a benefits of formal technics.

Internalizing carbon value for forest landowners has the potential to increase carbon supply in forest and mitigate CO2 in the atmosphere. In this study, we developed a modified Hartman model to investigate how payments of carbon offsets impact the optimal management of hardwood forests in Kentucky under condition of catastrophic events. Different carbon markets were modeled and several sensitivity analyses were performed to examine varied management strategies to achieve maximized financial return or highest environmental benefits. Furthermore, another model was developed to incorporate the impact of risk aversion to price uncertainty using E-V model. We were able to identify the most favorable scenarios for landowners and society in the face of price variability and catastrophic risk.

The article identifies the challenges during the system and specifically the software development process for safety critical electro-hydraulic control systems by using the example of the hydrostatic driveline with a four speed transmission of a feeder mixer. An optimized development approach for mobile machinery has to fulfill all the requirements according to the Machinery Directive 2006/42/EC, considering functional safety, documentation and testing requirements from the beginning and throughout the entire machine life cycle. The functionality of the drive line control could be verified in advance of the availability of a prototype by using a “software-in-the-loop” development approach, based on a MATLAB/SIMULINK model of the drive line in connection with the embedded software.

This paper presents conora, a robust trajectory optimization software utilizing orthogonal collocation methods for ascending rocket stages, targeting applications in early phases of mission design. The proposed methodology leverages orthogonal collocation techniques, preferred over the multitude of available options for their robustness to inaccuracies in the initial guess. This, together with low amount of available data about the ascent profile, often makes preliminary optimization considerably complex, extremely case-specific and, consequently, very time consuming. The software here implemented addresses the problem of maximizing the payload mass of a rocket by providing the required flexibility to adapt to any mission scenario disregarding of the celestial body, launch site, vehicle design and target orbit. Proper functionality is demonstrated by replicating existing missions, simplifying and reducing to the bare minimum the number of inputs. Ariane V ascending to GTO, Electron launch to SSO, ALTO mission to LEO, Apollo XI Lunar Module ascent and Starship take-off to LMO are the multifaceted mission scenarios selected to demonstrate the capabilities of conora, resulting in accurate injection into orbit and relatively close estimation of optimized payload masses. The obtained outcomes grow more valuable when considering the small amount of inputs provided, the simplicity of the utilized physical model and the strong assumptions considered. The whole software development process followed a V-model, from requirement definition, passing by the actual implementation, to thorough code testing of each conora’s module. 64 are the number of identified top level requirements, for a verification process elaborated via more than 270 tests, from unit to system level. The entire work was performed in the context of an internship at DLR, at the Institute of Space Systems in Bremen, Germany. / Denna uppsats presenterar conora, en robust mjukvara för optimeringen av flygbanor, via användningen av ortogonala kollokationsmetoder för stigande raketsteg, med fokus på applikationer inom de tidiga faserna av uppdragets utformning. Den förslagna metodiken använder ortogonala kollokationsmetoder, som föredras över konkurrerande metoder för dess robusthet mot fel och osäkerheter i initial gissningen. Detta, tillsammans med lite tillgängliga data kring stigningsprofilen gör att preliminära optimeringar blir komplexa, extremt fallspecifika och därmed också väldigt tidskrävande. Mjukvaran har implementerats för att hantera maximering av nyttolastsmassan på en raket genom att bidra med den krävda flexibiliteten att anpassas till olika uppdragsscenarier, oavsett himlakropp, uppskjutningsplats, farkostsdesign eller given omloppsbana. Korrekt funktionalitet demonstreras genom att replikera nutida uppdrag, genom att förenkla och reducera till den lägsta mängd inmatningsvariabler. Ariane Vs uppstigning till GTO, Elektrons uppskjutning till SSO, ALTO uppdrag till LEO, Apollo XI Lunar Modules uppskjutning och Starships uppskjutning till LMO är de mångfasetterade uppdragsscenarion valda för att demonstrera conoras kapacitet. Resultatet visar på träffsäkra injektioner till omloppsbana och relativt bra uppskattning av optimerad nyttolastsmassa. Resultatet blir mer värdefullt när man tar hänsyn den lilla mängden inmatningsvariabler, enkelheten av de använda fysiska modellerna och de starka antaganden som gjorts. Hela mjukvarans utvecklingsprocess följde en V-modell, från kravskrivning, genom implementationen, till genomgående kodtestning av varje modul i conora. 64 krav på högsta nivå identifierades, för en verifikationsprocess utvecklad via mer än 270 tester, från enhets- till systemnivå. Hela arbetet utfördes inom ett praktikantarbete vid DLR, vid avdelningen för rymdsystem i Bremen, Tyskland.

The article identifies the challenges during the system and specifically the software development process for safety critical electro-hydraulic control systems by using the example of the hydrostatic driveline with a four speed transmission of a feeder mixer. An optimized development approach for mobile machinery has to fulfill all the requirements according to the Machinery Directive 2006/42/EC, considering functional safety, documentation and testing requirements from the beginning and throughout the entire machine life cycle. The functionality of the drive line control could be verified in advance of the availability of a prototype by using a “software-in-the-loop” development approach, based on a MATLAB/SIMULINK model of the drive line in connection with the embedded software.

Under de senaste åren har produkterna blivit mer invecklade beträffande anslutningen, prestanda och funktionalitet. Därför är syftet av denna studie att undersöka hur komplexa system utvecklas och leds genom att genomföra fallstudie på olika svenska företag som utvecklar mekatroniska och cyber-fysiska system. Resultatet av denna studie har lett till identifieringen av många utmaningar som de undersökta företagen har och som i sin tur har lett till framställningen av ett analytiskt ramverk som diskuterar hur och vad man bör göra för att utveckla komplexa produkter på ett effektivt sätt, så att onödig komplexitet i produktutvecklingen kan reduceras. / In recent years, products have become more complex in terms of connectivity, performance and functionality. Therefore, this study aims at studying how complex products are developed and managed through conducting multiple case studies at different Swedish companies that develop mechatronic or cyberphysical systems. The results of this study is the identification of many challenges that the investigated companies have, which have led to a presentation of an analytical framework that discusses how complex product development projects can and should be managed in order to be efficient, in order to reduce unnecessary complexity in the way companies develop these complex products.

The premise of this study is the in-depth exploration and investigation of the nature of Ethical Decision Making (EDM) in marketing research. More specifically, this research is concerned with exploring the understanding and the holistic conceptualisation of Ethical Decision Making (EDM) through the investigation of different moral agents in marketing research in the United Kingdom. In particular, marketing research researchers’ (MR researchers) and marketing research respondents’ (MR respondents) ethical judgements and behavioural intentions have been investigated based on two marketing research techniques that generate ethical issues; neuromarketing [NM] and autoethnography [AE], Despite the examination of the two aforementioned moral agents, at the heart of this thesis has been the investigation of MR researchers’ (un)willingness to adopt or practice (i.e. behavioural intentions) these marketing research techniques. This study employed a qualitative design and was initiated on descriptive behavioural ethics, in order to investigate MR researchers’ behavioural intentions, while it has a nonnative purpose towards norm generation in the field. Thus, the Theory of Planned Behaviour’ and the ‘General Theory of Marketing Ethics’ (i.e. H-V model) were applied for the initial theoretical considerations of this thesis. By utilising descriptive and nonnative ethical accounts, this study has found that Ethical Decision Making (EDM) in marketing research is grounded in a social contract ethics foundation of a multidimensional structural functionalistic premise. Within this ethical setting the MR researcher is considering the MR respondent’s decision making processes with regards to norm generation, governed by social consensus, social proof and conformity. This results from a multidimensional interdependent social interaction of the two moral agents. Finally, this thesis concludes that Ethical Decision Making (EDM) in marketing research is not conceptualised in a linear progressive manner, but it consists of numerous constructs that fit with each other in a rather loosely coupled modular manner depicting a rather complex and dynamic system of multilayered factors and multi-dimensional constructs.

This diploma thesis deals with an optimization of hydrostatic slide of the large-portal gantry machine FRU (TOS Kuřim). First part of the thesis concerns with an analysis of the current practice in hydrostatic guides in the field of heavy gantry machines, an usage of alternative materials for a construction of carrying parts of machines, and possibilities of current simulation methods. Aim of the second part of this thesis is a brief clarification of the principle of mathematical optimization, and creation of general methodology of construction optimization by means of system analysis. Optimization calculations were processed by ANSYS Workbench 11.0. There is achieved adjusted and optimized design of the hydrostatic slide as the result of the thesis. Moreover, the comparison of key deformations was added. Created methodology is applicable in both an area of construction of gantry machines, and a wide spectrum of construction fields.

This master thesis addresses the issue of software testing. It discusses different types and forms of testing such as white-box testing, black-box testing, unit testing, integration testing and regression testing. Further it deals with the specific problems of testing network applications and automation of the testing process. To solve these issues, the thesis presents a language based on XML for describing testing cases. The following chapter describes the design of this language interpreter. The thesis also deals with problems occurring during implementation phase of similar tools and their possible solutions. Functionality demonstration of designed tool helped to discover an error in product of AVG Technologies CZ, s.r.o..

Test av informationssystem är en viktig del inom systemutvecklingsprocessen för att minimera felaktigheter och förbättra tillförlitligheten av system. Trafikverkets IT enhet hade ett fastställt och strukturerat testarbete för high-level test däremot hade de inte ett fastställt strukturerat testarbete inom low-level test. Vi fick i uppdrag att undersöka metoder och arbetssätt som fanns inom low-level test. Vi skulle också jämföra system som genomgått ett strukturerat testarbete inom low- och high-level test mot system som genomgått ostrukturerat low-level test och strukturerat high-level test. Målet med examensarbetet var att föreslå lämpliga metoder och arbetsätt inom low-level test för Trafikverkets IT enhet. Målet var också att ge en rekommendation ifall ett strukturerat testarbete inom low- och high-level var att rekommendera i jämförelse mot system som genomgått ostrukturerat low-level test och strukturerat high-level test. Genom litterära studier och intervjuer med Trafikverkets resurser genomförde vi vår undersökning och kom fram till vårt resultat.Vår rekommendation för Trafikverket IT var att de ska använda sig utav testdriven utveckling eftersom utvecklarna var osäkra på vad som skulle testas och metoden skulle klargöra detta. Dessutom ville de ha valmöjligheter och riktlinjer som skulle ge dem en mer bestämd arbetsstruktur. Vi rekommenderar också en anpassning av Self-Governance ramverket där aktiviteter väljs ut för varje projekt av en metodansvarig eller projektansvarig (Scrum Master) som bestämmer vilka aktiviteter som ska utföras på individ- och gruppnivå. / Testing of information systems is an essential part of the system development process to minimize errors and improve the reliability of systems. Trafikverket IT unit had a structured testing in the test phase high-level, however, they had not a structured testing in the development phase, low-level tests. We were assigned to examine methods and working methods in low-level test. We also would compare systems that had undergone a structuredtesting in low-and high-level test against systems that had undergone an unstructured low-leveltest and structured high-level test.The goal of the thesis was to propose appropriate method/methods in low-level test for Trafikverket IT unit. The goal was also to make a recommendation if a structured testing in low-and high-level were to be recommended in comparison with systems that had undergone unstructured low-level test and structured high-level test. Through literary studies and interviews with Trafikverket employees we reached our result. Our recommendation for Trafikverket IT is that they should use test-driven development because developers were unsure of what should be tested and the method would make thisclear. The developers also wanted to have options and guidelines that would give them a definite work structure. We also recommend an adaptation of the Self-Governance frameworkfrom where activities can be selected from each project manager (Scrum Master) that determines which activities will be performed in individual- and group level for each project.