How realistic is the mixed-criticality real-time system model?

ACM International Conference Proceeding Series

Volumn 04-06-November-2015, Issue , 2015, Pages 139-148

  Esper, Alexandre ^a,b   Nelissen, Geoffrey ^b   Nélis, Vincent ^b   Tovar, Eduardo ^b  

^a Critical Software SA   (Portugal)

^b POLYTECHNIC INSTITUTE OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

CRITICALITY (NUCLEAR FISSION); INTERACTIVE COMPUTER SYSTEMS; SCHEDULING ALGORITHMS; STANDARDS;

DEVELOPED APPLICATIONS; HARDWARE PLATFORM; INTEGRATED SYSTEMS; MIXED CRITICALITIES; MIXED-CRITICALITY SYSTEMS; MULTI-CORE PLATFORMS; REAL - TIME SCHEDULING; STATE OF THE ART;

REAL TIME SYSTEMS;

EID: 84959517061     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2834848.2834869     Document Type: Conference Paper

References (21)

1. J. Abella, D. Hardy, I. Puaut, E. Quinones, and F. Cazorla. On the comparison of deterministic and probabilistic wcet estimation techniques. In ECRTS 2014, pages 266-275, July 2014.
2. ARINC-653. Avionics Application Software Standard Interface. ARINC, Inc., 2003.
3. ARINC 700 series. Arinc. http://store.aviation-ia.com/cf/store/catalog.cfm?prod-group-id=1&category-group-id=4, June 2015.
4. A. Burns and R. Davis. Mixed criticality systems - a review. Department of Computer Science, University of York, Tech. Rep, 2013.
5. R. Davis, T. Vardanega, J. Alexanderson, V. Francis, P. Mark, B. Ian, A.-A. Mikel, F. Wartel, L. Cucu-Grosjean, P. Mathieu, F. Glenn, and F. J. Cazorla. PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems. Ada User Journal, (2):118-122, 2014.
6. N. Diniz and J. Rufino. Arinc 653 in space dasia 2005, eurospace, edinburgh, scotland. 2005.
7. DO-178C. Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc., 2011.
8. ECSS-Q-30-02A. Failure modes, effects (and criticality) analysis (FMEA/FMECA). European Cooperation for Space Standardization, 2009.
9. ECSS-Q-40-12A. Fault tree analysis - Adoption notice ECSS/IEC 61025. European Cooperation for Space Standardization, 2008.
10. ECSS-Q-HB-80-03A. Space Product Assurance - Software Dependability and Safety. European Cooperation for Space Standardization, 2009.
11. ECSS-Q-ST-30C. Space product assurance - Dependability. European Cooperation for Space Standardization, 2009.
12. ECSS-Q-ST-80C. Software Product Assurance. European Cooperation for Space Standardization, 2009.
13. EN 50128. Railway Applications Communication, Signalling and Processing Systems Software for Railway Control and Protection Systems. CENELEC, 2009.
14. IEC60812. Analysis techniques for system reliability - Procedure for failure mode and effects analysis (FMEA). IEC, 2006.
15. IEC61025. Fault tree analysis (FTA). IEC, 2006.
16. IEC61508. Functional safety of electrical/electronic/programmable electronic safety-related systems. IEC, 2010.
17. ISO26262. Road vehicles - Functional safety. ISO, 2011.
18. RIAC-HDBK-217Plus. Handbook of 217Plus Reliability Prediction Models. RIAC, 2006.
19. F. Santy, G. Raravi, G. Nelissen, V. Nelis, P. Kumar, J. Goossens, and E. Tovar. Two protocols to reduce the criticality level of multiprocessor mixed-criticality systems. In RTNS 2013, RTNS '13, pages 183-192. ACM, 2013.
20. S. Vestal. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In RTSS 2007, pages 239-243. IEEE, 2007.
21. C. B. Watkins and R. Walter. Transitioning from federated avionics architectures to integrated modular avionics. In DASC'07, pages 2-A. IEEE, 2007.