Filters








8 Hits in 3.1 sec

metroII

Abhijit Davare, Douglas Densmore, Liangpeng Guo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Alena Simalatsar, Qi Zhu
2013 ACM Transactions on Embedded Computing Systems  
Cyber-Physical Systems are integrations of computation and physical processes and as such, will be increasingly relevant to industry and people.  ...  We present here Platform-Based Design as the CPS methodology of choice and METROII, a design environment that supports it.  ...  , Edward Lee, Jan Rabaey, and Joseph Sifakis for the many interactions on embedded systems over the years.  ... 
doi:10.1145/2435227.2435245 fatcat:goi4vowamfef7agnx2izmlhonq

Metronomy

Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto Sangiovanni-Vincentelli, Edward A. Lee
2014 Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis - CODES '14  
As the design complexity of cyber-physical systems continues to grow, modeling the system at higher abstraction levels with formal models of computation is increasingly appealing since it enables early  ...  In this paper, we present Metronomy, a function-architecture cosimulation framework that integrates functional modeling from Ptolemy and architectural modeling from the MetroII environment via a mapping  ...  Berkeley, for providing the Ptolemy model of the printing press, and for helpful discussions.  ... 
doi:10.1145/2656075.2656093 dblp:conf/codes/GuoZNPSL14 fatcat:dnwnzj6x6jg73g5kkp63gcciou

CLAIR: A Contract-Based Framework for Developing Resilient CPS Architectures

Sidharta Andalam, Daniel Jun Xian Ng, Arvind Easwaran, Karthikeyan Thangamariappan
2018 2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)  
We propose a contract-based methodology where components across and within the layers of the cyber-infrastructure are associated with contracts and a light-weight resilience manager.  ...  Industrial cyber-infrastructure is normally a multilayered architecture. The purpose of the layered architecture is to hide complexity and allow independent evolution of the layers.  ...  The proposed contract-based methodology (CLAIR) for resiliency can be integrated with existing frameworks for designing cyber-infrastructure for CPS such as METROII [16] , OpenMETA [17] , RIAPS [4]  ... 
doi:10.1109/isorc.2018.00013 dblp:conf/isorc/AndalamNET18 fatcat:zq6iqwgwwzdsli7dn43qktj7de

A tool integration approach for architectural exploration of aircraft electric power systems

Hokeun Kim, Liangpeng Guo, Edward A. Lee, Alberto Sangiovanni-Vincentelli
2013 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA)  
For emerging safety-critical systems, it is beneficial to cope with design validation, performance estimation, and design space exploration in early design stages.  ...  By clearly separating the functional aspect and the architectural aspect, the performance can be estimated at an early design stage, and the architectural exploration can be done in a more efficient manner  ...  ACKNOWLEDGMENT This work was supported in part by the iCyPhy Research Center (Industrial Cyber-Physical Systems, supported by IBM and United Technologies), and the Center for Hybrid and Embedded Software  ... 
doi:10.1109/cpsna.2013.6614244 dblp:conf/cpsna/KimGLS13 fatcat:tbekoodkqbcnzmkskcvllrjviu

Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems

Ivan Ruchkin, Ashwini Rao, Dionisio De Niz, Sagar Chaki, David Garlan
2015 Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy - CPS-SPC '15  
Designing secure cyber-physical systems (CPS) is a particularly difficult task since security vulnerabilities stem not only from traditional cybersecurity concerns, but also physical ones.  ...  Many of the standard methods for CPS design make strong and unverified assumptions about the trustworthiness of physical devices, such as sensors.  ...  FA8721-05-C-0003 with Carnegie Mellon University for the operation of the Software Engineering Institute, a federally funded research and development center.  ... 
doi:10.1145/2808705.2808714 dblp:conf/ccs/RuchkinRNCG15 fatcat:57jbfhiwabbafjbv7y6kll63fi

Component-based design for the future

E A Lee, A L Sangiovanni-Vincentelli
2011 2011 Design, Automation & Test in Europe  
Information about the capabilities of the subsystems in terms of timing, power consumed, size, weight and other physical aspects transmitted to the system assemblers during design time would go a long  ...  The overarching issue is the need of a substantive evolution of the design methodology in use today in system companies.  ...  Hybrid Systems. Cyber-Physical Systems (CPS) integrate computation, networking, and physical dynamics.  ... 
doi:10.1109/date.2011.5763168 dblp:conf/date/LeeS11 fatcat:ieh7bfhpjvfujjzvrm5vmgnzpq

A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems

Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Tiziano Villa
2015 Proceedings of the IEEE  
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.  ...  We illustrate our approach on the design of embedded controllers for aircraft electric power distribution systems.  ...  PLATFORM-BASED DESIGN WITH CONTRACTS FOR CYBER-PHYSICAL SYSTEMS We consider in this paper a particular case of CPS that incorporates most, if not all, of the features of general CPSs, to help explain the  ... 
doi:10.1109/jproc.2015.2453253 fatcat:symvbgghdfar3ey2dbwp3l5vrm

Integration of Modeling Methods for Cyber-Physical Systems

Ivan Ruchkin
2019
Cyber-physical systems (CPS) incorporate digital (cyber) and mechanical (physical) elements that interact in complex ways.  ...  To this end, CPS engineering relies on modeling methods, which use models to represent the system and design-time analyses to interpret/change the models.  ...  The platform-based design approach, supported by the metroII environment [59] , decomposes a system into layers of components, using their formalized interfaces (which play the role of integration abstractions  ... 
doi:10.1184/r1/7970222 fatcat:qufvbiscknfznpbvsi6r4fatgm