Sökning: "Real-Time Systems"

Visar resultat 31 - 35 av 874 avhandlingar innehållade orden Real-Time Systems.

  1. 31. !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 :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. 32. On robust and optimal control : with real time aspects

    Författare :Torbjörn Norlander; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reglerteknik; Control Engineering;

    Sammanfattning : This thesis deals with several issues in realistic design of control systems, both from a practical and a theoretical point of view. This is done in three papers which are preceded by an introduction and a short discussion on future research on time-varying delays. The first paper discusses the importance of reliable sensors in control systems. LÄS MER

  4. 33. Instruction cache memory : Issues in real-time systems

    Författare :Filip Sebek; Mälardalens högskola; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  5. 34. Design and Verification of Component Based Real-Time Systems

    Författare :John Håkansson; Paul Pettersson; Wang Yi; Johan Lilius; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Component Based Software; Real-Time Systems; Model Checking; Verification; Timed Automata; Embedded Systems; Computer science; Datavetenskap; Datavetenskap; Computer Science;

    Sammanfattning : The design of embedded real-time systems is becoming more and more challengingdue to the increasing complexity of new hardware platforms, requirements onnew system functionality, and economical constraints on system development.Component based design has been successful for the development of general-purposecomputer systems such as destop and e-business. LÄS MER

  7. 35. Architectures and Protocols for Performance Improvements of Real-Time Networks

    Författare :Kristina Kunert; Magnus Jonsson; Elisabeth Uhlemann; Eduardo Tovar; Högskolan i Halmstad; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Real-time communication; predictable deadline guarantees; real-time scheduling analysis; timing analysis; admission control; deterministic medium access; MAC; Quality of Service parameters; reliability; redundancy; retransmission scheme; ARQ; truncated ARQ; Automatic Repeat Request; wireless networks; IEEE 802.11; IEEE 802.15.4; fibre-optic networks; AWG; multichannel networks; industrial communications; embedded systems; Computer engineering; Datorteknik;

    Sammanfattning : When designing architectures and protocols for data traffic requiring real-time services, one of the major design goals is to guarantee that traffic deadlines can be met. However, many real-time applications also have additional requirements such as high throughput, high reliability, or energy efficiency. LÄS MER