Search for dissertations about: "Marcus Lindner"

Found 2 swedish dissertations containing the words Marcus Lindner.

  1. 1. Robust industrial automation software: outsets for non-determinism and real-time execution

    Author : Marcus Lindner; Alois Zoitl; Luleå tekniska universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded Systems;

    Abstract : Studies about the industrial standard IEC 61499 and its relation to the RTFM Model of Computation represent the basis of this thesis. An overview of industrial automation software in general and in the scope of Svenska Kraftnät introduces the subject of software related issues. READ MORE

  2. 2. !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