A spiral jet mill was simulated using Discrete Element Method modelling and Computational
Fluid Dynamics. The particle behavior and fluid motion were analysed as a function of hold-up and
grinding pressure. The particle collision energy was predicted to be prevalent along the bed surface and in front
of the grinding jets, as shown through the collision data recorded. The bed itself affects the fluid flow field,
as momentum is transferred to the particles. Increasing the grinding pressure does not result in a proportional
increase in the kinetic energy of the particle system, as the high-pressure jets begin to penetrate the bed with
greater ease. The particle bed moves as ‘plug-flow’, with the layers of the bed closest to the chamber wall.

Analysis of hold-up and grinding pressure in a spiral jet mill using CFD-DEM

This talk introduces a formal framework for describing the relationship between a criticality-aware scheduler and a set of application tasks that are assigned different criticality levels. The exposition employs a series of examples starting with scheduling simple jobs and then moving on to mixed-criticality tasks. The proposed formalism extends the rely-guarantee approach, which facilitates formal reasoning about the functional behaviour of concurrent systems, to address real-time properties.

Formally specifying the behaviour of a mixed criticality scheduler

technical paper

[EPJ Web of Conferences, Volume 249 (2021)](https://www.epj-conferences.org/articles/epjconf/abs/2021/03/contents/contents.html)

Follow us on [Twitter](https://twitter.com/g2021_p)

**Meet the Organizers**

<center>
<figure class="video_container">
	  <iframe src="https://screencast-o-matic.com/watch/cr130qV10B3?v=6&ff=1&title=0&controls=1" width=826 height=526  frameborder="0" allowfullscreen="true"> </iframe>
</figure>
	</center>


Welcome to the 2021 Powders and Grains conference. Please review the event's **Code of Conduct** [here](https://drive.google.com/file/d/1P_bOrjI2jSE55twRPVzWl5VkfARR-qBL/view?usp=sharing). 


**Powders & Grains 2021 Walkthrough Screencast**

This video will demonstrate how to navigate the conference and virtual platform -- and network with other attendees and speakers.


<center>
<figure class="video_container">
	  <iframe src="https://screencast-o-matic.com/watch/cr1vnKV1pgn?v=6&ff=1&title=0&controls=1" width=826 height=526  frameborder="0" allowfullscreen="true"> </iframe>
</figure>
	</center>

To register for the event, please follow the link below. 

Powders & Grains 2021

Powders & Grains 2021 will be held in Buenos Aires (Argentina, VIRTUAL) July 5, 13, 21, 29 and Aug 6, 2021. The aim of the conference is to give an up-to-date picture of the broad research field of granular media, powders and grains. Contributions from experts around the world will focus on research topics that cover a wide range of open problems in the field.



**Session chair:** Miguel Pinho      


**Title:** Contributions to the implementation of global schedulers for mixed-criticality systems   
**Authors:** Laurent Pautet, Thomas Robert and Samuel Tardieu   
**Presenting author:** Thomas Robert
   

**Title:** Feasibility interval and sustainable scheduling simulation with CRPD on uniprocessor platform    
**Authors:** Hai Nam Tran, Frank Singhoff, Stéphane Rubini and Jalil Boukhobza   
**Presenting author:** Hai Nam Tran    
   

**Title:** Removing bias from the judgment day: A Ravenscar-based toolbox for quantitative comparison of EDF-to-RM uniprocessor scheduling   
**Authors:** D. Perale and T. Vardanega   
**Presenting author:** Tullio Vardanega   


**Title:** Formally specifying the behaviour of a mixed criticality scheduler  
**Author:** Alan Burns  
**Presenting author:** Alan Burns  


Technical Session 1: Scheduling and mixed-criticality systems

[![](https://assets.underline.io/uploads/markdown_image/1/image/359fc42963be9dbef8d1acac451d7c3e.png)](https://www.ada-europe.org/conference2021)

### Welcome Message from our Co-Chairs

Through this message, we want to give you our warmest welcome to the 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021). The special circumstances we all go through have made the conference a virtual event. Nonetheless, this will allow us to take advantage of the benefits of this format by using the Underline.io platform that allows remote participation of speakers and attendees and a virtual exhibition.
The platform will also provide a virtual space through Gather.Town to facilitate social interaction among participants, which, in addition to presenting state of the art research results, is one of the most important goals of a conference. This platform will hold various social events together with breaks and a poster session. 

The conference schedule includes a four-day program and exhibition from Monday to Thursday, with parallel tutorials on Monday, and keynotes, technical sessions and a Work-in-Progress session on the remaining three days. The technical sessions include the presentations of 13 journal-track papers, 5 industrial presentations and 6 invited talks on leading topics on reliable software technologies. The program will be completed with three outstanding keynotes that will delight the participants.

The main conference activities will be from 13:00 to 18:00 Central European Summer Time (CEST) to allow participants from America to Central Asia to attend to the conference sessions. Virtual social events are scheduled at the beginning and the end of each day. We encourage you to participate in these activities as well as visiting the exhibition. We look forward to meeting you virtually in June 2021!

**J. Javier Gutiérrez and Mario Aldea Rivas**
 // AEiC 2021 Program Co-Chairs

![](https://assets.underline.io/uploads/markdown_image/1/image/609207a715bd5da2ea56e9a32b0d17ae.png)
![](https://assets.underline.io/uploads/markdown_image/1/image/5bd0a9396b4c6903d0ca52825b81fbe6.png)




Please register with AEiC to be able to enter the conference on Underline.io. If you have already registered, please login to Underline.io to be able to see full conference content. In case you do not have an Underline account, please create one. Thank you 

Alan Burns

3

15

SHORT BIO

Presentations

Analysis of hold-up and grinding pressure in a spiral jet mill using CFD-DEM

Formally specifying the behaviour of a mixed criticality scheduler

Formally specifying the behaviour of a mixed criticality scheduler

Stay up to date with the latest Underline news!

PRESENTATIONS

CONFERENCES

COMPANY

RESOURCES