Search for dissertations about: "real-time modelling"

Showing result 1 - 5 of 89 swedish dissertations containing the words real-time modelling.

  1. 1. On robust and optimal control : with real time aspects

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

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

  2. 2. Towards Aspectual Component-Based Real-Time System Development

    Author : Aleksandra Tešanović; Linköpings universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; aspect-oriented software development; component-based software development; real-time systems; embedded systems; database systems; aspects; components; worst-case execution time; Computer science; Datavetenskap;

    Abstract : Increasing complexity of real-time systems and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principles such as aspect-oriented and component-based software development. The integration of these two techniques into real-time systems development would enable: (i) efficient system configuration from the components in the component library based on the system requirements, (ii) easy tailoring of components and/or a system for a specific application by changing the behavior (code) of the component by aspect weaving, and (iii) enhanced flexibility of the real-time and embedded software through the notion of system configurability and component tailorability. READ MORE

  3. 3. Design and Verification of Component Based Real-Time Systems

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

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

  4. 4. Modelling of distributed real-time control systems : an approach for design and early analysis

    Author : Ola Redell; KTH; []
    Keywords : ;

    Abstract : .... READ MORE

  5. 5. Practical verification of real-time systems

    Author : Alexandre David; Wang Yi; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Abstract : Formal methods are becoming mature enough to be used on nontrivial examples. They are particularly well fitted for real-time systems whose correctness is defined in terms of correct responses at correct times. Most common real-time systems are of reasonable size and can therefore be handled by an automatic verification tool such as Uppaal. READ MORE