Sökning: "Inbyggda system"

Visar resultat 1 - 5 av 312 avhandlingar innehållade orden Inbyggda system.

  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 :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. Dependable Distributed Control System : Redundancy and Concurrency defects

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

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

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

    Författare :George Ungureanu; Ingo Sander; Reinhard von Hanxleden; KTH; []
    Nyckelord :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;

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

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

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

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

  7. 5. Industrial System Level Test Automation

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

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