{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:54:03Z","timestamp":1781106843474,"version":"3.54.1"},"reference-count":42,"publisher":"IGI Global Scientific Publishing","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,1,1]]},"abstract":"<p>In 1988, Marc Weiser was one of the first computer scientists who envisioned that computers would become invisible; that computing power and communication technology would become part of many objects of society\u2019s daily life. Many modern systems would not be able without pervasive technology. Today, most such systems might be invisible or wearable, but society is either still aware of them or they only communicate to a limited extent with each other. In the near future many objects of day to day life will be equipped with some kind of computing and communication capability and people won\u2019t be aware of it anymore. The great benefit is that they will offer citizens support and guidance in everyday life. For example, most people do not know that nice features like jam prediction and avoidance rely on feedback of the navigation system to some centralized server clusters. These analyze the data and thus predict possible traffic jams. Although, dependability issues most often form rigid limits. Because the systems are so smoothly integrated into normal life, they are expected to be robust against intended manipulations to guarantee functional requirements and\/or to be traceable and understandable for the human user. In addition, the adaptive nature of many Pervasive Computing systems makes them very difficult to analyze and predict.<\/p>","DOI":"10.4018\/jitr.2012010101","type":"journal-article","created":{"date-parts":[[2012,12,11]],"date-time":"2012-12-11T11:45:19Z","timestamp":1355226319000},"page":"1-17","source":"Crossref","is-referenced-by-count":0,"title":["Dependability in Pervasive Computing"],"prefix":"10.4018","volume":"5","author":[{"given":"Frank","family":"Ortmeier","sequence":"first","affiliation":[{"name":"Otto-von-Guericke-Universit\u00e4t Magdeburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"jitr.2012010101-0","unstructured":"Avizienis, A., Laprie, J.-C., & Randell, B. (2001). Fundamental concepts of dependability (Tech. Rep.). Tyne and Wear, UK: Newcastle University. Retrieved March 30, 2010, from http:\/\/www.cs.ncl.ac.uk\/research\/trs\/papers\/739.ps"},{"issue":"1","key":"jitr.2012010101-1","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","article-title":"Basic concepts and taxonomy of dependable and secure computing.","volume":"1","author":"A.Avizienis","year":"2004","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"issue":"4","key":"jitr.2012010101-2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/1218063.1217943","article-title":"Thorough static analysis of device drivers.","volume":"40","author":"T.Ball","year":"2006","journal-title":"SIGOPS Operating Systems Review"},{"key":"jitr.2012010101-3","first-page":"434","article-title":"Interactive verification of UML state machines","author":"S.B\u00e4umle","year":"2004","journal-title":"Formal methods and software engineering"},{"key":"jitr.2012010101-4","unstructured":"Bell, D. E., & Leonard, J. (1973). Secure computer systems: Mathematical foundations. Bedford, MA: MITRE. Retrieved March 30, 2010, from http:\/\/www.albany.edu\/acc\/courses\/ia\/classics\/belllapadula1.pdf"},{"key":"jitr.2012010101-5","unstructured":"Biba, K. J. (1977). Integrity considerations for secure computer systems (Tech. Rep. No. TR-3153). Bedford, MA: MITRE."},{"issue":"1","key":"jitr.2012010101-6","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10009-006-0001-2","article-title":"The FSAP\/NuSMV-SA safety analysis platform.","volume":"9","author":"M.Bozzano","year":"2006","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"jitr.2012010101-7","doi-asserted-by":"crossref","unstructured":"Byun, J. W., Lee, S. M., Lee, D. H., & Hong, D. (2006). Constant-round password-based group key generation for multi-layer ad-hoc networks. In Proceedings of the Third International Conference on Security in Pervasive Computing (pp. 3-17).","DOI":"10.1007\/11734666_2"},{"key":"jitr.2012010101-8","doi-asserted-by":"crossref","unstructured":"Chen, Y., Romanovsky, A., Gorbenko, A., Kharchenko, V., Mamutov, S., & Tarasyuk, O. (2009). Benchmarking dependability of a system biology application. In Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (pp. 146-153).","DOI":"10.1109\/ICECCS.2009.20"},{"key":"jitr.2012010101-9","unstructured":"Cisco Systems. (2011). Cisco visual networking index: Global mobile data traffic forecast update 2011\u20132016. Retrieved from http:\/\/www.cisco.com\/en\/US\/solutions\/collateral\/ns341\/ns525\/ns537\/ns705\/ns827\/white_paper_c11-520862.html"},{"key":"jitr.2012010101-10","doi-asserted-by":"crossref","DOI":"10.1007\/11734666","author":"J. A.Clark","year":"2006","journal-title":"Security in pervasive computing (LNCS 3934)"},{"key":"jitr.2012010101-11","author":"E. M.Clarke","year":"1999","journal-title":"Model checking"},{"key":"jitr.2012010101-12","unstructured":"Coverity Inc. (2010). Static analysis. Retrieved from http:\/\/www.coverity.com\/products\/static-analysis.html"},{"issue":"3","key":"jitr.2012010101-13","doi-asserted-by":"crossref","first-page":"319","DOI":"10.2307\/249008","article-title":"Perceived usefulness, perceived ease of use and user acceptance of information technology.","volume":"13","author":"F. D.Davis","year":"1989","journal-title":"Management Information Systems Quarterly"},{"key":"jitr.2012010101-14","unstructured":"Dix, A. J., & Runciman, C. (1985). Abstract models of interactive systems. In Proceedings of Human Computer Interaction: People and Computer: Designing the Interface (pp. 13-22)."},{"issue":"2","key":"jitr.2012010101-15","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","article-title":"On the security of public key protocols.","volume":"29","author":"D.Dolev","year":"1983","journal-title":"IEEE Transactions on Information Theory"},{"issue":"3","key":"jitr.2012010101-16","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MPRV.2011.38","article-title":"On-road prediction of driver's intent with multimodal sensory cues.","volume":"10","author":"A.Doshi","year":"2011","journal-title":"IEEE Pervasive Computing \/ IEEE Computer Society [and] IEEE Communications Society"},{"key":"jitr.2012010101-17","doi-asserted-by":"crossref","unstructured":"Edwards, W. K., & Grinter, R. E. (2001). At home with ubiquitous computing: Seven challenges. In Proceedings of the 3rd International Conference on Ubiquitous Computing (pp. 256-272).","DOI":"10.1007\/3-540-45427-6_22"},{"key":"jitr.2012010101-18","doi-asserted-by":"crossref","unstructured":"Emerson, E. A. (1990). Temporal and modal logic. In J. Leeuwen (Ed.), Handbook of theoretical computer science (vol. B): Formal models and semantics (pp. 995-1072). Cambridge, MA: MIT Press.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"jitr.2012010101-19","unstructured":"International Electrotechnical Commission (IEC). (2003). Dependability and quality of service \/ item related performance. Retrieved from http:\/\/dom2.iec.ch\/iev\/iev.nsf\/display?openform&ievref=191-02-03"},{"key":"jitr.2012010101-20","unstructured":"International Federation for Information Processing (IFIP). (1980). WG 10.4 on dependable computing and fault tolerance. Retrieved from http:\/\/www.dependability.org\/wg10.4\/"},{"key":"jitr.2012010101-21","unstructured":"Kattoen, J. P., et al. (2011). COMPASS toolsuite. Retrieved from http:\/\/compass.informatik.rwth-aachen.de\/"},{"key":"jitr.2012010101-22","doi-asserted-by":"crossref","unstructured":"Kwiatkowska, M., Norman, G., & Parker, D. (2011). PRISM 4.0: Verification of probabilistic real-time systems. In G. Gopalakrishnan & S. Qadeer (Eds.), Proceedings of the 23rd International Conference on Computer Aided Verification (LNCS 6806, pp. 585-591).","DOI":"10.1007\/978-3-642-22110-1_47"},{"issue":"2","key":"jitr.2012010101-23","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/s10009-004-0140-2","article-title":"Probabilistic symbolic model checking with PRISM: A hybrid approach.","volume":"6","author":"M. Z.Kwiatkowska","year":"2002","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"jitr.2012010101-24","unstructured":"Lawrence, J. D. (1995). Software safety hazard analysis. Livermore, CA: Livermore National Laboratory. Retrieved March 30, 2010, from www.osti.gov\/bridge\/servlets\/purl\/201805-VM21Vg\/webviewable\/"},{"key":"jitr.2012010101-25","doi-asserted-by":"crossref","DOI":"10.4018\/978-1-60960-611-4","author":"A.Malatras","year":"2011","journal-title":"Pervasive computing and communications design and deployment: Technologies, trends and applications"},{"key":"jitr.2012010101-26","author":"R. E.McDermott","year":"1996","journal-title":"The basics of FMEA"},{"key":"jitr.2012010101-27","doi-asserted-by":"crossref","unstructured":"Merz, S. (2001). Model checking: A tutorial overview. In F. Cassez, C. Jard, B. Rozoy, & M. D. Ryan (Eds.), Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes (LNCS 2067, pp. 3-38).","DOI":"10.1007\/3-540-45510-8_1"},{"key":"jitr.2012010101-28","unstructured":"Object Management Group. (2006). Object constraint logic 2.0 formal specification. Retrieved March 30, 2010, from http:\/\/www.omg.org\/technology\/documents\/formal\/ocl.htm"},{"key":"jitr.2012010101-29","doi-asserted-by":"crossref","first-page":"230","DOI":"10.4018\/978-1-60960-611-4.ch010","article-title":"Dependability in pervasive computing","author":"F.Ortmeier","year":"2011","journal-title":"Pervasive computing and communications design and deployment: Technologies, trends and applications"},{"key":"jitr.2012010101-30","unstructured":"Ortmeier, F., et al. (2012). S3E toolsuite. Retrieved from http:\/\/euromover.cs.uni-magdeburg.de\/cse\/index.php?option=com_content &view=article&id=87&Itemid=145&lang=de Ortmeier, F., Reif, W., & Schellhorn, G. (2006). Deductive cause-consequence analysis. Paper presented at the IFAC World Congress, Istanbul, Turkey."},{"key":"jitr.2012010101-31","unstructured":"Paulson, L., Nipkow, T., & Wenzel, M. (2010). Isabelle theorem prover. Retrieved from http:\/\/www.cl.cam.ac.uk\/research\/hvg\/Isabelle\/"},{"key":"jitr.2012010101-32","doi-asserted-by":"crossref","unstructured":"Roscoe, A. W. L., Nipkow, T., & Wenzel, L. (1994). Non-interference through determinism. In Proceedings of the Third European Symposium on Research in Computer Security (pp. 33-53).","DOI":"10.1007\/3-540-58618-0_55"},{"key":"jitr.2012010101-33","unstructured":"RWTH Aachen University. (2010). Markov reward model checker. Retrieved from http:\/\/www.mrmc-tool.org\/trac\/"},{"key":"jitr.2012010101-34","unstructured":"Schellhorn, G., Thums, A., & Reif, W. (2002). Formal fault tree semantics. In Proceedings of the 6th World Conference on Integrated Design & Process Technology."},{"key":"jitr.2012010101-35","unstructured":"Schmidt-Belz, B. (2005). User trust in adaptive systems. In Proceedings of the GI-Workshop on Lernen, Wissenstransfer, Adaptivit\u00e4t. Retrieved March 30, 2010, from http:\/\/www.dfki.de\/lwa2005\/"},{"key":"jitr.2012010101-36","doi-asserted-by":"crossref","unstructured":"Stegh\u00f6fer, J.-P., Kiefhaber, R., Leichtenstern, K., Bernard, Y., Klejnowski, L., & Reif, W. \u2026C. M\u00fcller-Schloer, C. (2010). Trustworthy organic computing systems: Challenges and perspectives. In Proceedings of the 7th International Conference on Autonomic and Trusted Computing (pp. 62-76).","DOI":"10.1007\/978-3-642-16576-4_5"},{"key":"jitr.2012010101-37","author":"N.Storey","year":"1996","journal-title":"Safety critical systems"},{"key":"jitr.2012010101-38","unstructured":"University of Augsburg. (2010). Karlsruhe interactive verifier. Retrieved from http:\/\/www.informatik.uni-augsburg.de\/lehrstuehle\/swt\/se\/kiv\/"},{"key":"jitr.2012010101-39","unstructured":"Van Mulken, S., Andre, E., & Muller, J. (1999). An empirical study on the trustworthiness of life-like interface agents. In Proceedings of the 8th International Conference on Human-Computer Interaction: Communication, Cooperation, and Application Design (pp. 152-156)."},{"key":"jitr.2012010101-40","doi-asserted-by":"crossref","unstructured":"Vistein, M., Ortmeier, F., Reif, W., Huuck, R., & Fehnker, A. (2009). An abstract specification language for static program analysis. In Proceedings of the 4th International Workshop on System Software Verification (pp. 181-197).","DOI":"10.1016\/j.entcs.2009.09.066"},{"key":"jitr.2012010101-41","doi-asserted-by":"crossref","unstructured":"Volanschi, N. (2006). A portable compiler-integrated approach to permanent checking. In Proceedings of the 21st IEEE\/ACM International Conference on Automated Software Engineering (pp. 103-112).","DOI":"10.1109\/ASE.2006.8"}],"container-title":["Journal of Information Technology Research"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=69506","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T11:21:37Z","timestamp":1654082497000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jitr.2012010101"}},"subtitle":["Challenges and Chances"],"short-title":[],"issued":{"date-parts":[[2012,1,1]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,1]]}},"URL":"https:\/\/doi.org\/10.4018\/jitr.2012010101","relation":{},"ISSN":["1938-7857","1938-7865"],"issn-type":[{"value":"1938-7857","type":"print"},{"value":"1938-7865","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,1]]}}}