Sökning: "embedded generation"

Visar resultat 16 - 20 av 120 avhandlingar innehållade orden embedded generation.

1. 16. Model-Implemented Fault Injection for Robustness Assessment

   Författare :Rickard Svenningsson; Martin Törngren; Sasikumar Punnekkat; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Fault Injection; Model-Implemented Fault Injection; Robustness; Assessment; ISO 26262; ISO 61508; Software;

   Sammanfattning : The complexity of safety-related embedded computer systems is steadilyincreasing. Besides verifying that such systems implement the correct functionality, it is essential to verify that they also present an acceptable level of robustness. LÄS MER

3. 17. Model Checking-Based Software Testing for Function-Block Diagrams

   Författare :Eduard Enoiu; Mohammad Reza Mousavi; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

   Sammanfattning : Software testing becomes more complex, more time-consuming, and more expensive. The risk that software errors remain undetected and cause critical failures increases. Consequently, in safety-critical development, testing software is standardized and it requires an engineer to show that tests fully exercise, or cover, the logic of the software. LÄS MER

4. 18. Test Models and Algorithms for Model-Based Testing of Software Product Lines

   Författare :Mahsa Varshosaz; Slawomir Nowaczyk; Maurice ter Beek; Högskolan i Halmstad; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : Software product line (SPL) engineering has become common practice for mass production and customization of software. A software product line comprises a family of software systems which share a managed core set of artifacts. There are also a set of well-defined variabilities between the products of a product line. LÄS MER

5. 19. Journeys in vector space: Using deep neural network representations to aid automotive software engineering

   Författare :Dhasarathy Parthasarathy; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automotive software design and testing; generative adversarial networks; latent space arithmetic; generative AI; explainable AI; large language models;

   Sammanfattning : Context - The automotive industry is in the midst of a transformation where software is becoming the primary tool for delivering value to customers. While this has vastly improved their product offerings, vehicle manufacturers are facing an urgent need to continuously develop, test, and deliver functionality, while maintaining high levels of quality. LÄS MER

7. 20. Falsification of Signal-Based Specifications for Cyber-Physical Systems

   Författare :Johan Lidén Eddeland; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Simulation-Based Verification; Testing; Falsification; Cyber-Physical Systems;

   Sammanfattning : In the development of software for modern Cyber-Physical Systems, testing is an integral part that is rightfully given a lot of attention. Testing is done on many different abstraction levels, and especially for large-scale industrial systems, it can be difficult to know when the testing should conclude and the software can be considered correct enough for making its way into production. LÄS MER