Sökning: "Distributed embedded systems"

Visar resultat 1 - 5 av 105 avhandlingar innehållade orden Distributed embedded systems.

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

    Författare :Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; 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;

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

  3. 2. Timing Analysis of Distributed Embedded Systems with Stochastic Workload and Realiability Constraints

    Författare :Bogdan Tanasa; Petru Eles; Zebo Peng; Unmesh Dutta Bordoloi; Lucia Lo Bello; Linköpings universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; perfomance analysis; real-time systems; distributed systems; fault tolerance; probabilistic analysis;

    Sammanfattning : Today's distributed embedded systems are exposed to large variations in workload due to complex software applications and sophisticated hardware platforms. Examples of such systems are automotive and avionics applications.The tasks running on computational units have variable execution times. LÄS MER

  4. 3. Design of Assured and Efficient Safety-critical Systems

    Författare :Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Joost-Pieter Katoen; Mälardalens högskola; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; embedded systems design; safety critical systems; real time systems; formal method; optimization; model checking; Simulink; Computer Science; datavetenskap;

    Sammanfattning : Safety-critical   systems   need   to   be   analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. LÄS MER

  5. 4. On analysis and design of dependable distributed systems

    Författare :Håkan Sivencrona; Chalmers University of Technology; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; design methodology; dependability assesment; real-time communication; and safety critical control systems; embedded systems; distributed systems; time-triggered systems; design principles; distributed control;

    Sammanfattning : .... LÄS MER

  7. 5. An infrastructure for service-oriented embedded internet systems

    Författare :Åke Östmark; Luleå tekniska universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Embedded System; Inbyggda system;

    Sammanfattning : Embedded systems are in general designed to do some specific task, rather than be a general-purpose computer for multiple tasks. Common for embedded systems is that processing devices, sensors, transceivers, actuators, networks, and software are built into a system, encapsulated by the device it controls. LÄS MER