Papers on all aspects of real–time systems are welcome. This covers not<br>only hard real–time systems but also time–sensitive systems in general.<br>Typical applications are found in automotive, avionics, smart grids,<br>telecommunications, healthcare, robotics, space...<br>We welcome theoretical and practical contributions (including tools,<br>benchmarks and case studies) to the state of the art in the design,<br>implementation, verification and validation of real–time embedded<br>systems. This includes, but is not limited to:<br>– scheduling design and analysis<br>– real–time operating systems, hypervizors and middleware<br>– memory management and bus contention<br>– worst–case execution time analysis<br>– networks and communication protocols<br>– formal models and analysis techniques for real–time systems<br>– security, control and power/energy/thermal–aware management of<br>real–time systems<br>– mixed–criticality design and assurance<br>– hardware/software co–design<br>– programming languages and compilers<br>– virtualization and timing isolation<br>The models, assumptions and application scenarios used in the paper must<br>be properly motivated. Whenever relevant, we strongly encourage authors<br>to present experimental results (preferably based on real data, but<br>synthetic test cases are permitted) and/or to demonstrate applicability<br>of their approach to real systems (examples can be found at<br>ecrts.org/industrialchallenge). We encourage open–source initiatives and<br>computer–assisted proofs in order to increase confidence in practical<br>and theoretical results and to improve their reusability.<br>
Abbrevation
ECRTS
City
Stuttgart
Country
Germany
Deadline Paper
Start Date
End Date
Abstract