Search for dissertations about: "Embedded-systems"

Showing result 16 - 20 of 386 swedish dissertations containing the word Embedded-systems.

  2. 16. Model-driven Analysis and Verification of Automotive Embedded Systems

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

    Abstract : 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. READ MORE

  4. 17. Formal Verification of Adaptive Real-Time Systems by Extending Task Automata

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

    Abstract : 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. READ MORE

  5. 18. On Improving Resource Utilization in Distributed Real-Time Embedded Systems

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

    Abstract : 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. READ MORE

  6. 19. A Formalized Approach to Multi-View Components for Embedded Systems : Applied to Tool Integration, Run-Time Adaptivity and Architecture Exploration

    Author : Magnus Persson; Martin Törngren; De-Jiu Chen; Werner Damm; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; view; viewpoint; architecture; component; view integration; architecture exploration; component-based development; multi-view modeling; model-based design; CESAR; DySCAS; ESPRESSO;

    Abstract : Development of embedded systems poses an increasing challenge fordevelopers largely due to increasing complexity. Several factors contribute tothe complexity challenge:• the number of extra-functional properties applying to embedded systems,such as resource usage, timing effects, safety. READ MORE

  7. 20. Model-checking and Model-based Testing of Automotive Embedded Systems : Starting from the System Architecture

    Author : Raluca Marinescu; Cristina Seceleanu; Bernhard Aichernig; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Nowadays, modern vehicles are equipped with electrical and electronic systems that implement highly complex functions such as anti-lock braking or cruise control. The use of such embedded systems in the automotive domain requires a revised development process that addresses their particular features. READ MORE