|
m →Principle: clean up using AWB
|
|
||
| Line 37: | Line 37: | ||
==Workshops and Seminars== |
==Workshops and Seminars== |
||
Workshops and seminars on Mixed Criticality Systems include: |
Workshops and seminars on Mixed Criticality Systems include: |
||
* [http://www-users.cs.york.ac.uk/~robdavis/ |
* [http://www-users.cs.york.ac.uk/~robdavis/wmc2013/ 1st International Workshop on Mixed Criticality Systems (WMC 2013)] |
||
* [http://www-users.cs.york.ac.uk/~robdavis/wmc2014/ 2nd International Workshop on Mixed Criticality Systems (WMC 2014)] |
* [http://www-users.cs.york.ac.uk/~robdavis/wmc2014/ 2nd International Workshop on Mixed Criticality Systems (WMC 2014)] |
||
* [http://www-users.cs.york.ac.uk/~robdavis/wmc/ 3rd International Workshop on Mixed Criticality Systems (WMC 2015)] |
|||
* [https://gsathish.github.io/wmc2016/ 4th International Workshop on Mixed Criticality Systems (WMC 2015)] |
|||
* [http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=15121 Dagstuhl Seminar on Mixed Criticality on Multicore/Manycore Platforms (2015)] |
* [http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=15121 Dagstuhl Seminar on Mixed Criticality on Multicore/Manycore Platforms (2015)] |
||
* [http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=17131 Dagstuhl Seminar on Mixed Criticality on Multicore/Manycore Platforms (2017)] |
|||
==References== |
==References== |
||
 |
This article is an orphan, as no other articles link to it. Please introduce links to this page from related articles; try the Find link tool for suggestions. (October 2015)
|
Amixed criticality system is a system containing computer hardware and software that can execute several applications of different criticality, such as safety-critical and non-safety critical, or of different Safety Integrity Level (SIL). Different criticality applications are engineered to different levels of assurance, with high criticality applications being the most costly to design and verify. These kinds of systems are typically embedded in a machine such as an aircraft whose safety must be ensured.
Traditional safety-critical systems had to be tested and certified in their entirety to show that they were safe to use. However, many such systems are composed of a mixture of safety-critical and non-critical parts, as for example when an aircraft contains a passenger entertainment system that is isolated from the safety-critical flight systems. Some issues to address in mixed criticality systems include real-time behaviour, memory isolation, data and control coupling.
Computer scientists have developed techniques for handling systems which thus have mixed criticality, but there are many challenges remaining especially for multi-core hardware.[1][2][3][4]
Basically, most errors are currently committed when making confusion between priority attribution and criticality management. As priority defines an order between different tasks or messages to be transmitted inside a system, criticality define classes of messages which can have different parameters depending on the current use case. For example, in case of car crash avoidance or obstacle anticipation, camera sensors can suddenly emit messages more often, and so create an overload in the system. That is when we need to make Mixed-Criticality operate : to select messages to absolutely guarantee on the system in these overload cases.
EU funded research projects on mixed criticality include:
UK EPSRC funded research projects on mixed criticality include:
Several research projects have decided to present their research results at the EU-funded Mixed-Criticality Forum
Workshops and seminars on Mixed Criticality Systems include:
