{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T19:57:40Z","timestamp":1777406260821,"version":"3.51.4"},"reference-count":27,"publisher":"MDPI AG","issue":"4","license":[{"start":{"date-parts":[[2018,11,15]],"date-time":"2018-11-15T00:00:00Z","timestamp":1542240000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/N007565\/1"],"award-info":[{"award-number":["EP\/N007565\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers"],"abstract":"<jats:p>Sensor-driven systems provide data and information that facilitate real-time decision-making and autonomous actuation, as well as enable informed policy choices. However, can we be sure that these systems work as expected? Can we model them in a way that captures all the key issues? We define two concepts: frames of reference and frames of function that help us organise models of sensor-based systems and their purpose. Examples from a smart water distribution network illustrate how frames offer a lens through which to organise and balance multiple views of the system. Frames aid communication between modellers, analysts and stakeholders, and distinguish the purpose of each model, which contributes towards our trust that the system fulfils its purpose.<\/jats:p>","DOI":"10.3390\/computers7040062","type":"journal-article","created":{"date-parts":[[2018,11,15]],"date-time":"2018-11-15T11:32:47Z","timestamp":1542281567000},"page":"62","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems"],"prefix":"10.3390","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5033-7232","authenticated-orcid":false,"given":"Muffy","family":"Calder","sequence":"first","affiliation":[{"name":"School of Computing Science, University of Glasgow, Glasgow G12 8QQ, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Dobson","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of St Andrews, St Andrews KY16 9AX, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Liverpool, Liverpool L69 3BX, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julie","family":"McCann","sequence":"additional","affiliation":[{"name":"Department of Computing, Imperial College London, London SW7 2AZ, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2018,11,15]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"Kartakis, S., Abraham, E., and McCann, J.A. (2015, January 13\u201316). WaterBox: A Testbed for Monitoring and Controlling Smart Water Networks. Proceedings of the 1st ACM International Workshop on Cyber-Physical Systems for Smart Water Networks, Seattle, WA, USA.","DOI":"10.1145\/2738935.2738939"},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"35:1","DOI":"10.1145\/2530526","article-title":"Failure Detection in Wireless Sensor Networks: A Sequence-based Dynamic Approach","volume":"10","author":"Kamal","year":"2014","journal-title":"ACM Trans. Sens. Netw."},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Fang, L., and Dobson, S. (2013). In-network Sensor Data Modelling Methods for Fault Detection. Evolving Ambient Intelligence, Springer.","DOI":"10.1007\/978-3-319-04406-4_17"},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/2494558","article-title":"Verifying Autonomous Systems","volume":"56","author":"Fisher","year":"2013","journal-title":"Commun. ACM"},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1007\/s00165-013-0277-4","article-title":"Formal verification of a pervasive messaging system","volume":"26","author":"Konur","year":"2014","journal-title":"Form. Asp. Comput."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/s11334-013-0203-1","article-title":"Is my configuration any good: checking usability in a sensor-based activity monitor","volume":"11","author":"Calder","year":"2015","journal-title":"Innovat. Syst. Softw. Eng."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"9:1","DOI":"10.1145\/2882784","article-title":"On lions, impala, and bigraphs: modelling interaction in physical\/virtual spaces","volume":"23","author":"Benford","year":"2016","journal-title":"ACM Trans. Human-Comput. Interact. (TOCHI)"},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1016\/j.pmcj.2016.06.012","article-title":"Detecting abnormal events on binary sensors in smart home environments","volume":"33","author":"Ye","year":"2016","journal-title":"Pervasive Mob. Comput."},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Jackson, G., Kartakis, S., and McCann, J.A. (2017, January 29\u201331). Accurate Models of Energy Harvesting for Smart Environments. Proceedings of the 2017 IEEE International Conference on Smart Computing, SMARTCOMP, Hong Kong, China.","DOI":"10.1109\/SMARTCOMP.2017.7946983"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"172096","DOI":"10.1098\/rsos.172096","article-title":"Computational modelling for decision-making: where, why, what, who, and how","volume":"5","author":"Calder","year":"2018","journal-title":"R. Soc. Open Sci."},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Tsigkanos, C., Kehrer, T., and Ghezzi, C. (2017, January 4\u20138). Modeling and verification of evolving cyber-physical spaces. Proceedings of the 11th Joint Meeting on Foundations of Software Engineering, ESEC\/FSE, Paderborn, Germany.","DOI":"10.1145\/3106237.3106299"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/JPROC.2011.2160929","article-title":"Modeling Cyber-Physical Systems","volume":"100","author":"Derler","year":"2012","journal-title":"Proc. IEEE"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/1047671.1047703","article-title":"Context is key","volume":"48","author":"Coutaz","year":"2005","journal-title":"Comm. ACM"},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"4837","DOI":"10.3390\/s150304837","article-title":"The Past, Present and Future of Cyber-Physical Systems: A Focus on Models","volume":"15","author":"Lee","year":"2015","journal-title":"Sensors"},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/j.pmcj.2011.01.004","article-title":"Situation identification techniques in pervasive computing: A review","volume":"8","author":"Ye","year":"2012","journal-title":"Pervasive Mob. Comput."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1145\/1897239.1897250","article-title":"Proxemic Interactions: The New Ubicomp?","volume":"18","author":"Greenberg","year":"2011","journal-title":"Interactions"},{"key":"ref_17","unstructured":"(2018, November 12). Simulink. Available online: https:\/\/uk.mathworks.com\/help\/simulink."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"PRISM 4.0: Verification of Probabilistic Real-time Systems","volume":"Volume 6806","author":"Kwiatkowska","year":"2012","journal-title":"Proceedings of the 23rd International Conference on Computer Aided Verification (CAV\u201911), LNCS"},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Langendoen, K., Baggio, A., and Visser, O. (2006, January 25\u201329). Murphy Loves Potatoes: Experiences from a Pilot Sensor Network Deployment in Precision Agriculture. Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS), Rhodes Island, Greece.","DOI":"10.1109\/IPDPS.2006.1639412"},{"key":"ref_20","unstructured":"(2018, November 12). First ACM International Workshop on the Engineering of Reliable, Robust, and Secure Embedded Wireless Sensing Systems (FAILSAFE). Available online: http:\/\/wp.doc.ic.ac.uk\/failsafe."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Sommerville, I. (1992). Software Engineering, Addison Wesley. [4th ed.].","DOI":"10.1007\/3-540-57209-0"},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Von Hanxleden, R., Lee, E.A., Motika, C., and Fuhrmann, H. (2012). Multi-View Modeling and Pragmatics in 2020: Position Paper on Designing Complex Cyber-Physical Systems, LNCS, Springer.","DOI":"10.1007\/978-3-642-34059-8_11"},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Hennicker, R., and Ludwig, M. (2012). View-Based Development of a Simulation Framework for Multi-disciplinary Environmental Modelling, LNCS, Springer.","DOI":"10.1007\/978-3-642-34059-8_12"},{"key":"ref_24","unstructured":"Benveniste, A., Caillaud, B., and Passerone, R. (arXiv, 2007). A Generic Model of Contracts for Embedded Systems, arXiv."},{"key":"ref_25","unstructured":"Jackson, M. (2001). Problem Frames: Analysing and Structuring Software Development Problems, Addison-Wesley."},{"key":"ref_26","unstructured":"Zeigler, B. (1976). Theory of Modelling and Simulation, Wiley."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1080\/07408170108936821","article-title":"Experimental Frames in a Modern Modeling and Simulation System","volume":"33","author":"Daum","year":"2001","journal-title":"IIE Trans."}],"container-title":["Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2073-431X\/7\/4\/62\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T15:29:46Z","timestamp":1760196586000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2073-431X\/7\/4\/62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,15]]},"references-count":27,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2018,12]]}},"alternative-id":["computers7040062"],"URL":"https:\/\/doi.org\/10.3390\/computers7040062","relation":{},"ISSN":["2073-431X"],"issn-type":[{"value":"2073-431X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11,15]]}}}