Name
Abstract | ||
|---|---|---|
To counter the exorbitant cost of developing certifiable safety-critical software, we propose task execution models that realize an architectural mitigation-based approach to achieving high integrity and highly predictable safety-critical systems. Our premise is that high design assurance levels (DALs) for a software component may be achieved as follows: each system operation that needs a high assurance level will be handled by a software component that has high performance/quality-of-service on average, but built at a lower assurance level, and this component is "monitored" by one (or more) simple component(s) that is (are) predictable, may have lower QoS, but is (are) built at the highest assurance level. The components associated with a software function would run isochronously on separate processors. We present a suite of such isochronous allocation and scheduling problems with varying levels of generality, along with their solutions. We extend our results to the recurrent task model, where tasks should complete before their deadlines. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1109/HASE.2019.00020 | 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE) |
Keywords | Field | DocType |
Monitoring,Task analysis,Program processors,Safety,Processor scheduling,Computer architecture | Task analysis,Computer science,Real-time computing,High assurance,Processor scheduling | Conference |
ISSN | ISBN | Citations |
1530-2059 | 978-1-5386-8540-2 | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bader Alahmad | 1 | 0 | 1.35 |
| Sathish Gopalakrishnan | 2 | 426 | 33.10 |