An approach to model dependability of cyber-physical systems

Microprocessors and Microsystems

Volumn 41, Issue , 2016, Pages 67-76

  Sanislav, Teodora ^a   Mois, George ^a   Miclea, Liviu ^a  

^a TECHNICAL UNIVERSITY OF CLUJ NAPOCA   (Romania)

Author keywords

Agents; Cyber Physical System; Dependability analysis; Environmental monitoring; Wireless sensor networks

Indexed keywords

AGENTS; DIGITAL DEVICES; EMBEDDED SYSTEMS; ENVIRONMENTAL ENGINEERING; ENVIRONMENTAL TECHNOLOGY; MULTI AGENT SYSTEMS; SENSOR NODES; WIRELESS SENSOR NETWORKS;

ARCHITECTURAL LAYERS; CLOUD COMPUTING TECHNOLOGIES; CYBER PHYSICAL SYSTEMS (CPSS); DEPENDABILITY ANALYSIS; ENVIRONMENTAL MONITORING; INTELLIGENT DECISION SYSTEMS; SYSTEM DEPENDABILITY; WIRELESS SENSOR NODE;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84957005489     PISSN: 01419331     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.micpro.2015.11.021     Document Type: Article

References (42)

1. F.J. Wua, Y.F. Kaob, and Y.C. Tseng From wireless sensor networks towards cyber physical systems Pervasive Mob. Comput. 7 4 2011 397 413
2. A. Avizienis, J. Laprie, and et. al. Basic concepts and taxonomy of dependable and secure computing IEEE Trans. Dependable Secure Comput. 1 2004 11 33
3. A. Miele A fault-injection methodology for the system-level dependability analysis of multiprocessor embedded systems Microproc. Microsyst. 38 6 2014 567 580 http://dx.doi.org/10.1016/j.micpro.2014.05.008
4. Dependability management part 3-1: application guide analysis techniques for dependability guide on methodology Int. Standard IEC 60300-3-1 2003
5. T. Sanislav, G. Mois, S. Folea, L. Miclea, G. Gambardella, and P. Prinetto A cloud-based cyber-physical system for environmental monitoring Proceedings of the 3rd Mediterranean Conference on Embedded Computing (MECO), 2014 2014 6 9 10.1109/MECO.2014.6862654
6. M. Broy, M.V. Cengarle, and E. Geisberger Cyber-physical systems: Imminent challenges R. Calinescu, D. Garlan, Large-Scale Complex IT Systems. Development, Operation and Management Lecture Notes in Computer Science vol. 7539 2012 Springer Berlin Heidelberg 1 28
7. J. Wan, M. Chen, F. Xia, D. Li, and K. Zhou From machine-to-machine communications towards cyber-physical systems Comput. Sci. Inf. Syst. 10 3 2013 1105 1128
8. L. Zhang, J. He, W. Yu, Challenges and solutions of cyber-physical systems, 2012, http://onlinepresent.org/proceedings/vol4-2012/8.pdf.
9. IDTechEx Wireless sensor networks (WSN) 2014-2024: forecasts, technologies, players Technical Report 2014 IDTechEx
10. R. Baheti, and H. Gill Cyber-physical systems T. Samad, A.M. Annaswamy, The impact of control technology, IEEE Control Systems Society 2011 161 167
11. V. Gunes, S. Peter, T. Givargis, and F. Vahid A survey on concepts, applications, and challenges in cyber-physical systems KSII Transactions on Internet and Information Systems (TIIS) 8 12 2014 4242 4268
12. T. Sanislav, and L. Miclea Cyber-physical systems - concept, challenges and research areas J. Control Eng. Appl. Inform. 14 2 2012 28 33
13. J. Lin, S. Sedigh, and A. Miller A general framework for quantitative modeling of dependability in cyber-physical systems: a proposal for doctoral research Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009 2009 668 671
14. J. Lin, S. Sedigh, and A. Miller Modeling cyber-physical systems with semantic agents Proceedings of the 34th Annual IEEE Computer Software and Applications Conference Workshops 2010 13 18
15. J. Lin, S. Sedigh, and A. Miller A semantic agent framework for cyber-physical systems A. Eli, M. Kon, M. Orgun, Semantic Agent Systems Studies in Computational Intelligence vol. 344 2011 Springer Berlin Heidelberg 189 213 10.1007/978-3-642-18308-9-9
16. Y. Zhang, and I. Yen Optimal adaptive system health monitoring and diagnosis for resource constrained cyber-physical systems Proceedings of the 20th International Symposium on Software Reliability Engineering 2009 51 60
17. G. Denker, N. Dutt, S. Mehrotra, M.-O. Stehr, C. Talcott, and N. Venkatasubramanian Resilient dependable cyber-physical systems: a middleware perspective J. Internet Services Appl. 3 1 2012 41 49 10.1007/s13174-011-0057-4
18. H. Woo, and J. Yi Design and development methodology for resilient cyber-physical systems Proceedings of the 28th International Conference on Distributed Computing Systems Workshop 2008 525 528
19. M. Uschold, and M. King Towards a methodology for building ontologies Workshop on Basic Ontological Issues in Knowledge Sharing 1995 1 13
20. M. Gruninger, and S. Fox The role of competency questions in enterprise engineering Workshop on Benchmarking. Theory and Practice 1994
21. The kactus booklet version 1.0. esprit project 8145, http://www.swi.psy.uva.nl/prjects/NewKACTUS.
22. M. Fernandez-Lopez, A. Gomez-Perez, and N. Juristo METHONTOLOGY: from ontological art towards ontological engineering proceedings of AAAI Symposium on Ontological Engineering 1997 33 40
23. K. Knight, and S. Luck Building an large knowledge base for machine translation Proeedings of American Association of Artificial Intelligence Conference 1994 773 778
24. K. Knight, L. Chander, and et. al. Filling knowledge gaps in a broad-coverage MT System Proceedings of the 14th IJCAI Conference 1995 1390 1396
25. M. Fernandez-Lopez Overview of methodologies for building ontologies Proceedings of IJCAI99 Workshop on Ontologies and Problem-Solving Methods: Lessons Learned and Future Trends 1999
26. V. Nguyen, Ontologies and Information Systems - Literature Survey, 2011, (Australia: DSTO Defence Science and Technology Organisation).
27. M. Jarrar, and R. Meersman Formal ontology engineering in the DOGMA approach L. Ling, K. Aberer, Proceedings of the International Conference on Ontologies, Databases and Applications of Semantics Lecture Notes in Computer Science vol. 2519 2002 Springer-Verlag
28. M. Jarrar, and R. Meersman Ontology engineering|the DOGMA approach Advances in Web Semantic Lecture Notes in Computer Science vol. 4891 2009 Springer-Verlag 7 34
29. H.S. Pinto, C. Tempich, and S. Staab Ontology engineering and evolution in a distributed world using DILIGENT S. Staab, R. Studer, Handbook on Ontologies 2009 Springer 153 176
30. M. Hadzic, E.J. Chang, and P. Wongthongtham Ontology-Based Multi-Agent Systems 2009 Springer-Verlag Berlin Heidelberg
31. H. Glaser, I. Millard, and et al. ReSIST project deliverable D10: prototype knowledge base Technical Report 2006
32. S. Bernardi, J. Merseguer, and D.C. Petriu Dependability analysis techniques Model-driven dependability assessment of software systems 2013 Springer-Verlag Berlin Heidelberg 73 90
33. Analysis Techniques for System Reliability - Procedure for Failure Mode and Effects Analysis (FMEA) International Standard IEC 60812, Second Edition 2006
34. G. Denker, N. Dutt, S. Mehrotra, M.-O. Stehr, C. Talcott, and N. Venkatasubramanian Resilient dependable cyber-physical systems: a middleware perspective J. Internet Services Appl. 1 1 2010 10.1007/s13174-011-0057-4
35. D. Talia Cloud computing and software agents: towards cloud intelligent services WOA, volume 741 of CEUR Workshop Proceedings 2011 2 6
36. J. Echanobe, I. del Campo, K. Basterretxea, M. Martinez, and F. Doctor An FPGA-based multiprocessor-architecture for intelligent environments Microproc. Microsyst. 38 2014 730 740
37. M. Lazarescu Design of a WSN platform for long-term environmental monitoring for IoT applications IEEE J. Emerging Selected Topics Circuits Syst. 3 1 2013 45 54 10.1109/JETCAS.2013.2243032
38. Cypress Semiconductor, Programmable System-on-Chip, (http://www.cypress.com/psoc/).
39. Aosong Electronics Co.,Ltd, Digital-output relative humidity & temperature sensor/module DHT22 (DHT22 also named as AM2302), Aosong Electronics Co.,Ltd
40. Roving Networks, RN-131G & RN-131C 802.11 b/g Wireless LAN Module, Roving Networks, 2012. www.rovingnetworks.com.
41. F. Bellifemine, G. Caire, G. Vitaglione, G. Rimassa, and D. Greenwood The JADE platform and experiences with mobile MAS applications R. Unland, M. Calisti, M. Klusch, Software agent-based applications, platforms and development kit, Birkhäuser Basel 2005 1 20
42. JADE Board JADE Web Services Integration Gateway (WSIG) Guide 2013