Roberto Passerone's Books

Languages and Tools for Hybrid Systems Design

By: Luca P. Carloni,Roberto Passerone,Alessandro Pinto

Write a review Read reviews Take a Quiz Solve Book Puzzle

Languages and Tools for Hybrid Systems Design

By: Luca P. Carloni,Roberto Passerone,Alessandro Pinto

Languages and Tools for Hybrid Systems Design is intended to equip researchers, application developers and managers with key references and resource material for the successful development of hybrid systems

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

208

Publisher

Now Publishers Inc

Published Date

ISBN 10

193301928X

ISBN 13

9781933019284

Languages and Tools for Hybrid Systems Design

By: Luca P. Carloni,Roberto Passerone,Alessandro Pinto

Write a review Read reviews Take a Quiz Solve Book Puzzle

Languages and Tools for Hybrid Systems Design

By: Luca P. Carloni,Roberto Passerone,Alessandro Pinto

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

208

Publisher

Now Publishers Inc

Published Date

ISBN 10

193301928X

ISBN 13

9781933019284

Platform-Based Design

By: Alberto Sangiovanni-Vincentelli,Roberto Passerone

Write a review Read reviews Take a Quiz Solve Book Puzzle

Platform-Based Design

By: Alberto Sangiovanni-Vincentelli,Roberto Passerone

Embedded Systems design becomes more complex as increasingly sophisticated functionality is added to designs. In addition to considerations of cost, performance, and time-to-market, various system integration issues become challenging, given the inherently heterogeneous nature of embedded systems. Platform Based Design introduces a rigorous design methodology to address the various challenges posed by complex, heterogeneous, embedded systems.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

350

Publisher

Springer

Published Date

ISBN 10

1461409888

ISBN 13

9781461409885

Contracts for System Design

By: Albert Benveniste,Beno©ʼt Caillaud,Dejan Nickovic,Roberto Passerone,Jean-Baptiste Raclet,Philipp Reinkemeier,Alberto Sangiovanni-Vincentelli,Werner Damm,Thomas A. Henzinger,Kim G. Larsen

Write a review Read reviews Take a Quiz Solve Book Puzzle

Contracts for System Design

By: Albert Benveniste,Beno©ʼt Caillaud,Dejan Nickovic,Roberto Passerone,Jean-Baptiste Raclet,Philipp Reinkemeier,Alberto Sangiovanni-Vincentelli,Werner Damm,Thomas A. Henzinger,Kim G. Larsen

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.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

276

Published Date

ISBN 10

1680834037

ISBN 13

9781680834031

Book's by Roberto Passerone

Languages and Tools for Hybrid Systems Design

Languages and Tools for Hybrid Systems Design

Languages and Tools for Hybrid Systems Design

Languages and Tools for Hybrid Systems Design

Platform-Based Design

Platform-Based Design

Contracts for System Design

Contracts for System Design

Username

Password

Username

Password

Password again

Birthday

Email