The Library
Towards co-engineering communicating autonomous cyber-physical systems
Tools
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.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://ntrs.nasa.gov/search.jsp?Ntx=mode+matchallp...
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, Engineering and Medicine > Science > Mathematics | ||||
Publisher: | NASA | ||||
Book Title: | Proceedings of the First NASA Formal Methods Symposium | ||||
Editor: | Denney, Ewen and Giannakopoulou, Dimitra and Pasareanu, Corina | ||||
Official Date: | 2009 | ||||
Dates: |
|
||||
Number: | Report/Patent Number: NASA/CP-2009-215407, ARC-E-DAA-TN774 | ||||
Page Range: | pp. 176-180 | ||||
DOI: | 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. |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |