• search hit 1 of 1
Back to Result List

Automated Enforcement of Receptive Safety Properties in Distributed Design

  • 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 re- quirements. Ourmethod is based on the automated synchronization method that modifies independently designed compo-nents to make them satisfy a set of user defined receptive safety properties. The automated synchroniza-tion allows us to design the compo nents 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.

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Gilberto Matos, James Purtilo, Elizabeth White
URN:urn:nbn:de:hbz:386-kluedo-1956
Document Type:Preprint
Language of publication:English
Year of Completion:1999
Year of first Publication:1999
Publishing Institution:Technische Universität Kaiserslautern
Date of the Publication (Server):2000/04/03
Tag:automated code generation; automated synchronization; concurrent software; receptive safety properties; reliability
Note:
This research is Supported by the Office of Naval Research under contract ONR N000149410320 and by the National Scie nce Foundation under contract CCR-96-25-202
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011