Context sensitivity and ambiguity in component-based systems design
Designers of components-based, real-time systems need to guarantee to correctness of soft-ware and its output. Complexity of a system, and thus the propensity for error, is best characterized by the number of states a component can encounter. In many cases, large numbers of states arise where the processing is highly dependent on context. In these cases, states are often missed, leading to errors. The following are proposals for compactly specifying system states which allow the factoring of complex components into a control module and a semantic processing module. Further, the need for methods that allow for the explicit representation of ambiguity and uncertainty in the design of components is discussed. Presented herein are examples of real-world problems which are highly context-sensitive or are inherently ambiguous.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE Office of Financial Management and Controller, Washington, DC (United States)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 543628
- Report Number(s):
- SAND-97-2304C; CONF-9709104-; ON: DE98000231; TRN: 97:005695
- Resource Relation:
- Conference: ACM foundations of software engineering international convention, Zurich (Switzerland), 21-25 Sep 1997; Other Information: PBD: 1997
- Country of Publication:
- United States
- Language:
- English
Similar Records
Retaining Systems Engineering Model Meaning Through Transformation: Demo 2
SMART (Sandia's Modular Architecture for Robotics and Teleoperation) Ver. 1.0