Search for dissertations about: "real-time systems"

Showing result 16 - 20 of 870 swedish dissertations containing the words real-time systems.

  2. 16. A calculus of real time systems

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

    Abstract : .... READ MORE

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

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

    Abstract : 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. READ MORE

  5. 18. 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 : 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;

    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

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

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

    Abstract : 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. READ MORE

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

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

    Abstract : .... READ MORE