A model-based design methodology for cyber-physical systems

Jensen, Jeff C.; Chang, Danica H.; Lee, Edward A.

doi:10.1109/iwcmc.2011.5982785

Cited by 181 publications

(90 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The industrial tool Simulink can produce plain C code from executable realtime models. In [9], a model-based design flow for cyber-physical systems is presented in ten design steps, but it is not fully automated. These approaches bring interesting ideas in the field, however they do not consider real-time constraints throughout the entire design-flow.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

A Composable and Predictable MPSoC Design Flow for Multiple Real-Time Applications

Attarzadeh-Niaki

Altinel

Koedam

et al. 2016

Model-Implementation Fidelity in Cyber Physical System Design

View full text Add to dashboard Cite

Abstract. Design of real-time MPSoC systems including multiple applications is challenging because temporal requirements of each application must be respected throughout the entire design flow. Currently the design of different applications is often interdependent, making converge to a solution for each application difficult. This paper proposes a compositional method to design applications independently, and then to execute them without interference. We define a formal modeling framework as a suitable entry point for application design. The models are executable, which enables early detection of specification errors, and include the formal properties of the applications based on well-defined models of computation. We combine this with a predictable MPSoC platform template that has a supporting design flow but lacks a simulation front-end. The structure and behavior of the application models are exported to an intermediate format via introspection which is iteratively adapted for the backend flow. We identify the problems arising in this adaptation and provide appropriate solutions. The design flow is demonstrated by a system consisting of two streaming applications where less than half of the design time is dedicated to operating on the integrated system model.

show abstract

Section: Related Workmentioning

confidence: 99%

“…The PTIDES flow [9] targets event-based applications described in a Programming Model with discrete-event semantics. First the temporal behavior and causality relations of the application model are analyzed and then actor and OS code are generated.…”

Section: Related Workmentioning

confidence: 99%

A Composable and Predictable MPSoC Design Flow for Multiple Real-Time Applications

Attarzadeh-Niaki

Altinel

Koedam

et al. 2016

Model-Implementation Fidelity in Cyber Physical System Design

View full text Add to dashboard Cite

show abstract

“…Ptolemy II is a heterogeneous actororiented design tool that provides an integrated modeling and simulation environment for the conceptual procedure in Figure 1. Ptolemy has a long history in Cyber-Physical Systems (CPS) modeling and is a robust modeling tool, since it enables heterogeneous compositions of models of computation, which is an essential feature for modeling energy systems that intrinsically include interactions of physical components and communication fabric [3,6,9].…”

Section: Modeling Approachmentioning

confidence: 99%

Modeling uncertainty for middleware-based streaming power grid applications

Akkaya

Liu

Lee

et al. 2013

Proceedings of the 8th Workshop on Middleware for Next Generation Internet Computing

Self Cite

View full text Add to dashboard Cite

The power grid is incorporating high throughput sensor devices into power distribution networks. The future power grid needs to guarantee accuracy and responsiveness of applications that consume data from multiple sensor streams. The end-to-end performance and overall scalability of cyberphysical energy applications depend on the middleware's ability to handle multi-source sensor data, which exhibits uncertain behavior under highly variable numbers of sensors and middleware topologies. In this paper, we present a parametric approach to model middleware uncertainty and to analyze its effect on distributed power applications. The models encapsulate the entire data flow paths from sensor devices, through network and middleware components to the power application nodes that utilize sensor data streams. Using the Ptolemy II framework for modeling and simulation, we generate Monte Carlo samples of uncertain parameters that are used to generate parameterized middleware models that are used in end-to-end Discrete-Event(DE) system simulation simulation. The simulation results are further analyzed using regression methods to reveal the parameters that are influential in the limiting middleware behavior to achieve temporal requirements of the power applications.

show abstract

“…By using MDE, complementary models can be created for representing the different system dimensions. At least three different models should be used for CPS design, including the physical behavior representation, the control system design, and the system architecture specification [3], [4], [1].…”

Section: Introductionmentioning

confidence: 99%

Formal Verification of AADL Models Using UPPAAL

Gonçalves

Pereira

Tovar

et al. 2017

2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC)

View full text Add to dashboard Cite

Abstract-Cyber-Physical Systems (CPS) are known to be highly complex systems which can be applied to a variety of different environments, covering both civil and military application domains. As CPS are typically complex systems, its design process requires strong guarantees that the specified functional and nonfunctional properties are satisfied on the designed application. Model-Driven Engineering (MDE) and high-level specification languages are a valuable asset to help the design and evaluation of such complex systems. However, when looking at the existing MDE tool-support, it is observed that there is still little support for the automated integration of formal verification techniques in these tools. Given that formal verification is necessary to ensure the levels of reliability required by safety critical CPS, this paper presents an approach that aims to integrate the Model Checking technique in the CPS design process for the purpose of correctly analyzing temporal and safety characteristics. A tool named ECPS Verifier was designed to support the model checking integration into the design process, providing the generation of timed automata models from high-levels specifications in AADL. The proposed method is illustrated by means of the design of an Unmanned Aerial Vehicle, from where we derive the timed automata models to be analyzed in the UPPAAL tool.

show abstract

A model-based design methodology for cyber-physical systems

Cited by 181 publications

References 11 publications

A Composable and Predictable MPSoC Design Flow for Multiple Real-Time Applications

A Composable and Predictable MPSoC Design Flow for Multiple Real-Time Applications

Modeling uncertainty for middleware-based streaming power grid applications

Formal Verification of AADL Models Using UPPAAL

Contact Info

Product

Resources

About