NDLI: Rigorous system design

Please wait, while we are loading the content...

Rational and resilient protocols

Signature-free asynchronous byzantine consensus with t < n/3 and $o(n^{2})$ messages

The future(s) of shared data structures

Multi-message broadcast with abstract MAC layers and unreliable links

Anonymous networks: randomization = 2-hop coloring

Estimation for monotone sampling: competitiveness and customization

Coding theory for scalable media delivery

Distributed connectivity decomposition

Complexity tradeoffs for read and update operations

Software-improved hardware lock elision

Trade-offs between selection complexity and performance when searching the plane without communication

An incomplete history of concurrency chapter 1. 1965--1977

Rigorous system design

How to withstand mobile virus attacks, revisited

Efficient lock-free binary search trees

Beyond geometry: towards fully realistic wireless models

Making objects writable

Asynchronous MPC with a strict honest majority using non-equivocation

A paradox of eventual linearizability in shared memory

Consensus with an abstract MAC layer

Beyond set disjointness: the communication complexity of finding the intersection

Distributed algorithms for the Lovász local lemma and graph coloring

Can quantum communication speed up distributed computation?

Concurrent updates with RCU: search tree as an example

A generalized asynchronous computability theorem

Improved distributed steiner forest construction

Born and raised distributively: fully distributed non-interactive adaptively-secure threshold signatures with short shares

The amortized complexity of non-blocking binary search trees

On the impact of geometry on ad hoc communication in wireless networks

Asynchronous convex hull consensus in the presence of crash faults

Distributing the setup in universally composable multi-party computation

Brief announcement: are lock-free concurrent algorithms practically wait-free?

Simple and efficient local codes for distributed stable network construction

Breathe before speaking: efficient information dissemination despite noisy, limited and anonymous communication

Brief announcement: towards security and privacy for outsourced data in the multi-party setting

Optimal gossip with direct addressing

Brief announcement: distributed universality: contention-awareness; wait-freedom; object progress, and other properties

Balls-into-leaves: sub-logarithmic renaming in synchronous message-passing systems

Spanners and sparsifiers in dynamic streams

Fast and unconditionally secure anonymous channel

Brief announcement: gracefully degrading consensus and k-set agreement under dynamic link failures

On the power of the congested clique model

Distributed computing building blocks for rational agents

Brief announcement: a generic construction for nonblocking dual containers

Linear-in-delta lower bounds in the LOCAL model

Brief announcement: game theoretical approach for energy-delay balancing in distributed duty-cycled MAC protocols of wireless networks

Brief announcement: concurrency-aware linearizability

Dynamic-sized nonblocking hash tables

Time versus cost tradeoffs for deterministic rendezvous in networks

Brief announcement: local approximability of minimum dominating set on planar graphs

Brief announcement: Linial's lower bound made easy

Near-optimal communication-time tradeoff in fault-tolerant computation of aggregate functions

Brief announcement: Super-fast t-ruling sets

Brief announcement: almost-tight approximation distributed algorithm for minimum cut

Rigorous system design

Content Provider	ACM Digital Library
Author	Sifakis, Joseph
Abstract	We advocate rigorous system design as a coherent and accountable model-based process leading from requirements to implementations. We present the state of the art in system design, discuss its current limitations, and identify possible avenues for overcoming them. A rigorous system design flow [3] is defined as a formal accountable and iterative process composed of steps, and based on four principles: (1) separation of concerns; (2) component-based construction; (3) semantic coherency; and (4) correctness-by-construction. We show that the combined application of these principles allows the definition of rigorous design flows clearly identifying where human intervention and ingenuity are needed to resolve design choices, as well as activities that can be supported by tools to automate tedious and error-prone tasks. An implementable system model is progressively derived by source-to-source automated transformations in a single host component-based language rooted in well-defined semantics. Using a single modeling language throughout the design flow enforces semantic coherency. Correct-by-construction techniques allow well-known limitations of a posteriori verification to be overcome and ensure accountability. It is possible to explain, at each design step, which among the requirements are satisfied and which may not be satisfied. The presented view has been amply implemented in the BIP (Behavior, Interaction, Priority) component framework and substantiated by numerous experimental results showing both its relevance and feasibility [1]. We show in particular, how distributed implementations can be generated from BIP models with multiparty interactions by application of correct-by-construction transformations [2]. We conclude with a discussion advocating a system-centric vision for computing, identifying possible links with other disciplines, and emphasizing centrality of system design.
Starting Page	292
Ending Page	292
Page Count	1
File Format	PDF
ISBN	9781450329446
DOI	10.1145/2611462.2611517
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-07-15
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Correctness by construction Design methodology Distributed code generation Component-based systems System design
Content Type	Text
Resource Type	Article

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

Rigorous Component-Based System Design Using the BIP Framework

From high-level component-based models to distributed implementations

Automated distributed implementation of component-based models with priorities

Early validation of system requirements and design through correctness-by-construction

Automated distributed implementation of component-based models with priorities

Component-based Design of Heterogeneous Reactive Systems in Prometheus

Ensuring structure and behavior correctness in.

Constructive extensibility of trustworthy component-based systems

Platform-based design and software design methodology for embedded systems (2001)

Rigorous system design

Similar Documents

Rigorous Component-Based System Design Using the BIP Framework

From high-level component-based models to distributed implementations

Automated distributed implementation of component-based models with priorities

Early validation of system requirements and design through correctness-by-construction

Automated distributed implementation of component-based models with priorities

Component-based Design of Heterogeneous Reactive Systems in Prometheus

Ensuring structure and behavior correctness in.

Constructive extensibility of trustworthy component-based systems

Platform-based design and software design methodology for embedded systems (2001)

Rigorous system design