Towards co-engineering communicating autonomous cyber-physical systems
Bujorianu, Marius C. and Bujorianu, Manuela (2009) Towards co-engineering communicating autonomous cyber-physical systems. In: Denney, Ewen and Giannakopoulou, Dimitra and Pasareanu, Corina, (eds.) Proceedings of the First NASA Formal Methods Symposium. NASA, pp. 176-180.Full text not available from this repository.
Official URL: http://ntrs.nasa.gov/search.jsp?Ntx=mode+matchallp...
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. Speciﬁcally, 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 Item|
|Divisions:||Faculty of Science > Mathematics|
|Book Title:||Proceedings of the First NASA Formal Methods Symposium|
|Editor:||Denney, Ewen and Giannakopoulou, Dimitra and Pasareanu, Corina|
|Number:||Report/Patent Number: NASA/CP-2009-215407, ARC-E-DAA-TN774|
|Page Range:||pp. 176-180|
|Identification Number:||Document ID: 20100024454|
|Description:||NASA conference publication contains the proceedings of the First NASA Formal Methods Symposium (NFM 2009), held at the NASA Ames Research Center, in Moffett Field, CA, USA, on April 6 – 8, 2009.|
Actions (login required)