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.

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 Item
Divisions:	Faculty of Science > Mathematics
Publisher:	NASA
Book Title:	Proceedings of the First NASA Formal Methods Symposium
Editor:	Denney, Ewen and Giannakopoulou, Dimitra and Pasareanu, Corina
Date:	2009
Number:	Report/Patent Number: NASA/CP-2009-215407, ARC-E-DAA-TN774
Page Range:	pp. 176-180
Identification Number:	Document ID: 20100024454
Status:	Peer Reviewed
Publication Status:	Published
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.
URI:	http://wrap.warwick.ac.uk/id/eprint/49156

Request changes to a record

Actions (login required)

View Item