Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings

Leonardi, Francesco; Pinto, Alessandro; Carloni, Luca P.

doi:10.1109/iccps.2011.23

Cited by 12 publications

(3 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Similarly, we refer to the approach in Leonardi et al [2011] and further calculate the coordinates of computation nodes according to their exchange tokens with sensors and actuators, that is,…”

Section: Design Flowmentioning

confidence: 99%

A System-Level Modeling and Design for Cyber-Physical-Social Systems

Zeng

Yang

2016

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

The design of cyber-physical-social systems (CPSS) is a novel and challenging research field due that it emphasizes the deep fusion of cyberspace, physical space, and social space. In this article, we extend our previously proposed system-level design framework [Zeng et al. 2015] to tailor it to the needs of social scenario of multiple users. A hierarchical Petri net-based model and social flow are presented to extend the control flow and formally describe the social interactions of multiple users, respectively. By using the extended model, the system-level optimization for CPSS can be achieved by the improved design flow. Specifically, object emplacement and user satisfaction are further extended into the social environment. Also maximal power estimation algorithm is improved, leveraging the extended intermediate representation model. Finally, we use a smart office case to demonstrate the feasibility and effectiveness of our improved design approach for multiple users.

show abstract

Section: Design Flowmentioning

confidence: 99%

A System-Level Modeling and Design for Cyber-Physical-Social Systems

Zeng

Yang

2016

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

show abstract

“…Various papers [22,11,7] describe the network synthesis problem as an optimization problem to be solved by analytical techniques. Even if this approach is exhaustive, it provides solutions only in case of small networks.…”

Section: A Related Workmentioning

confidence: 99%

Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems

Ebeid

Fummi

Quaglia

2013

2013 14th International Workshop on Microprocessor Test and Verification

View full text Add to dashboard Cite

The design of next-generation networked embedded systems requires to take into account the way in which they exchange information together to provide the desired functionality. In fact, communication patterns and network topology affect the implementation of HW and SW aspects of the nodes and their performance; for this reason the communication infrastructure is becoming a true design space dimension which requires an extension of the traditional flow. The work addresses this issue by providing 1) a model-driven design path for the specification of the communication infrastructure, 2) a methodology to manipulate the network to generate design alternatives, and 3) a technique to generate models for network simulation. New algorithms have been supported by the development of tools to manipulate network specification efficiently and to generate the simulation model automatically so that network alternatives can be explored effectively.

show abstract

“…With the widely used of CPS,the study for CPS analysis and verification becomes more and more deeply.To extend the classical verification methods is one of the ways,such as extention of FSM,optimization of fault tree,etc [3] [4].There are also researchers use colored petri nets(CPN) to model and verify CPS.…”

Section: Studies Of Cps Analysis and Verificationmentioning

confidence: 99%

A Method for Cyber-Physical System Behavior Modeling and Safety Verification Based on Extended Hybrid System Description Language

Tuo

Zhou

Guo

et al. 2016

MATEC Web of Conferences

View full text Add to dashboard Cite

Abstract. The safety of Cyber-physical system(CPS) is up to its behavior, and it is a key property for CPS to be applied in critical application fields. A method for CPS behavior modeling and safety verification is put forward in this paper. The behavior model of CPS is described by extended hybrid system description language(E-HYSDEL).The formal definition of hybrid program(HP) is given, and the behavior model is transformed to HP based on the definition. The safety of CPS is verified by inputting the HP to KeYmarea. The advantage of the approach is that it models CPS intuitively and verify it's safety strictly avoiding the state space explosion

show abstract

Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings

Cited by 12 publications

References 18 publications

A System-Level Modeling and Design for Cyber-Physical-Social Systems

A System-Level Modeling and Design for Cyber-Physical-Social Systems

Communication Alternatives Exploration in Model-Driven Design of Networked Embedded Systems

A Method for Cyber-Physical System Behavior Modeling and Safety Verification Based on Extended Hybrid System Description Language

Contact Info

Product

Resources

About