NDLI: Contract-Based Requirement Modularization via Synthesis of Correct Decompositions

Content Provider	ACM Digital Library
Author	Le, Thi Thieu Hoa Legay, Axel Passerone, Roberto Fahrenberg, Uli
Copyright Year	2016
Abstract	In distributed development of modern systems, contracts play a vital role in ensuring interoperability of components and adherence to specifications. It is therefore often desirable to verify the satisfaction of an overall property represented as a contract, given the satisfaction of smaller properties also represented as contracts. When the verification result is negative, designers must face the issue of refining the subproperties and components. This is an instance of the classical synthesis problems: “can we construct a model that satisfies some given specification?” In this work, we propose two strategies enabling designers to synthesize or refine a set of contracts so that their composition satisfies a given contract. We develop a generic algebraic method and show how it can be applied in different contract models to support top-down component-based development of distributed systems.
Starting Page	1
Ending Page	26
Page Count	26
File Format	PDF
ISSN	15399087
e-ISSN	15583465
DOI	10.1145/2885752
Volume Number	15
Issue Number	2
Journal	ACM Transactions on Embedded Computing Systems (TECS)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2016-02-26
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Contract Decomposition Distributed systems Requirement Synthesis
Content Type	Text
Resource Type	Article
Subject	Hardware and Architecture Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

An architectural co-synthesis algorithm for distributed, embedded computing systems

Generalized Cascade Decompositions of Automata

On Decompositions of Regular Events

Refinement-based synthesis of correct contract model decompositions

COSYN: Hardware-software co-synthesis of heterogeneous distributed embedded systems

Knowledge-based distributed system architecture

Correct architecture refinement

Iterative schedule optimization for voltage scalable distributed embedded systems

Generalized hypertree decompositions: NP-hardness and tractable variants

Contract-Based Requirement Modularization via Synthesis of Correct Decompositions

Similar Documents

An architectural co-synthesis algorithm for distributed, embedded computing systems

Generalized Cascade Decompositions of Automata

On Decompositions of Regular Events

Refinement-based synthesis of correct contract model decompositions

COSYN: Hardware-software co-synthesis of heterogeneous distributed embedded systems

Knowledge-based distributed system architecture

Correct architecture refinement

Iterative schedule optimization for voltage scalable distributed embedded systems

Generalized hypertree decompositions: NP-hardness and tractable variants

Contract-Based Requirement Modularization via Synthesis of Correct Decompositions