Sökning: "Embedded Annotations"

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

  1. 1. Design and Assessment of an Engine for Embedded Feature Annotations

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Tobias Schwarz; [2021-03-03]
    Nyckelord :Embedded Annotations; Feature; Software Engineering; Software Product Line; Git; Partial Commits;

    Sammanfattning : Features are an inherent unit of development of every software; and are defined as aset of implementation artifacts that constitute a functionality that adds value to theproduct, and is perceived useful by the customer. Locating features in source code isa typical software developer task, whether it before implementing a new feature, ormaintaining and bug fixing of existing ones, as it is essential to know where to makechanges. LÄS MER

  2. 2. Synthesis of Annotations for Partially Automated Deductive Verification

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Daniel Skantz; [2021]
    Nyckelord :;

    Sammanfattning : We investigate the possibility of inferring annotations from source code to enable a partially automated process of deductive verification within the scope of embedded systems code. Specifically, we design a plugin for the verification framework Frama-C, that synthesizes function contracts including every precondition necessary to later prove functional software specifications. LÄS MER

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

  4. 4. Lightweight Three-Dimensional Visualization For Hybrid Systems Simulation

    Master-uppsats, Högskolan i Halmstad/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

  5. 5. Integrated generic 3D visualization of Modelica models

    Master-uppsats, Linköpings universitet/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