Essays about: "automation tooling"

Showing result 1 - 5 of 7 essays containing the words automation tooling.

1. 1. Method and Tooling for Automated Conformance Checking between Architecture - design and Implementation

   University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

   Author : Vibha Satyam; [2023-10-25]
   Keywords : Architecture Model; UML diagram; implementation; coding; conformance checking; mapping schema; parsing tool;

   Abstract : Many software and/or automotive companies use UML models to write the requirements and later they are implemented by coding. Involving multiple engineers from different teams makes the whole process complex and cumbersome. READ MORE

3. 2. Automating Deployments of Trusted Execution Environments

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Gidófalvy Gordon Zsolt; [2023]
   Keywords : hardware TEE; Intel SGX; AMD SEV; SEV-SNP; automation; configuration management; Ansible; scripting; OS dependency management; automation tooling; system tooling; system administration; hardware TEE; Intel SGX; AMD SEV; SEV-SNP; automatisering; konfigurationshantering; Ansible; skript; hantering av OS-beroenden; verktyg för automatisering; systemverktyg; systemverktyg; systemadministration; hardware TEE; Intel SGX; AMD SEV; SEV-SNP; automatisering; konfigurationshantering; Ansible; skript; hantering av OS-beroenden; verktyg för automatisering; systemverktyg; systemverktyg; systemadministration;

   Abstract : Hardware-based TEEs (Trusted Execution Environments) are gaining adoption and becoming more prevalent in today’s computing landscape. In a cloud-native world, where everything runs on ephemeral compute, having the luxury of experts setting up computation environments before running a workload is no longer a possibility. READ MORE

4. 3. Automating and increasing efficiency of component documentation maintenance : A case study

   University essay from Blekinge Tekniska Högskola/Institutionen för programvaruteknik

   Author : Lowe Wilsson; [2022]
   Keywords : case study; component documentation; automated tests; infrastructure as code;

   Abstract : Context. Maintaining good software documentation quality is an important aspect of software maintenance. To decrease associated costs, interest in automating documentation tasks has recently increased. However, there is a lack of guidance regarding how practitioners may apply related research findings to pre-existing documentation. READ MORE

5. 4. Feasibility analysis of cobots for automation of tightening stations in motor vehicle engine assembly lines

   University essay from KTH/Fordonsdynamik

   Author : Gabriel Tobler; [2020]
   Keywords : ;

   Abstract : The trend of increasingly automated tightening stations in the motor vehicle powertrain production industry, is driving the tooling industry to adapt its of-fering. This thesis aims to answer the question if collaborative robots (cobots) are suitable for tightening applications in motor vehicle engine assembly lines. READ MORE

6. 5. Verifying Temporal Properties Using Deductive Verifiers

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Jesper Amilon; Axel Lindeberg; [2019]
   Keywords : ;

   Abstract : Formal verification is an area of theoretical computer science where mathematical logic is used to prove that a program behaves in a certain way. With the methods in formal verification, you can prove that the program follows some given specification and thereby behaves in the desired way. The area is largely split up into two distinct parts. READ MORE