[1] CONTI M, PASSARELLA A, DAS S K.The Internet of People(IoP):a new wave in pervasive mobile computing[J].Pervasive and Mobile Computing, 2017, 41(11):1-27. [2] LÜ Z, CHIRIVELLA J, GAGLIARDO P.Bigdata oriented multimedia mobile health applications[J].Journal of Medical Systems, 2016, 40(5):120-127. [3] PAN Y H.2018 special issue on artificial intelligence 2.0:theories and applications[J].Frontiers of Information Technology & Electronic Engineering, 2018, 19(1):4-5. [4] VARGHESE B, BUYYA R.Next generation cloud computing:new trends and research directions[J].Future Generation Computer Systems, 2017, 79(3):849-861. [5] SHARVIA S, KABIR S, WALKER M, et al.Model-based dependability analysis:state-of-the-art, challenges, and future outlook[J].Elsevier, 2016, 13(3):251-278. [6] SPECIFICATION O A.Data distribution service for real-time systems version 1.2[EB/OL].[2020-09-10].https://www.omg.org/spec/DDS/1.2. [7] OMG.Systems modeling language version 1.1[EB/OL].[2020-09-10].https://www.omg.org/spec/SysML/1.1/. [8] FEILER P H, GLUCH D P.Model-based engineering with AADL:an introduction to the SAE architecture analysis & design language[M].Addison-Wesley Professional, 2012:34-54. [9] ASSOCIATION E A.EAST-ADL domain model specification, versionV2.1.12[EB/OL].[2020-09-10].http://www.east-adl.info/Specification/V2.1. [10] FEILER P.Open source AADL tool environment (OSATE)[EB/OL].[2020-09-10].http://osate.org. [11] MEEKHOF J, BAILEY A B.Failure modes and effects analysis(FMEA) for cataloging:an application and evaluation[J].Cataloging and Classification Quarterly, 2017, 55(7):493-505. [12] RUIJTERS E, STOELINGA M.Fault tree analysis:a survey of the state-of-the-art in modeling, analysis and tools[J].Computer Science Review, 2015, 15(3):29-62. [13] HULSE D, HOYLE C, GOEBEL K, et al.Quantifying the Resilience-Informed Scenario Cost Sum(RISCS):a value-driven design approach for functional hazard assessment[J].Journal of Mechanical Design, 2018, 141(2):321-403. [14] HUGUES J, ZALILA B, PAUTET L, et al.From the prototype to the final embedded system using the ocarina AADL tool suite[J].ACM Transaction on Embedded Computing Systems, 2008, 7(4):1-25. [15] JIN Q, WU B, NISHIMURA S, et al.Ubi-Liven:a human-centric safe and secure framework of ubiquitous living environments for the elderly[C]//Proceedings of International Conference on Advanced Cloud and Big Data.Washington D.C., USA:IEEE Press, 2016:304-309. [16] STERGIOU C, PSANNIS K E, KIM B G, et al.Secure integration of IoT and cloud computing[J].Future Generation Computer Systems, 2016, 78(3):964-75. [17] JOSHI A, HEIMDAHL M P, MILLER S P, et al.Model-based safety analysis:NASA/CR-2006-213953[EB/OL].[2020-09-10].https://www.zhangqiaokeyan.com/ntis-science-report_other_thesis/0207179405.html. [18] RENYA H, LIJIN W, WEIHUA Z, et al.AADL-based reliability modeling method of cyber-physical systems[C]//Proceedings of World Symposium on Software Engineering.New York, USA:ACM Press, 2019:47-58. [19] MOROZOV A, MUTZKE T, REN B, et al.Aadl-based stochastic error propagation analysis for reliable system design of a medical patient table[C]//Proceedings of Annual Conference on Reliability and Maintainability Symposium.Washington D.C., USA:IEEE Press, 2018:1-7. [20] MOROZOV A, JANSCHEK K.Probabilistic error propagation model for mechatronic systems[J].Mechatronics, 2014, 24(8):1189-202. [21] SADU A, ROY G K, PONCI F, et al.Methodology for reliability analysis of cyber-physical MTdc grids[J].IEEE Journal of Emerging and Selected Topics in Power Electronics, 2020, 17(9):1-10. [22] ZHANG Q, WANG S H, LIU B.Approach for integrated modular avionics reconfiguration modelling and reliability analysis based on AADL[J].IET Software, 2016, 10(1):18-25. [23] LIM S, YIM D, KHUNTIA J, et al.A continuous-time markov chain model-based business analytics approach for estimating patient transition states in online health infomediary[J].Decision Sciences, 2020, 51(1):181-208. [24] BRZEZIŃSKI D W, OSTALCZYK P.Numerical calculations accuracy comparison of the inverse laplace transform algorithms for solutions of fractional order differential equations[J].Nonlinear Dynamics, 2016, 84(1):65-77. [25] HUGUES J, SINGHOFF F.AADLv2, an architecture description language for the analysis and generation of embedded systems[C]//Proceedings of International Conference on Embedded Software.Washington D.C., USA:IEEE Press, 2013:11-23. [26] GABSI W, ZALILA B, JMAIEL M.Development of a parser for the AADL error model annex[C]//Proceedings of the 16th International Conference on Computer and Information Science.Washington D.C., USA:IEEE Press, 2017:233-238. [27] MIAN Z B, BOTTACI L, JIANG J L, et al.A dependability modeling and analysis approach for an IoP-based service system[EB/OL].[2020-09-10].https://www.researchgate.net/publication/329469678_A_Dependability_Modeling_and_Analysis_Approach_for_an_IoP-Based_Service_System. |