Search for dissertations about: "model system"

Showing result 1 - 5 of 7552 swedish dissertations containing the words model system.

  1. 1. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems

    Author : Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
    Keywords : 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;

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

  2. 2. Architecting model driven system integration in production engineering

    Author : Yujiang Li; Lars Mattsson; Gunilla Franzén Sivard; Torsten J. A. Kjellberg; Mikael Hedlind; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; System architecture; system integration; information model; ISO 10303; application context; implementation context; implementation model.; Production Engineering; Industriell produktion;

    Abstract : System integration is a key enabler to maximize information value in an engineering context. The valuable information is normally represented by information models which play a decisive role in the implementation of system integration. READ MORE

  3. 3. Pavement maintenance budget allocation policy analysis and design : the Swedish National Road Administration case

    Author : Jamal M. Nasir; Chalmers tekniska högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; infrastructure system; system thinking; LCCA; system dynamics; road transport system; pavement management system; simulation model; highway management system;

    Abstract : .... READ MORE

  4. 4. Model-checking and Model-based Testing of Automotive Embedded Systems : Starting from the System Architecture

    Author : Raluca Marinescu; Cristina Seceleanu; Bernhard Aichernig; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Nowadays, modern vehicles are equipped with electrical and electronic systems that implement highly complex functions such as anti-lock braking or cruise control. The use of such embedded systems in the automotive domain requires a revised development process that addresses their particular features. READ MORE

  5. 5. Distributed System Simulation Methods : For Model-Based Product Development

    Author : Robert Braun; Petter Krus; Nigel Johnston; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Distributed system simulation can increase performance, re-usability and modularity in model-based product development. This thesis investigates four aspects of distributed simulation: multi-threaded simulations, simulation tool coupling, distributed equation solvers and parallel optimization algorithms. READ MORE