-
Contracts for System Design
Systems design has become a key challenge and differentiating factor over the last decades for system companies. Aircrafts, trains, cars, plants, distributed... -
Ensuring Reachability by Design
ISSN 0249-6399 ISRN INRIA/RR--7928--FR+ENG ; RESEARCH REPORT N° 7928, May 2012, Project-Team S4 -
Hardware/software codesign of on-chip communication architecture for applicat...
System-on-chip (SoC) is developing as a new paradigm in electronic system design. This allows an entire hardware/software system to be built on a single chip, using... -
Compositional Contract Abstraction for System Design
Contract-based design has been recently proposed as a framework for concurrent system design in the context of complex supplier chains, where sub-system design can be...
