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]](https://eprints.maths.manchester.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
0NFM_fin20.pdf Download (157kB) |
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 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 |
| URI: | https://eprints.maths.manchester.ac.uk/id/eprint/1484 |
Actions (login required)
 |
View Item |