Sökning: "Embedded System"

Visar resultat 36 - 40 av 794 avhandlingar innehållade orden Embedded System.

1. 36. Design of Assured and Efficient Safety-critical Systems

   Författare :Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Joost-Pieter Katoen; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems design; safety critical systems; real time systems; formal method; optimization; model checking; Simulink; Computer Science; datavetenskap;

   Sammanfattning : Safety-critical   systems   need   to   be   analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. LÄS MER

3. 37. Real-Time Communication over Wormhole-Switched On-Chip Networks

   Författare :Meng Liu; Thomas Nolte; Moris Behnam; Christian Fraboul; Mälardalens högskola; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; real-time system; network-on-chips; Computer Science; datavetenskap;

   Sammanfattning : In a modern industrial system, the requirement on computational capacity has increased dramatically, in order to support a higher number of functionalities, to process a larger amount of data or to make faster and safer run-time decisions. Instead of using a traditional single-core processor where threads can only be executed sequentially, multi-core and many-core processors are gaining more and more attentions nowadays. LÄS MER

4. 38. The role of fault management in the embedded system design

   Författare :Carlo Vitucci; Daniel Sundmark; Thomas Nolte; Fredrik Asplund; Mälardalens universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Fault Management; Resilient system; Recovery methodology.; Computer Science; datavetenskap;

   Sammanfattning : In the last decade, the world of telecommunications has seen the value ofservices definitively affirmed and the loss of the connectivity value. This changeof pace in the use of the network (and available hardware resources) has ledto continuous, unlimited growth in data traffic, increased incomes for serviceproviders, and a constant erosion of operators’ incomes for voice and ShortMessage Service (SMS) traffic. LÄS MER

5. 39. Verification of Component-based Embedded System Designs

   Författare :Daniel Karlsson; Petru Eles; Zebo Peng; Bashir Al-Hashimi; Linköpings universitet; []
   Nyckelord :Datorsystem; embedded systems; formal verification; Petri-net; IP; reuse; components; model checking; simulation; Datorsystem; TECHNOLOGY; TEKNIKVETENSKAP;

   Sammanfattning : Embedded systems are becoming increasingly common in our everyday lives. As technology progresses, these systems become more and more complex. Designers handle this increasing complexity by reusing existing components. At the same time, the systems must fulfill strict functional and non-functional requirements. LÄS MER

7. 40. Analysis of Embedded Controllers Subject to Computational Overruns

   Författare :Nils Vreman; Institutionen för reglerteknik; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Fault-tolerance; Real-time systems; Weakly-Hard; Embedded control;

   Sammanfattning : Microcontrollers have become an integral part of modern everyday embedded systems, such as smart bikes, cars, and drones. Typically, microcontrollers operate under real-time constraints, which require the timely execution of programs on the resource-constrained hardware. LÄS MER