Sökning: "Embedded System"

Visar resultat 26 - 30 av 794 avhandlingar innehållade orden Embedded System.

  1. 26. Model-driven Analysis and Verification of Automotive Embedded Systems

    Författare :Raluca Marinescu; Cristina Seceleanu; David Garlan; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Modern vehicles are equipped with electrical and electronic systems that implement highly complex functions, such as anti-lock braking, cruise control, etc. To realize and integrate such complex embedded systems, the automotive development process requires an updated methodology that takes into consideration the system’s intricate features and examines both their functional and extra-functional requirements. LÄS MER

  3. 27. Formal Verification of Adaptive Real-Time Systems by Extending Task Automata

    Författare :Leo Hatvani; Paul Pettersson; Cristina Seceleanu; Brian Nielsen; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; formal verification; embedded systems; timed automata; scheduling; Computer Science; datavetenskap;

    Sammanfattning : Recently, we have seen an increase in the deployment of safety critical embedded systems in rapidly changing environments, as well as requirement for on-site customizations and rapid adaptation. To address the extended range of requirements, adaptation mechanism are added to the systems to handle large number of situations appropriately. LÄS MER

  4. 28. On Improving Resource Utilization in Distributed Real-Time Embedded Systems

    Författare :Meng Liu; Thomas Nolte; Moris Behnam; Petru Eles; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : In our modern life, embedded systems are playing an essential role. An embedded system is a computer system embedded into a certain device, in order to achieve computing functions. Beyond all doubt, as a validated system, the functional correctness must be guaranteed. LÄS MER

  5. 29. Security-Driven Design of Real-Time Embedded Systems

    Författare :Ke Jiang; Zebo Peng; Petru Eles; Axel Jantsch; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Security; Embedded System; Real-Time System; Design; Optimization;

    Sammanfattning : Real-time embedded systems (RTESs) have been widely used in modern society. And it is also very common to find them in safety and security critical applications, such as transportation and medical equipment. LÄS MER

  7. 30. Evolutionary Aspects of Complex Embedded Systems with Long Life Cycles

    Författare :Daniel Hallmans; Thomas Nolte; Benny Thörnberg; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : .... LÄS MER