Asynchronous Circuit Design

Recently, contract-based design has been proposed as an “orthogonal” approach that complements system design methodologies proposed so far to cope with the complexity of system design. Contract-based design provides a rigorous scaffolding for verification, analysis, abstraction/refinement, and even synthesis. A number of results have been obtained in this domain but a unified treatment of the topic that can help put contract-based design in perspective was missing. This monograph intends to provide such a treatment where contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity. In particular, this monograph identifies the essence of complex system design using contracts through a mathematical “meta-theory”, where all the properties of the methodology are derived from a very abstract and generic notion of contract. We show that the meta-theory provides deep and illuminating links with existing contract and interface theories, as well as guidelines for designing new theories. Our study encompasses contracts for both software and systems, with emphasis on the latter. We illustrate the use of contracts with two examples: requirement engineering for a parking garage management, and the development of contracts for timing and scheduling in the context of the AUTOSAR methodology in use in the automotive sector.

/pdf/contracts-for-system-design-4rnwl90agh.pdf

Contracts for System Design

Verifying Properties of Parallel Programs : An Axiomatic Approach

This paper proposes a generic approach or protocol engineering through the analysis,the specification,and the verification of such protocols when several agents are involved. This approach is three folds:1)Starting from semi-formal specification by means o Protocol Diagrams (AUML),both formal specification of interaction protocols and their verification are allowed thanks to Colored Petri Nets (CPN);2) Debugging and qualitative analysis o interactions are based on distributed observation associated with the true concurrency semantics (i.e.CPN unfolding)and ;3)CPN formalism is extended to Recursive CPN (RCPN)with abstraction in order to deal with open protocols.The main interest of abstraction is the design of fexible protocols giving agents more autonomy during interaction.In addition,abstraction allows concise modeling and easier verification. measures,performance measures .

/pdf/open-protocol-design-for-complex-interactions-in-multi-agent-72wtwcpbpx.pdf

Open protocol design for complex interactions in multi-agent systems

Aircrafts, trains, cars, plants, distributed telecommunication military or health care systems,
and more, involve systems design as a critical step. Complexity has caused system design times and costs
to go severely over budget so as to threaten the health of entire industrial sectors. Heuristic methods and
standard practices do not seem to scale with complexity so that novel design methods and tools based on a
strong theoretical foundation are sorely needed. Model-based design as well as other methodologies such
as layered and compositional design have been used recently but a unified intellectual framework with a
complete design flow supported by formal tools is still lacking.
Recently an “orthogonal” approach has been proposed that can be applied to all methodologies introduced
thus far to provide a rigorous scaffolding for verification, analysis and abstraction/refinement: contractbased
design. Several results have been obtained in this domain but a unified treatment of the topic that can
help in putting contract-based design in perspective is missing. This paper intends to provide such treatment
where contracts are precisely defined and characterized so that they can be used in design methodologies
such as the ones mentioned above with no ambiguity. In addition, the paper provides an important link
between interface and contract theories to show similarities and correspondences.
This paper is complemented by a companion paper where contract based design is illustrated through
use cases.

/pdf/contracts-for-systems-design-theory-3hvvil3lb6.pdf

Contracts for Systems Design: Theory

Successful development of agent interaction protocols requires modeling methods and tools that support a relatively complete development lifecycle. Agent-based systems are inherently complex but exhibit many similarities to object-oriented systems. For these reasons not only current modeling languages need to be extended, but also related tools should be provided for agent interaction protocol design to be supported. In this paper, we focus on the design stage of an agent interaction protocol development cycle. We start by giving general criteria for comparing agent modeling languages. The ones we take into consideration in this paper are extensions of Agent-UML and FIPA-UAML languages. We describe these languages and discuss some extensions on a simplified application of the Netbill electronic commerce protocol. We then briefly introduce a component-based formal specification language in order to support the protocol's design stage and present a tool built upon the FIPA norm (making use of the PDN or UAML notation) which supports the analysis and design of interaction protocols.

Extended modeling languages for interaction protocol design

This paper develops a theoretical basis for using process algebra and associated model checking tools to verify asynchronous circuits. We extend existing verification theory for asynchronous circuits, and integrate it into the framework of standard process algebra theory. Our theory permits analysis of safeness (i.e. choke) and progress (i.e. illegal stop, divergence and relative starvation) conditions. We show how the model can be translated into CSP, and how the satisfaction of safeness and progress requirements can be reduced to refinement checks in CSP.

/pdf/on-process-algebraic-verification-of-asynchronous-circuits-2hqasv2mem.pdf

On process-algebraic verification of asynchronous circuits

Extended Modeling Languages for Interaction Protocol Design

http://qav.comlab.ox.ac.uk/papers/avocs04_csp.pdf

Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware

http://qav.comlab.ox.ac.uk/papers/express06.pdf

Compositional State Space Reduction Using Untangled Actions

Handle everyday research tasks with reliable, citation-backed results

Your personal Research Agent to handle research tasks with citation-backed results

Popular Tasks used by Researchers

How can I help with your research?

Meet SciSpace

Get more enhanced response by uploading the PDFs you want me to reference.

No relevant PDFs in your library

SciSpace is the AI research assistant for academics. Run systematic literature reviews on 280M+ papers, and write papers with cited sources. Trusted by 1M+ students, PhDs & researchers.

SciSpace | AI for Research

Analyze PDFs

Code & Manuscripts

Funding & Grants

Literature & Patents

Medical & Clinical Data

Systematic Review

Visualize & Present

Web & Data

Build a Google Scholar-like website for your research.

Build a website

Create charts and images for your research

Create a Chart

Write a paper for submission to a journal

Draft a manuscript

Patent Search

Design eye-catching scientific posters in minutes.

Scientific Poster Generation

Systematic Literature Review

One task is running at the moment. Your messages will be shown right after.

Drag and drop or click here to browse

Loved by <highlight>1 million+</highlight> researchers

Extract a list of specific topics and their sources from unstructured text

Topics

Compare and analyze relevant papers that matches with your search

Papers

Get insights from PDFs and bookmarked papers from your library

My library

Recent searches

Try searching for:

Catch AI-generated content in scholarly and non-scholarly content

{ai} Detector

Ai Writer

Get PDF Summaries, highlighted text explanations 

Chat with PDF

Effortlessly create in-text citations and bibliographies in APA and 2,500 other formats

Citation generator

Get explanations, summaries, and answers on academic papers

Ease up your research workflow with {scispace}'s cohort of exciting AI tools

Elevate your academic writing skills and convey your ideas the way you want

Paraphraser

Explore our range of reading and writing tools

Your file is being prepared and should be ready in a few minutes. If it's a large file, it might take a bit longer. You can close this window, and we'll email you the file when it's done.

You have reached a maximum limit of <strong>{limit}</strong> columns in the table. Remove at least <strong>1</strong> column to add or create another one.

Xu Wang

Author Tools

Chat about Author