Runtime Behavioural Models for Dependable Systems
可靠系统的运行时行为模型
基本信息
- 批准号:RGPIN-2019-07285
- 负责人:
- 金额:$ 1.68万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2022
- 资助国家:加拿大
- 起止时间:2022-01-01 至 2023-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Modern computing comprises data centers, client devices, and the Internet connecting them. With millions of servers, billions of client devices, and numerous networks, all under different administrative control, achieving dependable computing is difficult. Even if both hardware and software are highly reliable, with so many applications, at any given time numerous of them will have failed. Data-center dependability is achieved by replication and untime software management implementing Recovery-oriented Computing (RoC). Network dependability is achieved via redundancy of network interfaces and interconnections. Achieving dependable clients is more difficult, as they do not have redundancy. They run multiple applications, and so generic recovery actions used in data-center RoC do not work. Currently clients record device and application log data and send it to a data center for analysis. The problem with this is that log records tend to be whatever a developer thought might help in debugging an application which is often not useful for a user or an operator; determining appropriate recovery actions based on log records is hard; worse, the developer may have missed critical log points; finally, the amount of log data sent for analysis is vast and growing, with companies gathering terabytes of log records daily. We plan to extend our work in system monitoring and error detection. Currently we model the run-time behaviour of software systems using a mixture of regression analysis, information-theoretic models, and clustering based on textual similarity of logs messages. We compare monitored behaviour with our models; deviation from the model indicates workload change, software change, or error in the system. When we can eliminate the first two, the can infer error. In this research we will extend our range of run-time models to incorporate the effects of proposed self-recovery actions on system behaviour. Current tools address errors by applying a limited sequence of automated options. Most software systems have numerous recovery alternatives for different situations, as is evident in the knowledge databases maintained by support organizations of various software vendors. When such alternatives are available, fault localization and diagnosis using our modeling approach is likely critical, as a fixed sequence of recovery options will be ineffective and costly. The set of possible recovery actions will be extracted from known-successful techniques from support knowledge databases. After applying any recovery action, we expect to closely monitor system behaviour to determine the success or failure of the action, and adjust as necessary. In addition to creating a runtime management system for clients, we expect to develop automated logpoint insertion techniques to address the poor quality of log records as viewed from the operator and user perspective.
现代计算包括数据中心、客户端设备和连接它们的互联网。由于数以百万计的服务器、数十亿台客户端设备和众多网络都处于不同的管理控制之下,实现可靠的计算是困难的。即使硬件和软件都是高度可靠的,有如此多的应用程序,在任何给定的时间,它们中的许多都会出现故障。数据中心的可靠性是通过实施面向恢复计算(ROC)的复制和运行时软件管理来实现的。网络可靠性是通过网络接口和互连的冗余来实现的。实现可靠的客户端更加困难,因为它们没有冗余。它们运行多个应用程序,因此数据中心ROC中使用的通用恢复操作不起作用。目前,客户端记录设备和应用程序日志数据,并将其发送到数据中心进行分析。这样做的问题是,日志记录往往是开发人员认为可能有助于调试应用程序的任何内容,而应用程序通常对用户或操作员没有用处;很难根据日志记录确定适当的恢复操作;更糟糕的是,开发人员可能错过了关键的日志点;最后,发送用于分析的日志数据量巨大且不断增长,公司每天收集TB级的日志记录。我们计划扩大我们在系统监控和错误检测方面的工作。目前,我们混合使用回归分析、信息论模型和基于日志消息文本相似性的聚类来对软件系统的运行时行为进行建模。我们将监视的行为与我们的模型进行比较;与模型的偏离表示工作负载更改、软件更改或系统中的错误。当我们可以消除前两者时,就可以推断错误。在这项研究中,我们将扩展我们的运行时模型的范围,以纳入拟议的自我恢复操作对系统行为的影响。当前的工具通过应用有限的自动化选项序列来解决错误。大多数软件系统有许多针对不同情况的恢复选择,这在由各种软件供应商的支持组织维护的知识数据库中是显而易见的。当这样的替代方案可用时,使用我们的建模方法的故障定位和诊断可能是至关重要的,因为固定的恢复选项序列将是无效和昂贵的。可能的恢复操作集将从支持知识数据库中已知的成功技术中提取。在应用任何恢复操作后,我们希望密切监控系统行为,以确定操作的成功或失败,并根据需要进行调整。除了为客户创建运行时管理系统外,我们还希望开发自动日志点插入技术,以解决从操作员和用户的角度来看日志记录质量较差的问题。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Ward, Paul其他文献
Assessing performance of the Healthcare Access and Quality Index, overall and by select age groups, for 204 countries and territories, 1990-2019: a systematic analysis from the Global Burden of Disease Study 2019.
- DOI:
10.1016/s2214-109x(22)00429-6 - 发表时间:
2022-12 - 期刊:
- 影响因子:34.3
- 作者:
Lozano, Rafael;Haakenstad, Annie;Yearwood, Jamal Akeem;Fullman, Nancy;Bintz, Corinne;Bienhoff, Kelly;Weaver, Marcia R.;Nandakumar, Vishnu;Joffe, Jonah N.;LeGrand, Kate E.;Knight, Megan;Abbafati, Cristiana;Abbasi-Kangevari, Mohsen;Abdoli, Amir;Abeldano Zuniga, Roberto Ariel;Adedeji, Isaac Akinkunmi;Adekanmbi, Victor;Adetokunboh, Olatunji O.;Afzal, Muhammad Sohail;Afzal, Saira;Agudelo-Botero, Marcela;Ahinkorah, Bright Opoku;Ahmad, Sajjad;Ahmadi, Ali;Ahmadi, Sepideh;Ahmed, Ali;Rashid, Tarik Ahmed;Aji, Budi;Akande-Sholabi, Wuraola;Alam, Khurshid;Al Hamad, Hanadi;Alhassan, Robert Kaba;Ali, Liaqat;Alipour, Vahid;Aljunid, Syed Mohamed;Ameyaw, Edward Kwabena;Amin, Tarek Tawfik;Amu, Hubert;Amugsi, Dickson A.;Ancuceanu, Robert;Andrade, Pedro Prata;Anjum, Afifa;Arabloo, Jalal;Arab-Zozani, Morteza;Ariffin, Hany;Arulappan, Judie;Aryan, Zahra;Ashraf, Tahira;Atnafu, Desta Debalkie;Atreya, Alok;Ausloos, Marcel;Avila-Burgos, Leticia;Ayano, Getinet;Ayanore, Martin Amogre;Azari, Samad;Badiye, Ashish D.;Baig, Atif Amin;Bairwa, Mohan;Bakkannavar, Shankar M.;Baliga, Shrikala;Banik, Palash Chandra;Baernighausen, Till Winfried;Barra, Fabio;Barrow, Amadou;Basu, Sanjay;Bayati, Mohsen;Belete, Rebuma;Bell, Arielle Wilder;Bhagat, Devidas S.;Bhagavathula, Akshaya Srikanth;Bhardwaj, Pankaj;Bhardwaj, Nikha;Bhaskar, Sonu;Bhattacharyya, Krittika;Bhutta, Zulfiqar A.;Bibi, Sadia;Bijani, Ali;Bikbov, Boris;Biondi, Antonio;Bolarinwa, Obasanjo Afolabi;Bonny, Aime;Brenner, Hermann;Buonsenso, Danilo;Burkart, Katrin;Busse, Reinhard;Butt, Zahid A.;Butt, Nadeem Shafique;Caetano dos Santos, Florentino Luciano;Cahuana-Hurtado, Lucero;Alberto Camera, Luis;Cardenas, Rosario;Carneiro, Vera L. A.;Catala-Lopez, Ferran;Chandan, Joht Singh;Charan, Jaykaran;Chavan, Prachi P.;Chen, Simiao;Chen, Shu;Choudhari, Sonali Gajanan;Chowdhury, Enayet Karim;Chowdhury, Mohiuddin Ahsanul Kabir;Cirillo, Massimo;Corso, Barbara;Dadras, Omid;Dahlawi, Saad M. A.;Dai, Xiaochen;Dandona, Lalit;Dandona, Rakhi;Dangel, William James;Alberto Davila-Cervantes, Claudio;Davletov, Kairat;Deuba, Keshab;Dhimal, Meghnath;Dhimal, Mandira Lamichhane;Djalalinia, Shirin;Huyen Phuc Do;Doshmangir, Leila;Duncan, Bruce B.;Effiong, Andem;Ehsani-Chimeh, Elham;Elgendy, Islam Y.;Elhadi, Muhammed;El Sayed, Iman;El Tantawi, Maha;Erku, Daniel Asfaw;Eskandarieh, Sharareh;Fares, Jawad;Farzadfar, Farshad;Ferrero, Simone;Desideri, Lorenzo Ferro;Fischer, Florian;Foigt, Nataliya A.;Foroutan, Masoud;Fukumoto, Takeshi;Gaal, Peter Andras;Gaihre, Santosh;Gardner, William M.;Garg, Tushar;Obsa, Abera Getachew;Ghafourifard, Mansour;Ghashghaee, Ahmad;Ghith, Nermin;Gilani, Syed Amir;Gill, Paramjit Singh;Goharinezhad, Salime;Golechha, Mahaveer;Guadamuz, Jenny S.;Guo, Yuming;Das Gupta, Rajat;Gupta, Rajeev;Gupta, Vivek Kumar;Gupta, Veer Bala;Hamiduzzaman, Mohammad;Hanif, Asif;Maria Haro, Josep;Hasaballah, Ahmed I.;Hasan, Md Mehedi;Hasan, M. Tasdik;Hashi, Abdiwahab;Hay, Simon I.;Hayat, Khezar;Heidari, Mohammad;Heidari, Golnaz;Henry, Nathaniel J.;Herteliu, Claudiu;Holla, Ramesh;Hossain, Sahadat;Hossain, Sheikh Jamal;Hossain, Mohammad Bellal Hossain;Hosseinzadeh, Mehdi;Hostiuc, Sorin;Hoveidamanesh, Soodabeh;Hsieh, Vivian Chia-rong;Hu, Guoqing;Huang, Junjie;Huda, M. Mamun;Ifeagwu, Susan C.;Ikuta, Kevin S.;Ilesanmi, Olayinka Stephen;Irvani, Seyed Sina Naghibi;Islam, Rakibul M.;Islam, Sheikh Mohammed Shariful;Ismail, Nahlah Elkudssiah;Iso, Hiroyasu;Isola, Gaetano;Itumalla, Ramaiah;Iwagami, Masao;Jahani, Mohammad Ali;Jahanmehr, Nader;Jain, Rajesh;Jakovljevic, Mihajlo;Janodia, Manthan Dilipkumar;Jayapal, Sathish Kumar;Jayaram, Shubha;Jha, Ravi Prakash;Jonas, Jost B.;Joo, Tamas;Joseph, Nitin;Jurisson, Mikk;Kabir, Ali;Kalankesh, Leila R.;Kalhor, Rohollah;Kamath, Aruna M.;Kamenov, Kaloyan;Kandel, Himal;Kantar, Rami S.;Kapoor, Neeti;Karanikolos, Marina;Katikireddi, Srinivasa Vittal;Kavetskyy, Taras;Kawakami, Norito;Kayode, Gbenga A.;Keikavoosi-Arani, Leila;Keykhaei, Mohammad;Khader, Yousef Saleh;Khajuria, Himanshu;Khalilov, Rovshan;Khammarnia, Mohammad;Khan, Md Nuruzzaman;Khan, Moien A. B.;Khan, Maseer;Khezeli, Mehdi;Kim, Min Seo;Kim, Yun Jin;Kisa, Sezer;Kisa, Adnan;Klymchuk, Vitalii;Koly, Kamrun Nahar;Korzh, Oleksii;Kosen, Soewarta;Koul, Parvaiz A.;Defo, Barthelemy Kuate;Kumar, G. Anil;Kusuma, Dian;Kyu, Hmwe Hmwe;Larsson, Anders O.;Lasrado, Savita;Lee, Wei-Chen;Lee, Yo Han;Lee, Chiachi Bonnie;Li, Shanshan;Lucchetti, Giancarlo;Mahajan, Preetam Bhalchandra;Majeed, Azeem;Makki, Alaa;Malekzadeh, Reza;Malik, Ahmad Azam;Malta, Deborah Carvalho;Mansournia, Mohammad Ali;Mantovani, Lorenzo Giovanni;Martinez-Valle, Adolfo;Martins-Melo, Francisco Rogerlandio;Masoumi, Seyedeh Zahra;Mathur, Manu Raj;Maude, Richard James;Maulik, Pallab K.;McKee, Martin;Mendoza, Walter;Menezes, Ritesh G.;Mensah, George A.;Meretoja, Atte;Meretoja, Tuomo J.;Mestrovic, Tomislav;Michalek, Irmina Maria;Mirrakhimov, Erkin M.;Misganaw, Awoke;Misra, Sanjeev;Moazen, Babak;Mohammadi, Mokhtar;Mohammed, Shafiu;Moitra, Modhurima;Mokdad, Ali H.;Molokhia, Mariam;Monasta, Lorenzo;Moni, Mohammad Ali;Moradi, Ghobad;Moreira, Rafael Silveira;Mosser, Jonathan F.;Mostafavi, Ebrahim;Mouodi, Simin;Nagarajan, Ahamarshan Jayaraman;Nagata, Chie;Naghavi, Mohsen;Nangia, Vinay;Swamy, Sreenivas Narasimha;Narayana, Aparna Ichalangod;Nascimento, Bruno Ramos;Nassereldine, Hasan;Nayak, Biswa Prakash;Nazari, Javad;Negoi, Ionut;Nepal, Samata;Kandel, Sandhya Neupane;Ngunjiri, Josephine W.;Huong Lan Thi Nguyen;Cuong Tat Nguyen;Ningrum, Dina Nur Anggraini;Noubiap, Jean Jacques;Oancea, Bogdan;Oghenetega, Onome Bright;Oh, In-Hwan;Olagunju, Andrew T.;Olakunde, Babayemi Oluwaseun;Bali, Ahmed Omar;Omer, Emad;Onwujekwe, Obinna E.;Otoiu, Adrian;Padubidri, Jagadish Rao;Palladino, Raffaele;Pana, Adrian;Panda-Jonas, Songhomitra;Pandi-Perumal, Seithikurippu R.;Pardhan, Shahina;Pasupula, Deepak Kumar;Pathak, Praveen Kumar;Patton, George C.;Pawar, Shrikant;Pereira, Jeevan;Pilania, Manju;Piroozi, Bakhtiar;Podder, Vivek;Pokhrel, Khem Narayan;Postma, Maarten J.;Prada, Sergio I.;Syed, Zahiruddin Quazi;Rabiee, Navid;Radhakrishnan, Raghu Anekal;Rahman, Md. Mosfequr;Rahman, Mosiur;Rahman, Mahfuzar;Rahman, Mohammad Hifz Ur;Rahmani, Amir Masoud;Ranabhat, Chhabi Lal;Rao, Chythra R.;Rao, Sowmya J.;Rasella, Davide;Rawaf, Salman;Rawaf, David Laith;Rawal, Lal;Renzaho, Andre M. N.;Reshmi, Bhageerathy;Resnikoff, Serge;Rezapour, Aziz;Riahi, Seyed Mohammad;Ripon, Rezaul Karim;Sacco, Simona;Sadeghi, Masoumeh;Saeed, Umar;Sahebkar, Amirhossein;Sahiledengle, Biniyam;Sahoo, Harihar;Sahu, Maitreyi;Salama, Joseph S.;Salamati, Payman;Samy, Abdallah M.;Sanabria, Juan;Santric-Milicevic, Milena M.;Sathian, Brijesh;Sawhney, Monika;Schmidt, Maria Ines;Seidu, Abdul-Aziz;Sepanlou, Sadaf G.;Seylani, Allen;Shaikh, Masood Ali;Sheikh, Aziz;Shetty, Adithi;Shigematsu, Mika;Shiri, Rahman;Shivakumar, K. M.;Shokri, Azad;Singh, Jasvinder A.;Sinha, Dhirendra Narain;Skryabin, Valentin Yurievich;Skryabina, Anna Aleksandrovna;Sofi-Mahmudi, Ahmad;Sousa, Raul A. R. C.;Stephens, Jacqueline H.;Sun, Jing;Szocska, Miklos;Tabares-Seisdedos, Rafael;Tadbiri, Hooman;Tamiru, Animut Tagele;Thankappan, Kavumpurathu Raman;Topor-Madry, Roman;Tovani-Palone, Marcos Roberto;Mai Thi Ngoc Tran;Bach Xuan Tran;Tripathi, Niharika;Tripathy, Jaya Prasad;Troeger, Christopher E.;Robles Uezono, Deinzel;Ullah, Saif;Ullah, Anayat;Unnikrishnan, Bhaskaran;Vacante, Marco;Tahbaz, Sahel Valadan;Valdez, Pascual R.;Vasic, Milena;Veroux, Massimiliano;Vervoort, Dominique;Violante, Francesco S.;Vladimirov, Sergey Konstantinovitch;Vlassov, Vasily;Bay Vo;Waheed, Yasir;Wamai, Richard G.;Wang, Yuan-Pang;Wang, Yanzhong;Ward, Paul;Wiangkham, Taweewat;Yadav, Lalit;Jabbari, Seyed Hossein Yahyazadeh;Yamagishi, Kazumasa;Yaya, Sanni;Yazdi-Feyzabadi, Vahid;Yi, Siyan;Yigit, Vahit;Yonemoto, Naohiro;Younis, Mustafa Z.;Yu, Chuanhua;Yunusa, Ismaeel;Bin Zaman, Sojib;Zastrozhin, Mikhail Sergeevich;Zhang, Zhi-Jiang;Zhong, Chenwen;Zuniga, Yves Miel H.;Lim, Stephen S.;Murray, Christopher J. L.;Lozano, Rafael - 通讯作者:
Lozano, Rafael
The role of deliberate practice and play in career progression in sport: the early engagement hypothesis
- DOI:
10.1080/13598130902860721 - 发表时间:
2009-01-01 - 期刊:
- 影响因子:1.8
- 作者:
Ford, Paul R.;Ward, Paul;Williams, A. Mark - 通讯作者:
Williams, A. Mark
Where's the Emotion? How Sport Psychology Can Inform Research on Emotion in Human Factors
- DOI:
10.1177/0018720811403731 - 发表时间:
2011-04-01 - 期刊:
- 影响因子:3.3
- 作者:
Eccles, David W.;Ward, Paul;Coombes, Stephen A. - 通讯作者:
Coombes, Stephen A.
The practise and practice of Bourdieu: The application of social theory to youth alcohol research
- DOI:
10.1016/j.drugpo.2011.07.013 - 发表时间:
2011-11-01 - 期刊:
- 影响因子:4.4
- 作者:
Lunnay, Belinda;Ward, Paul;Borlagdan, Joseph - 通讯作者:
Borlagdan, Joseph
An ecological analysis of factors associated with food insecurity in South Australia, 2002-7
- DOI:
10.1017/s1368980009990747 - 发表时间:
2010-02-01 - 期刊:
- 影响因子:3.2
- 作者:
Foley, Wendy;Ward, Paul;Taylor, Anne - 通讯作者:
Taylor, Anne
Ward, Paul的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Ward, Paul', 18)}}的其他基金
Runtime Behavioural Models for Dependable Systems
可靠系统的运行时行为模型
- 批准号:
RGPIN-2019-07285 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Runtime Behavioural Models for Dependable Systems
可靠系统的运行时行为模型
- 批准号:
RGPIN-2019-07285 - 财政年份:2020
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Runtime Behavioural Models for Dependable Systems
可靠系统的运行时行为模型
- 批准号:
RGPIN-2019-07285 - 财政年份:2019
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Scalable Self-Healing Systems
可扩展的自我修复系统
- 批准号:
250371-2012 - 财政年份:2018
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Scalable Self-Healing Systems
可扩展的自我修复系统
- 批准号:
250371-2012 - 财政年份:2015
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Scalable Self-Healing Systems
可扩展的自我修复系统
- 批准号:
250371-2012 - 财政年份:2014
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Scalable Self-Healing Systems
可扩展的自我修复系统
- 批准号:
250371-2012 - 财政年份:2013
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Scalable Self-Healing Systems
可扩展的自我修复系统
- 批准号:
250371-2012 - 财政年份:2012
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Commodity distributed systems
商品分布式系统
- 批准号:
250371-2007 - 财政年份:2011
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Commodity distributed systems
商品分布式系统
- 批准号:
250371-2007 - 财政年份:2010
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
相似海外基金
Machine Learning of Behavioural Models for Improved Multi-Sensor Fusion
用于改进多传感器融合的行为模型的机器学习
- 批准号:
2889812 - 财政年份:2023
- 资助金额:
$ 1.68万 - 项目类别:
Studentship
Learning robust behavioural game theory models
学习稳健的行为博弈论模型
- 批准号:
574152-2022 - 财政年份:2022
- 资助金额:
$ 1.68万 - 项目类别:
University Undergraduate Student Research Awards
Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning
使用自动演绎推理对抽象行为模型进行形式化分析
- 批准号:
RGPIN-2016-03992 - 财政年份:2022
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Behavioural Computation: Analysis, Models, and Algorithms for Supporting Human Improvement on the Web
行为计算:支持网络人类改进的分析、模型和算法
- 批准号:
RGPIN-2018-06195 - 财政年份:2022
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Incorporating decision-making in environmental emergencies into behavioural computational models for crisis planning
将环境紧急情况的决策纳入危机规划的行为计算模型
- 批准号:
2551486 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Studentship
Behavioural Computation: Analysis, Models, and Algorithms for Supporting Human Improvement on the Web
行为计算:支持网络人类改进的分析、模型和算法
- 批准号:
RGPIN-2018-06195 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Synthesising behavioural and epidemiological models and their methodologies to simulate predictive spread of infectious diseases
综合行为和流行病学模型及其方法来模拟传染病的预测传播
- 批准号:
2597405 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Studentship
Digitisation of life: addressing behavioural shortcomings in agent-based activity-travel models
生活数字化:解决基于代理的活动旅行模型中的行为缺陷
- 批准号:
2613421 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Studentship
Formal Analysis of Abstract Behavioural Models Using Automated Deductive Reasoning
使用自动演绎推理对抽象行为模型进行形式化分析
- 批准号:
RGPIN-2016-03992 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Runtime Behavioural Models for Dependable Systems
可靠系统的运行时行为模型
- 批准号:
RGPIN-2019-07285 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual