Sökning: "Computer Science with specialization in Real Time Systems"
Visar resultat 1 - 5 av 13 avhandlingar innehållade orden Computer Science with specialization in Real Time Systems.
1. Real-Time Workload Models : Expressiveness vs. Analysis Efficiency
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
2. Hierarchical Modeling and Analysis of Real Time Systems
Sammanfattning : UPPAAL is a tool for model-checking real-time systems developed jointly by Uppsala University and Aalborg University. It has been applied successfully in case studies ranging from communication protocols to multimedia applications. The tool is designed to verify systems that can be modeled as networks of timed automata. LÄS MER
3. New Techniques for Building Timing-Predictable Embedded 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
4. Models and Complexity Results in Real-Time Scheduling Theory
Sammanfattning : When designing real-time systems, we want to prove that they will satisfy given timing constraints at run time. The main objective of real-time scheduling theory is to analyze properties of mathematical models that capture the temporal behaviors of such systems. LÄS MER
5. Improving Low-Power Wireless Protocols with Timing-Accurate Simulation
Sammanfattning : Low-power wireless technology enables numerous applications in areas from environmental monitoring and smart cities, to healthcare and recycling. But resource-constraints and the distributed nature of applications make low-power wireless networks difficult to develop and understand, resulting in increased development time, poor performance, software bugs, or even network failures. LÄS MER