Modeling and Specifying Requirements for Cyber-Physical Systems

ORDINEZ, L.; ALIMENTI, O.; RINLAND M. E.; GÓMEZ M. A.; MARCHETTI, J.

IEEE LATIN AMERICA TRANSACTIONS

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC

Lugar: New York; Año: 2013 vol. 11 p. 625 - 632

1548-0992

Cyber-physical systems have to do with a strong interaction between the physical world and a computing system,which should be transparent to an external observer. In this paper, an approach for modeling and specifying requirements for these systems is presented. It is called 3D Approach and it is based on the well known 4-Variable Model. The proposed extension intends to tackle the particularities involved in the development of cyberphysical systems by a multidisciplinary team and consequently it emphasizes a practical and applied point of view. The 3D Approach came out as the result of systematizing lessons learned in the design of a biodigester, which allows the anaerobic digestion of biomass for the production of biogas.