Om man vill skapa ett realistiskt hav inom Computer Graphics är det viktigt att man har snygga övergångar till andra material. Ett exempel på detta är stränder och det är precis där fokusen på den här studien har legat. Studien gick ut på att hitta en enklare lösning på att visuellt förbättra stränder inom Computer Graphics. För att göra detta så testade två olika metoder i olika experiment. Den ena tekniken som testades var att simulera partiklar för att få fram en bättre strandlinje och de andra var att skapa en shader för att förbättra den. Resultatet var att shadern var det bästa sättet att lösa problemet på medan simuleringen var en lite för komplicerad lösning för det här problemet.

Transport- och byggindustrin är en bidragande orsak till klimatkläget på grund av den betydande mängd växthusgaser som produceras. Att byta till elfordon är en metod för att minska de skadliga effekterna av klimatförändringarna. Under byggandet av nya vägar bidrar användningen av konventionella byggfordon som drivs av fossila bränslen till utsläppen av växthusgaser över hela världen. Följaktligen är behovet stort av att elektrifiera transport – samt konstruktionssekotorn. Som ett resultat har storleken på en potentiell mikronät som konstrueras med linjär optimering för att möta en statisk energiefterfrågan på en hypotetisk byggplats bedömts i denna studie. Det statiska energibehovet tillhandahölls från en fallstudie som syftade till att utvärdera en helt elektrifierad fordonsflotta för vägkonstruktionsindustrin.  Studien utgörs av två delar. Den första delen undersöker installationskapaciteterna för komponenterna i det potentiella mikronätet, medan den andra delen bedömer påverkan av den maximala anslutningskapaciteten till elnätet. En optimeringsmodell konstruerades genom att använda Python Optimization Modeling Objects (PYOMO). Antaganden och begränsningar för utformningen av mikronätet baseras på riktlinjer från Ramboll och Trafikverket.  Optimeringsmodellen gav en lösning som överensstämmer med energisystemets moderna kapacitet. Dock ansågs installationskapaciteterna för mikronätets komponenter vara opraktiska för den konceptuella byggplatsen. Metoden betonade behovet av verkliga data om belastningen som genereras av elektriska byggfordon (ECVs) samt data om anslutningen till elnätet. / The transportation and construction industry produces a sizable amount of greenhouse gases (GHGs), which significantly contribute to the worldwide problem of climate change. A strategy for reducing the adverse impacts of climate change on the environment is to switch to an electric vehicle fleet. The use of traditional construction vehicles powered by fossil fuels during road construction contributes to global GHG emissions. Consequently, electrification is required in this sector. As a result, the size of a potential microgrid constructed with linear optimization to meet a static energy demand of a hypothetical construction site is assessed in this thesis. The static energy demand was provided from a case study objected to evaluating a fully electrified construction vehicle fleet.  There are two parts to this thesis. The installation capacities of the potential microgrid's component parts are examined in the first section, and the impact of the maximum connection capacity to the electrical grid is assessed in the second. An optimization model was designed by utilizing Python Optimization Modeling Objects (PYOMO). Assumptions and delimitations considering the design of the microgrid are based on guidelines from Ramboll and the Swedish Transport Administration (STA).  The optimization model yielded a solution that aligns with state-of-the-art energy system capacities. However, the installation capacities of the microgrid components were found to be impractical for the conceptual construction site. The methodology stressed the need for real-world data on load generated by Electric Construction Vehicles (ECVs) and data regarding electrical grid connection.

As technological advancements and manufacturing techniques continues to bring us more complex and powerful hardware, software engineers struggle to keep up with this rapid progress and reap the benefits brought by this hardware. In the field of safety-critical system development, where a thorough understanding and deterministic nature of the hardware often is required, the cost of development closely relates to the complexity of the hardware used. For software developers to be able to reap the benefits of the technological advancement in hardware design, a Correct-by-Construction with a model- based design flow seem promising. Even though there seem to be significant benefits in using a Correct-by-Construction workflow for developing safety- critical systems, it is far from exclusively used within the industry. Therefore, this thesis illustrates how a model-based design flow should be applied when developing safety-critical systems for usage in the rail transport sector. This thesis also explores the benefits Correct-by-Construction can bring to the development process of safety-critical systems. Within this thesis, two different modeling tools, ForSyDe and Simulink, were used to achieve a model-based design flow. The functionality of these tools is investigated to see how they can be used for developing safety-critical systems, meeting the EN 50128 standard. The result presented is an example of how these tools can be used within a model-based design flow which meets the EN 50128 standard for developing Safety Integrity Level (SIL) 4 systems. The thesis also compares the tools investigated and highlights their differences. Finally, future work required to create a complete Correct-by-Construction workflow that complies with the EN 50128 standard requirements for system development is identified. / Allt eftersom teknologiska framsteg och tillverkningstekniker fortsätter att ge oss tillgång till mer komplex och kraftfull hårdvara så kämpar mjukvaruingenjörer fibrilit med att kunna hänga med i denna utvecklingstakt och kunna utnyttja de nya möjligheterna som denna nya hårdvara ger. Inom fältet för säkerhetskritiska system, där en genomgående förståelse av och deterministiska egenskaper för hårdvara ofta krävs, så är kostnaden för utveckling nära relaterat till komplexiteten för hårdvaran som används. För att kunna ta till vara på de fördelar som dessa nya teknologiska framsteg för med sig så föreslås ofta användningen av utvecklingsprocessen Korrektvid- Konstruktion. Även fast det verkar finnas stora fördelar med att använda Korrekt-vid-Konstruktion som utvecklingsprocess så har det inte sett en bred användning inom industrin. På grund av detta så försöker denna avhandling svara på hur ett modelleringsbaserat utvecklingsflöde kan användas vid utveckling av säkerhetskritiska system för tågtransportsektorn. Arbetet undersöker även fördelarna med användningen av Korrekt-vid-Konstruktion vid utveckling av säkerhetskritiska system. Arbetet i denna avhandling undersöker hur två olika modeleringsverktyg, ForSyDe och Simulink, kan användas i ett modeleringsbasert utvecklingsflöde. Funktionaliteten för dessa modeleringsverktyg undersöks för att se hur dem kan användas för utveckling av säkerhetskritiska system på ett sätt som klarar av kraven i EN 50128 standarden. Resultaten som presenteras är ett exempel på hur dessa verktyg kan användas i ett modeleringsbaserat utvecklingsflöde som möter kraven i EN 50128 standarden för utveckling av SIL 4 system. Arbetet jämför även de undersökta modeleringsverktygen för att påvisa deras skillnader. Till sist så beskrivs det framtida arbete som krävs för att få till en komplett utvecklingsprocess som är Korrekt-vid-Konstruktion och även möter systemutvecklingskraven i EN 50128 standarden.

Our society moves towards digitalization and the industry is not an exception. Siemenshas developed a wireless condition monitoring device called Simotics Connect in order tohelp them to move forward in the world of digitalization. The Simotics Connect has threeinbuilt sensors. One for temperature, one for vibrations and one for magnetic flux density,a product that is new in the market. This master thesis has investigated its usability forthird party motors, which has not been done.Four areas were investigated, the status in the current market, creating a motorgeometry estimation based on nameplate data, presenting a temperature model to calculatea motor’s cross section temperature and, finally, proposed a stator current model using themagnetic field measurement.Market research has shown that a space for the Simotics Connect to thrive in mostdefinitely exists.The motor geometry estimation, that is based on preliminary electromagnetic sizing,creates a digital twin for the motor that has sufficient accuracy as a tool when calculatinge.g. temperature calculations but lacks accuracy for more advanced and sensitivecalculations e.g for magnetic flux density measurement usability.The temperature model that is presented shows great accuracy when calculating thecross section temperature in the stator but the accuracy decreases for the cross sectiontemperature in the rotor.A stator current model is proposed using a proportional relationship between themagnetic flux density and stator current. The results indicates a linear relationship, thoughusing the digital twin to calculate the proportional constant were concluded to not beaccurate enough. / Sammhället rör sig idag mot digitalisering och industrin är ej ett undantag. Siemens harutvecklat en trådlös underhållsmätare kallad Simotics Connect för att hjälpa dem strävamot en värld inom digitalisering. Simotics Connect hat tre inbyggda sensorer. En för temperatur,en för vibrationer och en för magnetisk flödestäthet, vilket är nytt på marknaden.Detta masterprojekt har undersökt användningen av Simotics Connect för tredjepartsmotorer,vilket ej har gjorts tidigare.Fyra områden undersöktes, statusen på den nuvarande marknaden, en motorgeometriuppskattningmodellbaserad på namnskylsdata, en temperaturmodell för att beräknamotorns tvärsnittstemperatur och, slutligen, en statorströmmodell som använder sig avmagnetiska flödestäthetsmätningen.Marknadsundersökningen har visat att det finns ett utrymme för Simotics Connectatt blomstra inom på den nuvarande marknaden.Motorns geometriska uppskattning, som är baserad i preliminär elektromagnetiskgeometribestämning, skapar en digital tvilling av motorn som är tillräckligt noggrann föratt aggera som ett verktyg vid t.ex. temperatursberäkningar men saknar noggrannhet förmer avancerade och känsliga beräkningar, t ex för användbarhet inom magnetisk flödestäthetsberäkningar.Temperaturmodellen som presenteras visar stor noggrannhet vid beräkning av statornstvärsnittstemperatur, men noggrannheten minskar för rotorns tvärsnittstemperatur.En statorströmmodell föreslås med ett proportionellt förhållande mellan magnetflödesdensitetenoch statorströmmen. Resultaten indikerar ett linjärt förhållande, men användandetav den digitala tvillingen för att beräkna proportionell konstant konstateras attinte vara tillräckligt noggrann metod.