Sökning: "Embedded Systems"

Visar resultat 11 - 15 av 668 avhandlingar innehållade orden Embedded Systems.

  1. 11. Model Based Development of Embedded Systems using Logical Clock Constraints and Timed Automata

    Författare :Jagadish Suryadevara; Paul Pettersson; Cristina Seceleanu; Robert De Simone; Mälardalens högskola; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Embedded Systems; Model-based development; Model-Checking; Architectural Modeling; CCSL; Timed Automata;

    Sammanfattning : In modern times, human life is intrinsically depending on real-time embedded systems (RTES) with increasingly safety-critical and mission-critical features, for instance, in domains such as automotive and avionics. These systems are characterized by stringent functional requirements and require predictable timing behavior. LÄS MER

  2. 12. An infrastructure for service-oriented embedded internet systems

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

    Sammanfattning : Embedded systems are in general designed to do some specific task, rather than be a general-purpose computer for multiple tasks. Common for embedded systems is that processing devices, sensors, transceivers, actuators, networks, and software are built into a system, encapsulated by the device it controls. LÄS MER

  3. 13. 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. 14. Scheduling and Optimization of Fault-Tolerant Embedded Systems

    Författare :Viacheslav Izosimov; Zebo Peng; Petru Eles; Anton Cervin; Linköpings universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Embedded systems; Real-Time systems; Design optimization; Fault tolerance; Transient faults; Soft errors; Computer and systems science; Data- och systemvetenskap;

    Sammanfattning : Safety-critical applications have to function correctly even in presence of faults. This thesis deals with techniques for tolerating effects of transient and intermittent faults. Reexecution, software replication, and rollback recovery with checkpointing are used to provide the required level of fault tolerance. LÄS MER

  5. 15. 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