You are here: MIMS > EPrints
MIMS EPrints

2010.53: Towards Co-Engineering Communicating Autonomous Cyber-physical Systems

2010.53: M.C. Bujorianu and M.L. Bujorianu (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.

Full text available as:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
155 Kb


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 2000 > 68 Computer science
MIMS number:2010.53
Deposited By:Dr. Manuela Luminita BUJORIANU
Deposited On:13 June 2010

Download Statistics: last 4 weeks
Repository Staff Only: edit this item