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 |
Abstract
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