Sökning: "system abstraction"

Visar resultat 1 - 5 av 178 avhandlingar innehållade orden system abstraction.

  1. 1. 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

  3. 2. Semantics, Decision Procedures, and Abstraction Refinement for Symbolic Trajectory Evaluation

    Författare :Jan-Willem Roorda; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Semantics; Abstraction; Satisfiability Solver; Symbolic Trajectory Evaluation; Formal Verification.; Model Checking;

    Sammanfattning : The rapid growth in hardware complexity has led to a need for formal verification of hardware designs to prevent bugs from entering the final silicon. Model-checking is a verification method in which a model of a system is checked against a property, describing the desired behaviour of the system over time. LÄS MER

  4. 3. Raising Abstraction of Timing Analysis through Model-Driven Engineering

    Författare :Alessio Bucaioni; De-Jiu Chen; Mälardalens högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning :  The complexity of software running on vehicular embedded systems is constantlyincreasing and this negatively affects its development costs and time tomarket. One way to deal with these issues is to boost abstraction in the formof models to (i) ease the reasoning about the system architecture, (ii) automatecertain stages of the development, (iii) early detect flaws in the system architecturethrough fundamental analysis and (iv) take appropriate countermeasuresbefore the system is implemented. LÄS MER

  5. 4. An Integrated System-Level Design for Testability Methodology

    Författare :Erik Larsson; Zebo Peng; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Digital systems; Test design; System-on-chip; Hardware; Systems design; Testing; Dissertations; Hårdvara; Systemutveckling; Testning; Databehandling Systemutveckling; Computer and systems science; Data- och systemvetenskap;

    Sammanfattning : HARDWARE TESTING is commonly used to check whether faults exist in a digital system. Much research has been devoted to the development of advanced hardware testing techniques and methods to support design for testability (DFT). LÄS MER

  7. 5. Extending and Improving the Security Abstraction Model for Architectural Models of Autonomous Vehicles

    Författare :Matthias Bergler; Kristina Lundqvist; Ramin Tavakoli Kolagari; Friedhelm Stappert; Mälardalens universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Science; datavetenskap;

    Sammanfattning : .... LÄS MER