Now showing items 1-3 of 3

    • ATMP-CA: Optimising Mixed-Criticality Systems Considering Criticality Arithmetic 

      Fadlelseed, Sajid; Kirner, Raimund; Menon, Catherine (2021-06-06)
      Many safety-critical systems use criticality arithmetic, an informal practice of implementing a higher-criticality function by combining several lower-criticality redundant components or tasks. This lowers the cost of ...
    • LBP-CA: A Short-term Scheduler with Criticality Arithmetic 

      Fadlelseed, Sajid; Kirner, Raimund; Menon, Catherine (University of Hertfordshire, 2022-11-04)
      In safety-critical systems a smooth degradation of services is a way to deal with resource shortages. Criticality arithmetic is a technique to implement services of higher criticality by several tasks of lower criticality. ...
    • Proceedings of Abstracts, School of Physics, Engineering and Computer Science Research Conference 2022 

      Amafabia, Daerefa-a; Asimea, Laurel; Bally, John; Baran, Anthony; Boies, Adam; Borjali, Amirhossein; Bosomworth, Chloe; Burningham, Ben; Chaliasou, Napoleana-Anna; CHEN, Yong Kang; Cheong, Yuen Ki; Chizari, Mahmoud; Chung, Etelka; Coppin, Kristen; David-West, Opukuro; Dennler, Nik; Dhakal, Hom; Dimov, Nikolay; Dmitruk, Emil; Donald, Allen; Drix, Damien; Dzib, Sergio A.; Eltaweel, Mahmoud; Fadlelseed, Sajid; Farahani, Atena; Felix, Adrian; Foat, Tim; Forbrich, Jan; Franco, Maximilien; Gaarn, Joesphine; Garratt, Tracy; Geach, Jim; Ghias, Narges; Ghita, Adrian; Giannetti, Niccolo; Vargas-Gonzalez, Jaime; Greenaway, Richard; Haritos, George; Hatami, Sara; Haydock, David; Helian, Na; Herfatmanesh, Mohammad Reza; Herve, Jean-Baptiste; Hesse, Evelyn; Korani, Hossein; Hosseini, Vahid; Hu, Wei; Hubbard, Thomas; Inal, Jameel; Irigo, Patrick; Ismail, Sikiru O.; Jepleting, Fiona; Ji, Wei; Johnston, Ian; Jombo, Gbanaibolou; Kadir, Shabnam; Kalyvas, Christos; Kamran, Syed Muhammad; Kanellopoulos, Antonios; Kiflay, Aklil Zenebe; Kirner, Raimund; Knox, Kerry; Kobayashi, Chiaki; Kumar, Dhirendra; Kumar, Ritesh; Lane, Peter; Lekkala, Himayasri; Lewis, Andrew; Li, Liang; Luo, Qi; Madani, Hossein; Mallet, Colin; Maruthupandian, Surya; Mathen, Elizabeth Reeja; Matousek, Pavel; McCool, Simon; McGarry, James C.; Menon, Catherine; Metzner, Christoph; Miles, Rachael E. H.; Moeinnia, Hadi; Moggridge, Paul; Mohseni, Mahdi; Montalvão, Diogo; Moraby, Mohammad Najeeb; Murnane, Darragh; Norgate, Marc; Nourani, Amir; Prasad, Kumar Shantanu; Ramalingam, Soodamani; Rastogi, Shavika; Reid, Jonathan P.; Ren, Guogang; Rivilla, Victor M.; Saidpour, Hossein; Saito, Kiyoshi; Sajedi, Seyed Amir Hossein; Salge, Christoph; Samararatne, Samadhi; Schmuker, Michael; Sensoy, Elif; Shriram, Ajay; Singh, Harpreet; Sorouraddin, Yasser; Steuber, Volker; Stone, Nicholas; Sun, Yi; Sureddi, Roopesh; Sutton, Samuel; Thomas, Peter; Timms, Andrew R; Tiwari, P. R.; Tsokanos, Athanasios; Vadalia, Mansukhlal; Yaqoob, Muhammad; Yulianto, Muhamad; Zheng, Minghua (University of Hertfordshire, 2022-11-04)
      The present proceedings record the abstracts submitted and accepted for presentation at SPECS 2022, the second edition of the School of Physics, Engineering and Computer Science Research Conference that took place online, ...