Towards Co-Engineering Communicating Autonomous Cyber-physical Systems

Bujorianu, M.C. and Bujorianu, M.L. (2009) Towards Co-Engineering Communicating Autonomous Cyber-physical Systems. In: Proceedings of the First NASA Formal Methods Symposium. NASA Ames Research Center, Moffett Field, California, pp. 176-180.

[thumbnail of 0NFM_fin20.pdf] PDF

Download (157kB)


In this paper, we sketch a framework for interdisciplinary modeling of space systems, by proposing a holistic view. We consider different system dimensions and their interaction. Specifically,we study the interactions between computation, physics, communication, uncertainty and autonomy. The most comprehensive computational paradigm that supports a holistic perspective on autonomous space systems is given by cyber-physical systems. For these, the state of art consists of collaborating multi-engineering efforts that prompt for an adequate formal foundation. To achieve this, we propose a leveraging of the traditional content of formal modeling by a co-engineering process.

Item Type: Book Section
Uncontrolled Keywords: cyber-physical systems, uncertainty, degrees of autonomy, communication, formal modeling, structured operational semantics, system co-engineering, Cicada
Subjects: MSC 2010, the AMS's Mathematics Subject Classification > 68 Computer science
Depositing User: Dr. Manuela Luminita BUJORIANU
Date Deposited: 13 Jun 2010
Last Modified: 20 Oct 2017 14:12

Actions (login required)

View Item View Item