Search for dissertations about: "System abstraction"
Showing result 1 - 5 of 173 swedish dissertations containing the words System abstraction.
-
1. ForSyDe-Atom: Design of Heterogeneous Embedded Systems : Taming Complexity with Layers, Atoms and Patterns
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
-
2. Semantics, Decision Procedures, and Abstraction Refinement for Symbolic Trajectory Evaluation
Abstract : 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. READ MORE
-
3. Raising Abstraction of Timing Analysis through Model-Driven Engineering
Abstract : 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. READ MORE
-
4. An Integrated System-Level Design for Testability Methodology
Abstract : 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). READ MORE
-
5. Extending and Improving the Security Abstraction Model for Architectural Models of Autonomous Vehicles
Abstract : .... READ MORE