• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Analysis and Applications of Receptive Safety Properties in Concurrent Systems (0)

by Gilberto Matos
Add To MetaCart

Tools

Sorted by:
Results 1 - 1 of 1

Automated Enforcement of Receptive Safety Properties in Distributed Design

by Gilberto Matos, James Purtilo, Elisabeth White
"... Independent development of system components may cause integration problems if their interaction is faulty. This problem may be solved by enforcing required component interactions at the system level. We have developed a system that automatically integrates control--oriented components, to make them ..."
Abstract - Add to MetaCart
Independent development of system components may cause integration problems if their interaction is faulty. This problem may be solved by enforcing required component interactions at the system level. We have developed a system that automatically integrates control--oriented components, to make them consistent with aggregate system behavior requirements. Our method is based on the automated synchronization method that modifies independently designed components to make them satisfy a set of user defined receptive safety properties. The automated synchronization allows us to design the components as independent controllers that satisfy their individual requirements and to compose a correct executable system by combining the components and enforcing their interaction constraints. This approach gives component designers the freedom to design independently, and produce a functional system by combining the components and specifying their interaction requirements.
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University