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|
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|
|Deposited By:||Dr. Manuela Luminita BUJORIANU|
|Deposited On:||13 June 2010|