The Swedish Armed Forces are currently considering extending the operational life of the Saab JAS 39 Gripen C/D multirole fighter aircraft by an additional 10 to 20 years. This has resulted in a need to upgrade many of the hardware components originally developed in the late 1980s and early 1990s. These upgrades include the Application Specific Integrated Circuits (ASICs) used to generate graphics in the aircraft’s Cockpit Display System (CDS), made programmable through the Symbol Programming Language (SPL). SPL is a proprietary Domain Specific Language (DSL) developed specifically to be used with the custom hardware in the Gripen’s CDS. An upgrade of the underlying hardware would necessitate migrating the old SPL software to some other format suitable for modern hardware. Large parts of this process could be automated with the help of a source-to-source compiler, i.e., a transpiler. In this thesis, we present a translation-verifying transpiler for a subset of SPL, dubbed μSPL, that outputs equivalent OpenGL/C++ programs. Verification is done at runtime against a reference program execution trace produced by the transpiler by means of symbolic execution in the operational semantics of μSPL. An observational study was made to evaluate the solution and the soundness of the μSPL semantics. From the results of the observational evaluation, we find that the chosen method for translation verification is contextually suitable, albeit with potential for improvement in the details of the implementation. / Försvarsmakten överväger i skrivande stund att förlänga tjänsteperioden för enhetflygplanet Saab JAS 39 Gripen C/D med ytterligare 10 till 20 år. Detta har resulterat i ett behov av att uppgradera många av de hårdvarukomponenter som ursprungligen togs fram för Gripenprojektet under sena 1980-talet och tidiga 1990-talet. Dessa uppgraderingar inkluderar applikationsspecifika integrerade kretsar (ASIC:ar) som används för att driva och generera symbolik för presentationssystemet Elektroniskt Presentationssystem 17 (EP-17) i cockpit på Gripen C/D. Dessa ASIC:ar är programmerbara med det egenutvecklade grafikprogramspråket SPL. En uppgradering av den underliggande hårdvaran skulle nödvändiggöra en migration av den SPL-mjukvara som redan är skriven till något format som är lämpligt för modern hårdvara. Stora delar av den här processen skulle kunna automatiseras med en automatisk översättare; en så kallad transpilator. I den här avhandlingen presenterar vi en översättningsverifierande transpilator för en delmängd av SPL, kallad μSPL, som översätter till ekvivalenta OpenGL/C++ program. Verifiering görs under körning mot ett exekveringsspår (execution trace) som producerats av transpilatorn parallellt med översättningen med hjälp av symbolisk exekvering i den operationella semantiken för μSPL. En observationell studie görs för att utvärdera lösningen och sundheten hos den använda μSPL-semantiken. Från den observationella studien framgår det att den föreslagna metoden för översättningsverifikation är lämplig i sammanhanget, med utrymme för förbättring i implementationsdetaljerna.

Remote personal computer communication with IBM mainframes is often confined to low throughput (less than 19,200 baud), asynchronous serial lines managed by the mainframe through 3270 protocol converters. The capabilities of the personal computer are under utilized and limited to terminal emulation and file transfer. For such an environment, a software solution is presented to improve the computing platform between IBM mainframes and personal computers without modifying any existing, intervening communication equipment. Transparent communication support for distributed, interactive applications is provided through the operation of a data link control protocol. The communication services are applied to the development of a distributed WYSIWYG page previewer for SCRIPT/VS. / Master of Science

Head-up display (HUD) systems are systems that present data on a transparent display without requiring the user of the system to look away from their viewpoints. Although, HUD systems are not a new technology, as they have been initially developed in 1950s for military aircrafts, the last decade are also used in the automotive industry. Automotive HUD compliments the driver's visual information as it projects important driving information onto the driver’s windshield. The aim of the automotive HUD system is to provide information and assure the safety of the vehicle, however research studies show that it is sometimes considered a distraction for the drivers. Therefore, the purpose of this master’s thesis research is to explore and improve the understanding of the interaction between the car driver and the automotive Head-Up Display system. Further, the master’s thesis explores the suggestions of car drivers in order to improve their interaction with the automotive HUD system. For this, an interpretive qualitative focused-ethnographic research was conducted. The data was collected through passive observation and individual semi-structured face-to-face interviews with six purposively selected research participants-drivers of cars equipped with HUD system The collected data was analysed thematically to conclude to six themes, which represent the research findings. These research findings were discussed with the help of the theoretical framework, which included main concepts from the human-computer interaction body of research, including User-Centred Design. The research findings show that the participants receive visual information via the graphical interface of the HUD system and, at the same time, use the button interface on the steering wheel, and the touch screen on the centre console for input operations. The participants although overall satisfied by the interaction with the graphical interface, they experience some challenges. The findings show that the participants experience negative effects when disturbed by bright light, or misunderstood the information presented by the HUD system. However, most participants, especially those that are novice drivers, experience difficulties during their interactions regarding the input-based. Thus, the research contributes to the existing body of knowledge of the informatics research field and, in particular, the human-computer interaction body of research by providing insights regarding in-vehicle information systems and their interaction with the driver. The research also contributes to designers, developers, technology companies, and other interested stakeholders by offering insights and suggestions regarding the in-vehicle information systems based on a more user-centered design approach.