Search for dissertations about: "Embedded-systems"

Showing result 1 - 5 of 268 swedish dissertations containing the word Embedded-systems.

  1. 1. GPU Support for Component-based Development of Embedded Systems

    Author : Gabriel Campeanu; Jan Carlson; Séverine Sentilles; Ivica Crnkovic; Tomas Bures; Mälardalens högskola; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; component-based development; CBD; software component; GPU; embedded systems; allocation; Computer Science; datavetenskap;

    Abstract : One pressing challenge of many modern embedded systems is to successfully deal with the considerable amount of data that originates from the interaction with the environment. A recent solution comes from the use of GPUs. READ MORE

  2. 2. Architecture-Based Verification of Dependable Embedded Systems

    Author : Andreas Johnsen; Kristina Lundqvist; Paul Pettersson; Birgitta Lindström; Mälardalens högskola; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; architecture-based verification; dependable embedded systems; AADL; architecture quality assurance; UPPAAL; Computer Science; datavetenskap;

    Abstract : Quality assurance of dependable embedded systems is becoming increasingly difficult, as developers are required to build more complex systems on tighter budgets. As systems become more complex, system architects must make increasingly complex architecture design decisions. READ MORE

  3. 3. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems

    Author : Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; hard real-time; concurrency; model of computation; safety-critical; safety; security; industrial automation; RTFM; real-time for the masses; Embedded Systems; Inbyggda system;

    Abstract : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. READ MORE

  4. 4. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models

    Author : Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz; Guillermo Rodriguez-Navas; Riccardo Scandariato; Mälardalens högskola; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; requirements specification; embedded systems; ontology; formal methods; simulink; sat; domain specific language; requirements boilerplates; Computer Science; datavetenskap;

    Abstract : Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. READ MORE

  5. 5. Satisfying Non-Functional Requirements in Model-Driven Development of Real-Time Embedded Systems

    Author : Mehrdad Saadatmand; Mikael Sjödin; Antonio Cicchetti; Radu Dobrin; Paul Pop; Mälardalens högskola; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; non-functional requirements; model-driven development; real-time; embedded systems; Computer Science; datavetenskap;

    Abstract : Design of real-time embedded systems is a complex and challenging task. Part of this complexity originates from their limited resources which incurs handling a big range of Non-Functional Requirements (NFRs). Therefore, satisfaction of NFRs plays an important role in the correctness of the design of these systems. READ MORE