Sökning: "Embedded Annotations"
Visar resultat 1 - 5 av 6 uppsatser innehållade orden Embedded Annotations.
- Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik
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
- Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)
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
- Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi
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
- Master-uppsats, Högskolan i Halmstad/Halmstad Embedded and Intelligent Systems Research (EIS)
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
- Master-uppsats, Linköpings universitet/Institutionen för datavetenskap
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