Sökning: "Datavetenskap med inriktning mot realtidssystem"

Hittade 2 avhandlingar innehållade orden Datavetenskap med inriktning mot realtidssystem.

1. 1. New Techniques for Building Timing-Predictable Embedded Systems

   Författare :Nan Guan; Wang Yi; Lothar Thiele; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Real-time systems; WCET analysis; cache analysis; abstract interpretation; multiprocessor scheduling; fixed-priority scheduling; EDF; multi-core processors; response time analysis; utilization bound; real-time calculus; scalability; Datavetenskap med inriktning mot realtidssystem; Computer Science with specialization in Real Time Systems;

   Sammanfattning : Embedded systems are becoming ubiquitous in our daily life. Due to close interaction with physical world, embedded systems are typically subject to timing constraints. At design time, it must be ensured that the run-time behaviors of such systems satisfy the pre-specified timing constraints under any circumstance. LÄS MER

3. 2. Real-Time Workload Models : Expressiveness vs. Analysis Efficiency

   Författare :Martin Stigge; Wang Yi; Sanjoy Baruah; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Real-time systems; task models; EDF; fixed-priority scheduling; schedulability analysis; response-time analysis; abstraction refinement; Computer Science with specialization in Real Time Systems; Datavetenskap med inriktning mot realtidssystem;

   Sammanfattning : The requirements for real-time systems in safety-critical applications typically contain strict timing constraints. The design of such a system must be subject to extensive validation to guarantee that critical timing constraints will never be violated while the system operates. LÄS MER