Search for dissertations about: "Marcus Lindner"
Found 2 swedish dissertations containing the words Marcus Lindner.
-
1. Robust industrial automation software: outsets for non-determinism and real-time execution
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. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems
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