Essays about: "embedded system application"

Showing result 16 - 20 of 202 essays containing the words embedded system application.

  1. 16. RTIC Scope : Real-Time Tracing for the RTIC RTOS Framework

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Viktor Sonesten; [2022]
    Keywords : embedded-rust; cortex-m; rtic; rtos; tracing;

    Abstract : Work done at Luleå Technical University regarding the RTIC RTOS framework is expanded upon to yield a convenient toolset for event-based instrumentation by exploiting debug peripherals available on the ARMv7-M platform. By parsing the source of an RTIC application and recovering instrumentation metadata from user-supplied information, the target-emitted trace stream is decoded and mapped to RTIC task events, yielding a timeline of events that can be analyzed live and postmortem by help of a recording host-side daemon. READ MORE

  3. 17. RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution

    University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Author : Mark Håkansson; [2022]
    Keywords : RTIC; symbolic execution; embedded systems; software verification; software analysis; schedulability;

    Abstract : In this thesis, the proof-of-concept tool RAUK for automatically analyzing RTIC applications for schedulability using symbolic execution is presented. The RTIC framework provides a declarative executable model for building embedded applications, which behavior is based on established formal methods and policies. READ MORE

  4. 18. Development of an electric driveline model for multiscale road-cargo simulations

    University essay from KTH/Väg- och spårfordon samt konceptuell fordonsdesign

    Author : Runzhe Wu; [2022]
    Keywords : System Engineering; AnyLogic Traffic Simulation; Simulink Simulation; Driveline Model Building; C Program Execution; Systemteknik; AnyLogic Trafiksimulering; Simulink Simulering; Drivelinemodell; C Programexekvering;

    Abstract : Currently, the road cargo system with low or zero CO2 emission is under rapid development. Heavy-duty trucks with electrified driveline systems will be the workhorse of future freight. READ MORE

  5. 19. Ontology and Law: Bioprospecting in Antarctica

    University essay from Uppsala universitet/Institutionen för geovetenskaper

    Author : Rakesh Prasad; [2022]
    Keywords : Sustainable Development; Conceptual Modeling; Ontological Legal Research; Knowledge Artifact; Activity Theory; Deep Text;

    Abstract : Could it be that even though no international treaty or regulation regulates bioprospecting in Antarctica, some features of the techno-science of bioprospecting already lie embedded in the deep texts of the potentially most relevant treaties and regulations? If so, international law already to that extent comprehends the phenomenon, making for sustainable governance and thereby sustainable development. To find out, first an ontology of bioprospecting was synthesized, by an activity theory based conceptual system modeling (CSM). READ MORE

  6. 20. A Benchmark and Evaluation of Imperas OVPSim Virtual Platform Tool Using RISC-V Processors

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Annan Liu; [2022]
    Keywords : ;

    Abstract : In recent years, there has been a rapid development of embedded processors. These processors are designed for domains like aerospace, automotive, automation, healthcare, and more. However, both hardware and software must be validated before the actual application. Manufacturing a processor requires extremely high cost and a long time to finish. READ MORE