Sökning: "Automotive systems"

Visar resultat 16 - 20 av 399 avhandlingar innehållade orden Automotive systems.

1. 16. On Cyber-Security for In-Vehicle Software

   Författare :Aljoscha Lautenbach; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Vehicular Security; Memory Protection; Automotive Security; Memory Exploitation; In-Vehicle Network; Risk Assessment; CAN authentication; Secure Software Development;

   Sammanfattning : We live in a highly connected world, which brings many opportunities, but which also makes us vulnerable to attacks. Security in regular IT systems, such as desktop and server systems, has decades of active research behind it, whereas security in the automotive domain is still a relatively new topic. LÄS MER

3. 17. Synthesis of Safety-Critical Real-Time Systems

   Författare :Yuanbin Zhou; Zebo Peng; Petru Ion Eles; Soheil Samii; Luis Almeida; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Safety-Critical Systems; Real-Time Systems; Time-Sensitive Networking; Mixed-Criticality Systems;

   Sammanfattning : Modern safety-critical real-time systems are becoming more and more complex, due to sophisticated applications such as advanced driving assistance, automated driving, advanced infotainment, and applications involving machine learning and deep learning. This has led to increased requirements for the communication infrastructures. LÄS MER

4. 18. Security Analysis of Web and Embedded Applications

   Författare :Benjamin Eriksson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Web application scanning; Content Security Policy; Vulnerabilities; Android Automotive;

   Sammanfattning : As we put more trust in the computer systems we use the need for security is increasing. And while security features like HTTPS are becoming commonplace on the web, securing applications remains dicult. This thesis focuses on analyzing dierent computer ecosystems to detect vulnerabilities and develop countermeasures. LÄS MER

5. 19. Modeling and Timing Analysis of Industrial Component-Based Distributed Real-time Embedded Systems

   Författare :Saad Mubeen; Mikael Sjödin; Jukka Mäki-Turja; Per Lindgren; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Distributed real-time embedded systems; component-based development; holistic response-time analysis; component model; timing model; Computer Science; datavetenskap;

   Sammanfattning : The model- and component-based development approach has emerged as an attractive option for the development of Distributed Real-time Embedded (DRE) systems. In this thesis we target several issues such as modeling of legacy communication, extraction of end-to-end timing models and support for holistic response-time analysis of industrial component-based DRE systems. LÄS MER

7. 20. Design of Assured and Efficient Safety-critical Systems

   Författare :Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Joost-Pieter Katoen; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems design; safety critical systems; real time systems; formal method; optimization; model checking; Simulink; Computer Science; datavetenskap;

   Sammanfattning : Safety-critical   systems   need   to   be   analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. LÄS MER