The main objective of this Workshop was to discuss existing models of real-time systems that focus on representing the timing behaviour and requirements from the perspective of the ability to use schedulability analysis tools. By discussing the limitations of existing models it is possible to propose extensions that can fill the gaps that are required to cover state-of-the-art hardware platforms, operating systems, and scheduling techniques used in practice to develop real-time applications. The results of the workshop will influence a new model, called MAST-2, that tries to enhance the modelling capabilities that are currently present in MAST. They will also contribute to the future evolution of the MARTE UML profile for real-time and embedded systems.
The meeting had 19 participants from 11 institutions and lively discusions were held on the state-of-the-art in standards and tools for schedulability analysis (MARTE, MAST, SymTA/S), high-integrity systems (ARINC-653, Autosar, Ravenscar), integration with design tools and methods (including QoS and resource reservation models), processing and communication platforms (SpaceWire, AFDX, multicore HW platforms) and a final discussion on the future of standards and tools for schedulability analysis.
Call for Participation