Sökning: "Embedded"

Visar resultat 16 - 20 av 1749 avhandlingar innehållade ordet Embedded.

1. 16. !secure(system) <=?=> !safe(system) : On Security and Safety of Industrial Software Systems

   Författare :Marcus Lindner; Per Lindgren; Valeriy Vyatkin; Knut Åkesson; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; hard real-time; concurrency; model of computation; safety-critical; safety; security; industrial automation; RTFM; real-time for the masses; Embedded Systems; Inbyggda system;

   Sammanfattning : The focus of our research work is on readily accessible, embedded, real-time development with concurrency support. To this end, we develop the Real-Time For the Masses (RTFM) programming framework with a model of computation based on tasks and resources and that stipulates a timing semantics. LÄS MER

3. 17. Embedded Controller for Artificial Limbs

   Författare :Enzo Mastinu; Chalmers tekniska högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Prosthetic Controller; Pattern Recognition; Osseointegrated Human-Machine Gateway OHMG ; Electromyography EMG ; Osseointegration.; Sensory Feedback;

   Sammanfattning : Promising developments are currently ongoing worldwide in the field of neuroprosthetics and artificial limb control. It is now possible to chronically connect a robotic limb to bone, nerves and muscles of a human being, and use the signals sourced from these connections to enable movements in the artificial limb. LÄS MER

4. 18. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models

   Författare :Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz; Guillermo Rodriguez-Navas; Riccardo Scandariato; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; requirements specification; embedded systems; ontology; formal methods; simulink; sat; domain specific language; requirements boilerplates; Computer Science; datavetenskap;

   Sammanfattning : Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. LÄS MER

5. 19. A reactive approach to component-based design of resource-constrained embedded systems

   Författare :Jimmie Wiklander; Tony Larsson; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Inbyggda system; Embedded System;

   Sammanfattning : Embedded systems have become commonplace in today's society and the number of functions and their complexity are steadily increasing. This can be attributed to the advances in the microprocessor technology and the continuous development of more powerful and power-efficient microprocessors, which, in turn, allows more elaborate software implementations. LÄS MER

7. 20. Satisfying Non-Functional Requirements in Model-Driven Development of Real-Time Embedded Systems

   Författare :Mehrdad Saadatmand; Mikael Sjödin; Antonio Cicchetti; Radu Dobrin; Paul Pop; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; non-functional requirements; model-driven development; real-time; embedded systems; Computer Science; datavetenskap;

   Sammanfattning : Design of real-time embedded systems is a complex and challenging task. Part of this complexity originates from their limited resources which incurs handling a big range of Non-Functional Requirements (NFRs). Therefore, satisfaction of NFRs plays an important role in the correctness of the design of these systems. LÄS MER