IBM / AT&T / Air Force Research Laboratory / Cyber Physical Systems / Aquila / /
Country
Germany / United States / Italy / /
Currency
pence / / /
Facility
Air Force Research Laboratory / Chapel Hill / Sapienza University of Rome / The University of North Carolina / /
IndustryTerm
given processor / mixed-criticality systems / on-line scheduling policy / safety-critical embedded systems / mixedcriticality systems / mixed-criticality realtime systems / correct on-line scheduling policy / online scheduling policy / preemptive single machine scheduling algorithm / dualcriticality systems / mixed criticality systems / speed-s processor / speed-sh processor / approximation algorithms / /
Organization
Max-Planck-Institut f¨ / National Security Agency / National Science Foundation / University of North Carolina / Chapel Hill / National Aeronautics and Space Administration / University of Rome / Rome / /
Person
Job Ji / /
Position
formal model for representing such mixed-criticality workloads / /