Abstract
In embedded systems the interfaces between software and its embedding environment are a major source of costly errors. For example, Lutz reported that 20% - 35% of the safety related errors discovered during integration and system testing of two spacecraft were related to the interfaces between the software and the embedding hardware. Also, the software's operating environment is likely to change over time further complicating the issues related to system level inter-component communication. In this paper we discussed a formal approach to the specification and analysis of inter-component communication using a revised version of the RSML (Requirements State Machine Language) specification language. The formalism allows rigorous specification of the physical aspects of the inter-component communication and enables encapsulation of communication related properties in well defined interface specifications. This allows us to both analyze a system design and detect incompatibilities between connected components and use the interface specifications as simple safety kernels to enforce safety and simple liveness constraints.
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the International Conference on Formal Engineering Methods, ICFEM |
| Editors | M.G. Hinchey, S. Liu |
| Publisher | IEEE Comp Soc |
| Pages | 192-201 |
| Number of pages | 10 |
| State | Published - Dec 1 1997 |
| Event | Proceedings of the 1997 1st International Conference on Formal Engineering Methods, ICFEM - Hiroshima, Jpn Duration: Nov 12 1997 → Nov 14 1997 |
Other
| Other | Proceedings of the 1997 1st International Conference on Formal Engineering Methods, ICFEM |
|---|---|
| City | Hiroshima, Jpn |
| Period | 11/12/97 → 11/14/97 |