タイトル | Non-standard analysis and embedded software |
本文(外部サイト) | http://hdl.handle.net/2060/19960000034 |
著者(英) | Platek, Richard |
著者所属(英) | Odyssey Research Associates, Inc. |
発行日 | 1995-06-01 |
言語 | eng |
内容記述 | One model for computing in the future is ubiquitous, embedded computational devices analogous to embedded electrical motors. Many of these computers will control physical objects and processes. Such hidden computerized environments introduce new safety and correctness concerns whose treatment go beyond present Formal Methods. In particular, one has to begin to speak about Real Space software in analogy with Real Time software. By this we mean, computerized systems which have to meet requirements expressed in the real geometry of space. How to translate such requirements into ordinary software specifications and how to carry out proofs is a major challenge. In this talk we propose a research program based on the use of no-standard analysis. Much detail remains to be carried out. The purpose of the talk is to inform the Formal Methods community that Non-Standard Analysis provides a possible avenue to attack which we believe will be fruitful. |
NASA分類 | COMPUTER PROGRAMMING AND SOFTWARE |
レポートNO | 96N10034 |
権利 | No Copyright |
URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/106153 |