Matches in SemOpenAlex for { <https://semopenalex.org/work/W1933146504> ?p ?o ?g. }
- W1933146504 endingPage "2132" @default.
- W1933146504 startingPage "2104" @default.
- W1933146504 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 that can be used to specify, analyze, or synthesize the design at different levels of abstraction. For each level, we highlight how the contract operations can be concretely computed as well as the research challenges that should be faced to fully implement them. We illustrate our approach on the design of embedded controllers for aircraft electric power distribution systems." @default.
- W1933146504 created "2016-06-24" @default.
- W1933146504 creator A5067636168 @default.
- W1933146504 creator A5072093273 @default.
- W1933146504 creator A5082366880 @default.
- W1933146504 creator A5084281460 @default.
- W1933146504 creator A5087985917 @default.
- W1933146504 date "2015-11-01" @default.
- W1933146504 modified "2023-10-14" @default.
- W1933146504 title "A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems" @default.
- W1933146504 cites W117051065 @default.
- W1933146504 cites W12397325 @default.
- W1933146504 cites W1499482550 @default.
- W1933146504 cites W1499853177 @default.
- W1933146504 cites W1507893864 @default.
- W1933146504 cites W1516256348 @default.
- W1933146504 cites W1516671000 @default.
- W1933146504 cites W1517771483 @default.
- W1933146504 cites W1535987901 @default.
- W1933146504 cites W1565544898 @default.
- W1933146504 cites W1570601698 @default.
- W1933146504 cites W1573344143 @default.
- W1933146504 cites W1582359184 @default.
- W1933146504 cites W1599995366 @default.
- W1933146504 cites W1608455964 @default.
- W1933146504 cites W1772923315 @default.
- W1933146504 cites W1793594870 @default.
- W1933146504 cites W1862398452 @default.
- W1933146504 cites W1900127520 @default.
- W1933146504 cites W1965965053 @default.
- W1933146504 cites W1973388684 @default.
- W1933146504 cites W1975294133 @default.
- W1933146504 cites W1981443153 @default.
- W1933146504 cites W198215489 @default.
- W1933146504 cites W1991698050 @default.
- W1933146504 cites W1993978528 @default.
- W1933146504 cites W1994348879 @default.
- W1933146504 cites W1994901326 @default.
- W1933146504 cites W1995691455 @default.
- W1933146504 cites W1999629321 @default.
- W1933146504 cites W1999929714 @default.
- W1933146504 cites W2006625750 @default.
- W1933146504 cites W2016310205 @default.
- W1933146504 cites W2022312522 @default.
- W1933146504 cites W2023499821 @default.
- W1933146504 cites W2023808162 @default.
- W1933146504 cites W2024636948 @default.
- W1933146504 cites W2026629052 @default.
- W1933146504 cites W2032189196 @default.
- W1933146504 cites W2039784168 @default.
- W1933146504 cites W2044653231 @default.
- W1933146504 cites W2053846259 @default.
- W1933146504 cites W2054075890 @default.
- W1933146504 cites W2059057465 @default.
- W1933146504 cites W2060095702 @default.
- W1933146504 cites W2060369194 @default.
- W1933146504 cites W2060569709 @default.
- W1933146504 cites W2061870984 @default.
- W1933146504 cites W2061898462 @default.
- W1933146504 cites W2085838366 @default.
- W1933146504 cites W2092884371 @default.
- W1933146504 cites W2096381162 @default.
- W1933146504 cites W2101508170 @default.
- W1933146504 cites W2107857712 @default.
- W1933146504 cites W2112417426 @default.
- W1933146504 cites W2118824103 @default.
- W1933146504 cites W2121504517 @default.
- W1933146504 cites W2123357397 @default.
- W1933146504 cites W2127902188 @default.
- W1933146504 cites W2131435640 @default.
- W1933146504 cites W2139188038 @default.
- W1933146504 cites W2140252453 @default.
- W1933146504 cites W2147340401 @default.
- W1933146504 cites W2148443868 @default.
- W1933146504 cites W2150335178 @default.
- W1933146504 cites W2150408604 @default.
- W1933146504 cites W2151958719 @default.
- W1933146504 cites W2152303030 @default.
- W1933146504 cites W2152533774 @default.
- W1933146504 cites W2153803621 @default.
- W1933146504 cites W2164451522 @default.
- W1933146504 cites W2165335491 @default.
- W1933146504 cites W2165748475 @default.
- W1933146504 cites W2169239645 @default.
- W1933146504 cites W2176215692 @default.
- W1933146504 cites W2293287097 @default.
- W1933146504 cites W2490807393 @default.
- W1933146504 cites W2509841691 @default.
- W1933146504 cites W2912904668 @default.
- W1933146504 cites W3022429701 @default.
- W1933146504 cites W3168224710 @default.
- W1933146504 cites W4206053810 @default.
- W1933146504 cites W4229844141 @default.
- W1933146504 cites W4231335741 @default.
- W1933146504 cites W4239187297 @default.
- W1933146504 cites W71055736 @default.
- W1933146504 doi "https://doi.org/10.1109/jproc.2015.2453253" @default.
- W1933146504 hasPublicationYear "2015" @default.