Sökning: "real-time systems"

Visar resultat 16 - 20 av 872 avhandlingar innehållade orden real-time systems.

  1. 16. A calculus of real time systems

    Författare :Yi Wang; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; timed calculi; Milner s CCS; process algebras; real time systems;

    Sammanfattning : .... LÄS MER

  3. 17. Security-Driven Design of Real-Time Embedded Systems

    Författare :Ke Jiang; Zebo Peng; Petru Eles; Axel Jantsch; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Security; Embedded System; Real-Time System; Design; Optimization;

    Sammanfattning : Real-time embedded systems (RTESs) have been widely used in modern society. And it is also very common to find them in safety and security critical applications, such as transportation and medical equipment. LÄS MER

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

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

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

  5. 19. Management of Real-Time Data Consistency and Transient Overloads in Embedded Systems

    Författare :Thomas Gustafsson; Jörgen Hansson; Ming Xiong; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Real-time systems; Real-time databases; Embedded systems; Similarity; Transient overloads; Computer science; Datalogi;

    Sammanfattning : This thesis addresses the issues of data management in embedded systems' software. The complexity of developing and maintaining software has increased over the years due to increased availability of resources, e.g., more powerful CPUs and larger memories, as more functionality can be accommodated using these resources. LÄS MER

  7. 20. Enabling Reactive Design of Robust Real-Time Embedded Systems

    Författare :Johan Eriksson; Per Lindgren; Zoran Salcic; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Embedded Systems; Inbyggda system;

    Sammanfattning : .... LÄS MER