Sökning: "Inbyggda system"

Visar resultat 1 - 5 av 232 avhandlingar innehållade orden Inbyggda system.

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

    Författare :Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
    Nyckelord :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;

    Sammanfattning : 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. LÄS MER

  3. 2. Embedded internet system architectures

    Författare :Åke Östmark; Luleå tekniska universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

    Sammanfattning : Today, using computers is a daily thing for many people over the world. We use computers to for example communicate, read news, search for sport events, correspond with e-mail, participate in meetings, and download the latest polyphonic ring tones for our mobile phones. LÄS MER

  4. 3. Multi-Criteria Optimization of System Integration Testing

    Författare :Sahar Tahvili; Franz Wotawa; Markus Bohlin; Mälardalens högskola; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Testing; Optimization; Integration Testing; Decision Support System; Dependency; Test Scheduling; Requirement Coverage; Computer Science; datavetenskap;

    Sammanfattning : Optimizing software testing process has received much attention over the last few decades. Test optimization is typically seen as a multi-criteria decision making problem. One aspect of test optimization involves test selection, prioritization and execution scheduling. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  7. 5. Component-based software design of embedded real-time systems

    Författare :Jimmie Wiklander; Luleå tekniska universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

    Sammanfattning : Embedded systems have become commonplace in today's society and their complexity and number of functions are steadily increasing. This can be attributed to the unceasing advances in the microprocessor technology and the continuous delivery of more powerful and power-efficient microprocessors, which, in turn, allows more elaborate software implementations. LÄS MER