Sökning: "real-time modelling"

Visar resultat 1 - 5 av 94 avhandlingar innehållade orden real-time modelling.

  1. 1. 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

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

    Författare :Aleksandra Tešanović; Linköpings universitet; []
    Nyckelord :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;

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

  4. 3. 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

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

    Författare :Ola Redell; KTH; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  7. 5. Practical verification of real-time systems

    Författare :Alexandre David; Wang Yi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

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