A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security

Issue title: Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Barbuti, Roberto | Maggiolo-Schettini, Andrea | Milazzo, Paolo | Gruska, Damas P.

Affiliations: Dipartimento di Informatica, Università di Pisa, Largo Pontecorvo 3, 56127 Pisa, Italy. {barbuti, maggiolo, milazzo} @di.unipi.it | Institute of Informatics, Comenius University, Mlynska dolina, 842 48 Bratislava, Slovakia. gruska@fmph.uniba.sk

Note: [] Address for correspondence: Dipartimento di Informatica, Università di Pisa, Largo Pontecorvo 3, 56127 Pisa, Italy

Abstract: A formal model for diagnostics of biological systems modelled as P systems is presented. We assume the presence of some biologically motivated changes (frequently pathological) in the systems behavior and investigate when these changes could be diagnosed by an external observer by exploiting some techniques originally developed for reasoning on system security.

DOI: 10.3233/FI-2010-294

Journal: Fundamenta Informaticae, vol. 102, no. 1, pp. 19-34, 2010