Sökning: "Embedded Annotations"

Visar resultat 6 - 9 av 9 uppsatser innehållade orden Embedded Annotations.

  1. 6. Automatic Verification of Embedded Systems Using Horn Clause Solvers

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Anoud Alshnakat; [2019]
    Nyckelord :;

    Sammanfattning : Recently, an increase in the use of safety-critical embedded systems in the automotive industry has led to a drastic up-tick in vehicle software and code complexity. Failure in safety-critical applications can cost lives and money. LÄS MER

  3. 7. Lightweight Three-Dimensional Visualization For Hybrid Systems Simulation

    Master-uppsats, Halmstad Embedded and Intelligent Systems Research (EIS)

    Författare :yingfu zeng; [2012]
    Nyckelord :3D Visualization; Simulation; Acumen;

    Sammanfattning : Simulation plays a key role in the computer-aided design of systems, primarily because it helps in catching design bugs at an early stage and in quickly ruling out many unreasonable options in the design space. There is a wealth of tools and languages that have been proposed over the years for the design and verification of hybrid systems and most of them provide 3D visualization utility for facilitating design process. LÄS MER

  4. 8. Integrated generic 3D visualization of Modelica models

    Master-uppsats, Institutionen för datavetenskap

    Författare :Henrik Magnusson; [2008]
    Nyckelord :visualization;

    Sammanfattning : OpenModelica is a complete environment for developing and simulatingModelica models based on free software. It is promoted and developed bythe OpenModelica Consortium. LÄS MER

  5. 9. A Collaborative VolumeViewer

    Uppsats för yrkesexamina på grundnivå, Institutionen för teknik och naturvetenskap

    Författare :Staffan Palmberg; Magnus Ranlöf; [2002]
    Nyckelord :Datorteknik; Medical imaging; 3D visualization; Collaborative visualization; 3D annotations; Visual User Interface; Datorteknik;

    Sammanfattning : This study has been carried out as a part of the EC funded project, SMARTDOC IST-2000-28137, with the objective of developing application components that provide highly interactive visualization and collaboration functionalities. The low-level components from the graphics library AVS OpenViz 2.0 are used as the development basis. LÄS MER