Physical-Informatical Essence-Duality-Aware Generic Modeling of Threat Handling Processes

Mordecai, Yaniv and Raju, Pathmeswaran and Chapman, Craig and Dori, Dov (2013) Physical-Informatical Essence-Duality-Aware Generic Modeling of Threat Handling Processes. In: 2013 European Modelling Symposium (EMS), 20 - 22 November 2013, Manchester.

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1109/EMS.2013.17

Abstract

Systems interact with real world entities, and must hold internal representations of these entities in order to handle them appropriately. Physical-informatical essence duality (PIED) is the parallel existence of the entity as both the original, usually physical source, and its informatical representation, as held by each agent interacting with the entity. The distinction between the original external entity and its representation is critical for correct modeling and realization of complex interactions of cyber-physical systems with the real world. The implications of this distinction must be recognized and accounted for. Conceptual modeling semantics for the PIED problem make this distinction possible, structured, and well-defined in the system model. We review a formalism based on Epistemic Logic semantics, and a modelbased framework based on Object Process Methodology, and demonstrate the applicability of our framework for generic modeling of threat handling processes, common to various
cyber-physical systems and various types of threats, such as safety hazards, terror attacks, and cyber-attacks.

Item Type:	Conference or Workshop Item (Paper)
Additional Information:	Submitted to REF 2014, UoA 11, Craig Chapman
Identification Number:	10.1109/EMS.2013.17
Dates:	Date Event 2013 UNSPECIFIED
Subjects:	CAH11 - computing > CAH11-01 - computing > CAH11-01-01 - computer science
Divisions:	Faculty of Computing, Engineering and the Built Environment > College of Engineering
Depositing User:	Users 18 not found.
Date Deposited:	07 Jun 2016 11:50
Last Modified:	20 Jun 2024 11:51
URI:	https://www.open-access.bcu.ac.uk/id/eprint/245