Search for dissertations about: "Inbyggda system"

Showing result 1 - 5 of 310 swedish dissertations containing the words Inbyggda 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. Dependable Distributed Control System : Redundancy and Concurrency defects

    Author : Bjarne Johansson; Thomas Nolte; Alessandro Papadopoulos; Luis Almeida; Mälardalens universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Abstract : Intelligent devices, interconnectivity, and information exchange are characteristics often associated with Industry 4.0. A peer-to-peer-oriented architecture with the network as the system center succeeds the traditional controller-centric topology used in today's distributed control systems, improving information exchange in future designs. READ MORE

  3. 3. ForSyDe-Atom: Design of Heterogeneous Embedded Systems : Taming Complexity with Layers, Atoms and Patterns

    Author : George Ungureanu; Ingo Sander; Reinhard von Hanxleden; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; system design languages; modeling; simulation; synthesis; embedded systems; cyber-physical systems; domain specific languages; systemdesignspråk; modellering; simulering; syntes; inbyggda system; cyberfysiska system; domänspecifika språk; Informations- och kommunikationsteknik; Information and Communication Technology;

    Abstract : The design of embedded systems is inherently complex for two main reasons. Firstly, it entails the combined knowledge and results from a vast set of mature, well-established, yet separate disciplines, such as electrical engineering, computer science, mechanical engineering, etc. READ MORE

  4. 4. Multi-Criteria Optimization of System Integration Testing

    Author : Sahar Tahvili; Markus Bohlin; Franz Wotawa; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Software Testing; Optimization; Integration Testing; Decision Support System; Dependency; Test Scheduling; Requirement Coverage; Computer Science;

    Abstract : Optimizing software testing process has received much attention over the last few decades. Test optimization is typically seen as a multi-criteria decision making problem. One aspect of test optimization involves test selection, prioritization and execution scheduling. READ MORE

  5. 5. Industrial System Level Test Automation

    Author : Daniel Flemström; Wasif Afzal; Eduard Paul Enoiu; Sundmark Daniel; Andy Zaidman; Mälardalens högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Abstract : Vehicular software systems control and monitor many safety-critical functions, such as automated emergency brakes and anti-spin. These functions are integrated and tested at system level to ensure that the entire system works as intended.Traditionally, these functions or selected combinations of functions are tested in isolation. READ MORE