@InProceedings{Schieferdecker2007b,
  author    = {Ina Kathrin Schieferdecker},
  booktitle = {International Symposium on Autonomous Decentralized Systems {(ISADS} 2007), 21-23 March 2007, Sedona, AZ, {USA}},
  title     = {Quality Assurance for Autonomous Systems - {A} Review of Model-Based Methods},
  doi       = {10.1109/ISADS.2007.61},
  pages     = {305--307},
  publisher = {Institute of Electrical {\&} Electronics Engineers ({IEEE})},
  abstract  = {A major field in research and development are open, distributed, communication-intense systems, which are currently characterized by increasing heterogeneity in structure and technologies and by growing complexity and behavior dynamics. Autonomous systems are being investigated in order to return to manageable and stable systems whose operation and maintenance is affordable. By resolving the obstacles of current systems via enlarged system autonomy, the quality assurance of such dynamic, reconfigurable, adjustable systems becomes problematic. This keynote reviews requirements, methods and approaches for model-based quality assurance of autonomous systems.},
  award     = {Keynote},
  file      = {:2007/Schieferdecker2007b - Quality Assurance for Autonomous Systems a Review of Model Based Methods.pdf:PDF},
  keywords  = {distributed programming;quality assurance;research and development;systems analysis;autonomous systems;model-based methods;quality assurance;research and development;Computer networks;Error correction;Monitoring;Performance analysis;Quality assurance;Research and development;Robustness;Scalability;System testing;Systems engineering and theory},
  type      = {conference},
  year      = {2007}
}