This thesis aims to provide recommendations for interfacing two memory-safe programming languages, Rust and SPARK. The comparison of Rust and C/C++, as well as SPARK and C/C++, has been thoroughly researched. However, this level of investigation hasn’t been as extensive between memory-safe languages. SPARK is a subset of Ada, a programming language with a long track record in safety-critical applications. Rust is a multi-paradigm language that has gained popularity since its emergence roughly a decade ago. Both languages implement ownership systems and type safety, which are instrumental in developing safe and reliable software. Memory-safety bugs in code written in C/C++ account for about 70 % of major vulnerabilities in the industry, as reported by organizations such as Microsoft, Apple, and Google. While tools to avoid memory errors exist, code cannot be made safe retroactively, which creates a need for languages designed with safety in mind, such as Rust and SPARK. Combining those two languages is a very promising path for low-level and systems programming and safety-critical applications (automotive, avionics, medical etc.). This thesis identifies best practices for safe bindings between Rust and SPARK, focusing on ensuring memory safety, type safety, and ownership, and then analyzes how to maintain or transfer those properties. The thesis provides clear recommendations based on control study programs and a real-world example using BBQueue, a circular buffer library suitable for embedded systems implemented in both languages. The identified best practices can be used for safe bindings and automated tools/code generation. This thesis fills a gap in existing research, primarily focusing on combining safe and unsafe languages. It provides a valuable contribution to software security and safety-critical systems. / Denna avhandling syftar till att ge rekommendationer för att koppla samman två minnessäkra programmeringsspråk, Rust och SPARK. Sådana kombinationer har redan studerats utförligt mellan Rust/SPARK och de osäkra språken C/C++, men det finns relativt lite information och forskning angående minnessäkra språk. SPARK är en delmängd av Ada, ett språk som har använts i decenier i säkerhetskritiska applikationer. Rust är ett multiparadigmatiskt språk som har blivit populärt sedan dess skapande för ungefär ett decennium sedan. Båda språken implementerar ägarskapssystem och typsäkerhet, vilka är avgörande för att utveckla säkra och tillförlitliga programvaror. Minnesfel i C/C++ står för cirka 70 procent av de stora sårbarheterna i branschen, som rapporterats av organisationer såsom Microsoft, Apple och Google. Även om det finns verktyg för att undvika minnesfel kan koden inte göras säker retroaktivt, vilket skapar ett behov av språk som är designade med säkerhet i åtanke. Att kombinera Rust och SPARK är en mycket lovande väg för systemprogrammering, låg nivå och säkerhetskritiska applikationer (bilindustri, flygavionik, medicinskt etc). Denna avhandling identifierar bästa praxis för säkra bindningar mellan Rust och SPARK, med fokus på att säkerställa minnessäkerhet, typsäkerhet och ägarskap, och analyserar sedan hur man kan behålla eller överföra dessa egenskaper. Avhandlingen ger klara rekommendationer baserade på kontrollstudieprogram och ett exempel med hjälp av BBQueue, ett cirkulärt buffertbibliotek som används i inbyggda system. Dessa resulat kan användas för att skapa säkra bindningar, manuelt eller med ett automatiserat verktyg. Denna avhandling fyller en lucka i befintlig forskning, som främst fokuserar på att kombinera säkra och osäkra språk. Den bidrar värdefullt till programvarusäkerhet och säkerhetskritiska system.

Trygg-bas scripts är mentala anknytningsrepresentationer som bildas och utvecklas hos individen utifrån dess samvaro med anknytningsperson(er). Studiens syfte var att undersöka förekomst av idrottsrelaterade (tävlings) script och sambandet mellan trygg-bas styrka i barnens eventuella sporttävlingsscript, trygg-bas generellt och koherens i barnets anknytningsrepresentation. Dessutom söktes förståelse för barns och föräldrars involvering och upplevelse av barnets idrottsaktivitet. Föräldrapress undersöktes från både barn- och föräldraperspektiv. Slutligen diskuterades samband mellan barnets anknytning och föräldrapress. Barnen testades för scriptkunskap (Secure Base Script Test, SBST; Psouni & Apetroaia, 2011), samt blev intervjuade (Friends and Family Interview, FFI; Steele & Steele, 2005). Idrottsenkäter besvarades av barn och föräldrar. Idrottsaktiva skolbarn i åldern 9-12 år (N = 86) och föräldrar (N = 74) deltog. Nivåerna av föräldrapress är låga, dock något högre sett från barnens perspektiv. Signifikanta, negativa korrelationer mellan trygg anknytning och föräldrapress rapporteras. Föräldrarnas sensitivitet och/eller barnens balanserade emotionssystem kan vara förklaringar. Samband mellan barnens generella trygg-bas scripts och ett sporttävlingsscript rapporteras. Scriptkunskap för att tackla sporttävlingar var högre för trygga än för otrygga barn (F(1,40) = 5.05, p = .03, partiell η2 = .11). Vilket tyder på att tryggt anknutna barn har en trygg-bas kunskap som är nyttig i idrottssituationer, vilket framhäver anknytningsteorins relevans för sportpsykologi. / Secure base scripts are mental attachment representations that develop in the individual during interactions with caregiver(s). In the study we assessed the importance of attachment representation coherence, scripted attachment knowledge and, for children’s scripted knowledge of coping in a sports competition. Besides, a sport enquiry investigating children’s and parental involvement and experience in the child’s sports activities. Parental pressure from both the child and parents perspective was evaluated. Finally, any connection between the child’s attachment and parental pressure was discussed. Children were interviewed (Friends and Family Interview, FFI; Steele & Steele, 2005) and, tested for scripted attachment knowledge (Secure Base Script Test, SBST; Psouni & Apetroaia, 2011). Sports questionnaires were answered by children and parents. School children active in sport, 9-12 years (N = 86) and parents (N = 74) participated. The level of parental pressure is low seen from both the child and parents perspective, anyhow, the children reporting a slightly higher level of pressure. Significant, negative correlations between secure attachment and parental pressure are reported. Parental sensitivity and/or the secure children’s balanced emotional system might be explanations. Scripted knowledge of coping in sports competitions predicted by children’s scripted attachment knowledge (SBST) is reported. Scripted knowledge of coping in sports competitions was higher for Secure than for Insecure children (F(1,40) = 5.05, p = .03, partial η2 = .11). Our findings suggest that securely attached children have an overarching secure base knowledge which is particularly useful in sports situations, thereby highlighting the relevance of attachment theory for sports education and sports psychology.

<p>In this thesis report we conducted research study on driver's behavior in T-Intersections using simulated environment. This report describes and discusses correlation analysis of driver's personality traits and style while driving at T-Intersections.</p><p>The experiments were performed on multi user driving simulator under controlled settings, at Linköping University. A total of forty-eight people participated in the study and were divided into groups of four, all driving in the same simulated world.</p><p>During the experiments participants were asked to fill a series of well-known self-report questionnaires. We evaluated questionnaires to get the insight in driver's personality traits and driving style. The self-report questionnaires consist of Schwartz's configural model of 10 values types and NEO-five factor inventory. Also driver's behavior was studied with the help of questionnaires based on driver's behavior, style, conflict avoidance, time horizon and tolerance of uncertainty. Then these 10 Schwartz's values are correlated with the other questionnaires to give the detail insight of the driving habits and personality traits of the drivers.</p>

Many researchers in numerous studies have focused on leadership style and organizational cultures, but there is an absence of research regarding leader personality traits and productive work cultures in Alberta's oil and gas industry. The purpose of this correlational study was to assess the relationship between leader traits and preestablished learning organization culture benchmarks within Alberta's oil and gas industry. Learning organization culture is an extension of Senge's learning organization theory. Simple random sampling was used to attain a population comprised of 52 employees in Alberta's oil and gas industry who were accountable to an organizational supervisor. Data were collected via the NEO-FFI-3 and the Learning Organization Survey; summarization was accomplished by means of an online third party survey administration service. Regression analyses revealed that each of the 5-factor traits was correlated to learning organization culture. When the model was changed to multiple regression using all traits together, only 2 traits remained significant. Openness to experience positively correlated with learning organization culture, whereas neuroticism was negatively correlated with learning organization culture. The implication for social change is that human resource personnel in Alberta's oil and gas industry can institute information provided in this research to identify and develop leaders who promote innovation in a learning organization culture. Innovation in Alberta's oil and gas industry assists to overcome environmental sustainability, augment technology inefficiencies, and decrease workplace personnel issues.

In this thesis report we conducted research study on driver's behavior in T-Intersections using simulated environment. This report describes and discusses correlation analysis of driver's personality traits and style while driving at T-Intersections. The experiments were performed on multi user driving simulator under controlled settings, at Linköping University. A total of forty-eight people participated in the study and were divided into groups of four, all driving in the same simulated world. During the experiments participants were asked to fill a series of well-known self-report questionnaires. We evaluated questionnaires to get the insight in driver's personality traits and driving style. The self-report questionnaires consist of Schwartz's configural model of 10 values types and NEO-five factor inventory. Also driver's behavior was studied with the help of questionnaires based on driver's behavior, style, conflict avoidance, time horizon and tolerance of uncertainty. Then these 10 Schwartz's values are correlated with the other questionnaires to give the detail insight of the driving habits and personality traits of the drivers.

Thema: Klinische und funktionelle Langzeitergebnisse nach Chopart-Luxationsfrakturen Fragestellung: Chopart-Luxationsfrakturen sind seltene und oft übersehene Fußverletzungen, welche in der gegenwärtigen Literatur häufig unterrepräsentiert werden. Zielsetzung dieser retrospektiven Studie ist die Evaluation verschiedener patientenbezogener und behandlungsspezifischer Faktoren bezüglich ihres Effektes auf die resultierende Fußfunktion. Methodik: Zwischen 01/1994 und 12/2009 wurden 122 Chopart-Luxationsfrakturen in einem Traumazentrum behandelt. Davon wurden 73 Patienten mit 75 Chopart-Verletzungen nachuntersucht (59,8%). Der mittlere Follow-up-Zeitraum betrug 10 (4 - 18) Jahre. Das Durchschnittsalter lag bei 38 (14 - 68) Jahren. Einerseits wurde zur Einteilung der lokalen Verletzungsschwere die Zwipp-Klassifikation genutzt, andererseits wurde das Auftreten isolierter Chopart-Luxationsfrakturen oder weitere ipsilaterale Fußfrakturen bzw. Polytraumata erfasst. Das Outcome wurde mittels AOFAS Ankle-Hindfoot Score, Foot-Function-Index (FFI-D) sowie der körperlichen (KSK) und psychischen (PSK) Summenskala des SF-36 evaluiert. Arthroseausprägungen und Fehlstellungen wurden mithilfe von Röntgenbildern quantifiziert. Ursächlich war ein Verkehrsunfall in 53,4%, gefolgt von Höhenstürzen in 20,5%. Ein Arbeitsunfall lag in 23,3% vor. Die distale Gelenkreihe (Os naviculare und Os cuboideum) war mit 86 Frakturen mehr als doppelt so häufig betroffen wie die proximale Reihe (Taluskopf und Proc. anterior calcanei) mit 35 Frakturen. In nahezu 30% waren die Patienten polytraumatisiert. Ergebnisse: Die mittleren Werte im AOFAS-Score-Wert betrugen 71,5, im FFI-D 26,9 und in der SF-36 KSK und PSK 43,5 bzw. 51,2 Punkte. Signifikant niedrigere Fuß-Scores wurden beim Vorliegen eines Arbeitsunfalles (FFI, p=0,010), einer höheren allgemeinen (FFI, p=0,001) und lokalen (AOFAS, p=0,022) (das Chopart-Gelenk betreffenden) Verletzungsschwere sowie einer offenen Verletzung des Fußes (AOFAS, p<0,001) gesehen. Weiterhin waren ein mehrzeitiges operatives Vorgehen (AOFAS, p=0,024) sowie die Verwendung von primären (FFI, p=0,027) oder sekundären Arthrodesen (AOFAS, p=0,035) mit signifikant schlechteren Ergebnissen assoziiert. Patienten mit Infektionen im Wundgebiet zeigten einen Trend zu schlechteren Ergebnissen in den Scores. In der überwiegenden Mehrzahl wurden schwere radiologische Arthroseausprägungen gesehen, welche mit signifikant schlechteren funktionellen Scores korrelierten. Rund ein Drittel der Patienten wies Beeinträchtigungen im Beruf auf, über die Hälfte zeigte Einschränkungen in der Freizeit bzw. im Sport. Schlussfolgerung: Chopart-Luxationsfrakturen haben relevante Auswirkungen auf die Langzeitprognose der Patienten. Dabei korreliert die Verletzungsschwere negativ mit dem funktionellen Resultat. Ein rechtzeitiges Erkennen der Fraktur mit zeitgerechter, anatomischer Wiederherstellung der Zweisäulenstatik und der Gelenkebenen und anschließender stabiler Retention sowie Transfixierung bei ligamentären Instabilitäten sicherte überwiegend gute klinische und funktionelle Ergebnisse.

Thema: Klinische und funktionelle Langzeitergebnisse nach Chopart-Luxationsfrakturen Fragestellung: Chopart-Luxationsfrakturen sind seltene und oft übersehene Fußverletzungen, welche in der gegenwärtigen Literatur häufig unterrepräsentiert werden. Zielsetzung dieser retrospektiven Studie ist die Evaluation verschiedener patientenbezogener und behandlungsspezifischer Faktoren bezüglich ihres Effektes auf die resultierende Fußfunktion. Methodik: Zwischen 01/1994 und 12/2009 wurden 122 Chopart-Luxationsfrakturen in einem Traumazentrum behandelt. Davon wurden 73 Patienten mit 75 Chopart-Verletzungen nachuntersucht (59,8%). Der mittlere Follow-up-Zeitraum betrug 10 (4 - 18) Jahre. Das Durchschnittsalter lag bei 38 (14 - 68) Jahren. Einerseits wurde zur Einteilung der lokalen Verletzungsschwere die Zwipp-Klassifikation genutzt, andererseits wurde das Auftreten isolierter Chopart-Luxationsfrakturen oder weitere ipsilaterale Fußfrakturen bzw. Polytraumata erfasst. Das Outcome wurde mittels AOFAS Ankle-Hindfoot Score, Foot-Function-Index (FFI-D) sowie der körperlichen (KSK) und psychischen (PSK) Summenskala des SF-36 evaluiert. Arthroseausprägungen und Fehlstellungen wurden mithilfe von Röntgenbildern quantifiziert. Ursächlich war ein Verkehrsunfall in 53,4%, gefolgt von Höhenstürzen in 20,5%. Ein Arbeitsunfall lag in 23,3% vor. Die distale Gelenkreihe (Os naviculare und Os cuboideum) war mit 86 Frakturen mehr als doppelt so häufig betroffen wie die proximale Reihe (Taluskopf und Proc. anterior calcanei) mit 35 Frakturen. In nahezu 30% waren die Patienten polytraumatisiert. Ergebnisse: Die mittleren Werte im AOFAS-Score-Wert betrugen 71,5, im FFI-D 26,9 und in der SF-36 KSK und PSK 43,5 bzw. 51,2 Punkte. Signifikant niedrigere Fuß-Scores wurden beim Vorliegen eines Arbeitsunfalles (FFI, p=0,010), einer höheren allgemeinen (FFI, p=0,001) und lokalen (AOFAS, p=0,022) (das Chopart-Gelenk betreffenden) Verletzungsschwere sowie einer offenen Verletzung des Fußes (AOFAS, p<0,001) gesehen. Weiterhin waren ein mehrzeitiges operatives Vorgehen (AOFAS, p=0,024) sowie die Verwendung von primären (FFI, p=0,027) oder sekundären Arthrodesen (AOFAS, p=0,035) mit signifikant schlechteren Ergebnissen assoziiert. Patienten mit Infektionen im Wundgebiet zeigten einen Trend zu schlechteren Ergebnissen in den Scores. In der überwiegenden Mehrzahl wurden schwere radiologische Arthroseausprägungen gesehen, welche mit signifikant schlechteren funktionellen Scores korrelierten. Rund ein Drittel der Patienten wies Beeinträchtigungen im Beruf auf, über die Hälfte zeigte Einschränkungen in der Freizeit bzw. im Sport. Schlussfolgerung: Chopart-Luxationsfrakturen haben relevante Auswirkungen auf die Langzeitprognose der Patienten. Dabei korreliert die Verletzungsschwere negativ mit dem funktionellen Resultat. Ein rechtzeitiges Erkennen der Fraktur mit zeitgerechter, anatomischer Wiederherstellung der Zweisäulenstatik und der Gelenkebenen und anschließender stabiler Retention sowie Transfixierung bei ligamentären Instabilitäten sicherte überwiegend gute klinische und funktionelle Ergebnisse.

No description available.

The theoretical part of the thesis deals with the topics of self-concept and motherhood. The part that deals with self-concept contains its definition, possible ways for it to be studied, its aspects, structure and dynamics. It also describes aspects examined in the research part i.e. self-concept clarity and self-esteem and provides an overview of commonly used methods for self-concept research. The part about motherhood formulates motherhood as a social construct and a biological aspect; it deals with the ambivalence to motherhood, motherhood and partner relationships, motherhood and work. Finally, it deals with the published research on the topic of self-concept in motherhood. The research part deals with self-concept clarity and self-esteem during motherhood. The aim is to explore self-concept clarity and self-esteem of mothers on parental leave with their first child old between (0.5-4 years) and compare them with mothers, which are also on parental leave with their first child old between (0.5-4 years) and work regularly; and also childless women aged 25 to 35 years. The following diagnostic tools were used that purpose: Self-concept Clarity Scale, Rosenberg's Self-esteem Scale, NEO-FFI.

Examensarbetet genomfördes av Philip Wockatz utan stöd och handledning. Detta ledde fram till att Kip Smith tog över som handledare strax innan presentationen.