scientific article
From MaRDI portal
Publication:3060395
zbMath1226.68001MaRDI QIDQ3060395
Publication date: 8 December 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
real-time systemssimplicitysystem designvalidationreal-time schedulingdependabilitytemporal relationstime triggered architecture
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Computer system organization (68M99) Distributed systems (68M14)
Related Items (11)
A fault-tolerant time-triggered scheduling algorithm of mixed-criticality systems ⋮ A feasible schedule for parallel assembly tasks in flexible manufacturing systems ⋮ Beyond Lamport's Happened-before ⋮ Transforming business using digital innovations: the application of AI, blockchain, cloud and data analytics ⋮ Runtime verification of embedded real-time systems ⋮ Robust reachability in timed automata and games: a game-based approach ⋮ Timing analysis of rate-constrained traffic in TTEthernet using network calculus ⋮ Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms ⋮ A survey on standards for real-time distribution middleware ⋮ Distributed secondary frequency control in microgrids: robustness and steady-state performance in the presence of clock drifts ⋮ An optimisation approach for pre-runtime scheduling of tasks and communication in an integrated modular avionic system
This page was built for publication: