Title | ||
---|---|---|
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems |
Abstract | ||
---|---|---|
We introduce a platform-based design methodology that uses contracts to specify and abstract the components of a cyber-physical system (CPS), and provide formal support to the entire CPS design flow. The design is carried out as a sequence of refinement steps from a high-level specification to an implementation built out of a library of components at the lower level. We review formalisms and tools... |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/JPROC.2015.2453253 | Proceedings of the IEEE |
Keywords | DocType | Volume |
Design methodology,Design methodology,Cyber-physical systems,Computational modeling,Algorithm design and analysis,Mathematical model | Journal | 103 |
Issue | ISSN | Citations |
11 | 0018-9219 | 24 |
PageRank | References | Authors |
1.08 | 79 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pierluigi Nuzzo | 1 | 305 | 33.35 |
Alberto L. Sangiovanni-Vincentelli | 2 | 11385 | 1881.40 |
Davide Bresolin | 3 | 542 | 37.23 |
Luca Geretti | 4 | 68 | 6.50 |
Tiziano Villa | 5 | 692 | 75.60 |