• DocumentCode
    2588179
  • Title

    Self managed adaptability with wrappings

  • Author

    Landauer, Christopher ; Bellman, Kirstie L.

  • Author_Institution
    Aerosp. Integration Sci. Center, Aerosp. Corp., Los Angeles, CA, USA
  • fYear
    2005
  • fDate
    26 Sept. 2005
  • Firstpage
    29
  • Lastpage
    34
  • Abstract
    In this paper, we offer an approach to software evolvability based on our wrapping infrastructure for integration in constructed complex systems. We believe that the self-modeling systems that we have built using wrappings may be able to manage their own evolution to some extent. In a wrapping-based system, the design decisions are visible in the resource definitions, with the associated context assumptions, so it is much easier to change them. We expect such a system to build and examine models of its environment, and its behavior in the environment, to check them against the specifications that define the assumptions about the use of the system, so it can call for help when they are violated. We also think we can build the system to make the changes itself in some cases. In particular, there is a class of system change causes that are known to the original system designers (usually based on uncertainties about the environment or the current state of hardware components), and the system can be built with enough information to react to those changes accordingly.
  • Keywords
    formal specification; formal verification; software prototyping; constructed complex system; formal specification; formal verification; self managed adaptability; self-modeling system; software evolvability; wrapping-based system; Artificial satellites; Capacitive sensors; Communication networks; Evolution (biology); Hardware; Satellite ground stations; Space technology; Telecommunication network reliability; Uncertainty; Wrapping;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Evolvability, 2005. IEEE International Workshop on
  • Print_ISBN
    0-7695-2460-5
  • Type

    conf

  • DOI
    10.1109/IWSE.2005.12
  • Filename
    1544759